将移动语义与 std::pair 或 std::tuple 一起使用

Question

假设您想利用移动语义，但其中一个可移动类需要成为 std::pair 的一部分。目的是创建一个返回 std::pair 的函数，该函数可以被视为右值并一起转发。

但我不知道如何做到这一点，除非对 std::pair 本身进行内部更改，以使其了解移动语义。

考虑以下代码：

struct Foo
{
 Foo() { }

 Foo(Foo&& f) { }

 private:

 Foo(const Foo& f) { } // do not allow copying
};

int main() 
{
 Foo f;
 std::pair<Foo, int> res = std::make_pair(f, 10); // fails due to private copy constructor
}

问题是 std::make_pair 以及 std::pair 构造函数本身采用两个对象并尝试创建它们的内部副本。这会导致它尝试调用复制构造函数。但在我的示例中，我希望能够将新对移动到res中，并确保不创建任何副本。我认为这是不可能的，除非 std::pair 本身在内部定义了以下构造函数：

pair(T1&& t1, T2&& t2) : first(std::move(t1)), second(std::move(t2))

但它没有，至少在我正在使用的编译器上没有（gcc 4.3.2 ）。可能我的编译器已经过时了，实际上较新的版本将具有此移动感知构造函数。但目前我对移动语义的理解有些不稳定，所以我不确定我是否只是忽略了这里的一些东西。那么，我想要实现的目标是否可能，而无需实际重新实现 std::pair ？或者我的编译器已经过时了？

Answer 1

但这不是将被调用的 std::pair 构造函数。将调用 std::pair 移动构造函数，并且移动构造函数应该完全按照您的预期执行操作 (N3126 20.3.5.2/6)：

template<class U, class V> pair(pair<U, V>&& p);

效果：构造函数首先使用 std::move(p.first) 进行初始化，然后使用 std::move(p.second) 进行初始化。

但是，您的示例应该失败，因为在std::make_pair(f, 10);中，f是一个左值，需要显式< code>moved，否则被复制。以下应该有效：

std::pair<Foo, int> res = std::make_pair(std::move(f), 10);

Answer 2

GCC 4.3.2 不得有完整的实现。对（和元组）应具有移动构造函数：

template<class U, class V> pair(U&& x, V&& y);

效果：构造函数首先使用 std::forward(x) 进行初始化，然后使用 std::forward(y) 进行初始化。

template<class U, class V> pair(pair<U, V>&& p);

效果：构造函数首先使用 std::move(p.first) 进行初始化，然后使用 std::move(p.second) 进行初始化。

（来自 n3126 中的 [pairs.pair]）