Предположим, вы хотите использовать семантику перемещения, но один из ваших подвижных классов должен быть частью std::pair. Целью было бы создать функцию, которая возвращает std::pair, которая может рассматриваться как rvalue, и перенаправляется вперед.
Но я не вижу, как это можно сделать, если не сделано внутреннее изменение в 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? Или мой компилятор просто устарел?