C++11 - 元组和移动语义

Question

这个示例代码应该编译吗？clang 和 g++ 接受它，而 icc 14 拒绝这样做，提示 auto t = ... std::unique_ptr 的复制构造函数未定义。

#include <iostream>
#include <memory>
#include <tuple>

std::tuple<std::unique_ptr<int[]>, int> foo()
{
    std::unique_ptr<int[]> a;
    unsigned int b;
    auto t = std::make_tuple(std::move(a), b); 
    return std::move(t);
}

int main()
{
    foo();
}

Answer 1

我认为它应该编译:std::make_tuple() 的结果是临时的 std::tuple<T...>它应该移动构建其成员。更准确地说，std::tuple<T...>的移动构造函数是默认的，这应该导致成员移动构造。

显然，没有真正需要分配 std::make_tuple() 的结果至 t .如果你选择引入这个变量，你不应该std::move(t)返回时:当 return 中的表达式时statement 是局部变量，无论如何它都被视为右值。额外的 std::move()但是，禁止复制/移动省略。