C++
完璧な転送

備考

template<class T>
void f(T&& x) // x is a forwarding reference, because T is deduced from a call to f()
{
    g(std::forward<T>(x)); // g() will receive an lvalue or an rvalue, depending on x
}

template<class T>
struct a
{
    a(T&& x); // x is a rvalue reference, not a forwarding reference
};

a example1(1);
  // same as a<int> example1(1);

int x = 1;
a example2(x);
  // same as a<int&> example2(x);

ファクトリ関数

任意の引数リストを受け取り、変更されていない引数を別の関数に渡すファクトリ関数を記述したいとします。そのような関数の例はmake_uniqueであり、これはT新しいインスタンスを安全に構築し、そのインスタンスを所有するunique_ptr<T>を返すために使用されます。

バリデーショナルなテンプレートやr値の参照に関する言語規則は、このような関数を書くことを可能にします。

template<class T, class... A>
unique_ptr<T> make_unique(A&&... args)
{
    return unique_ptr<T>(new T(std::forward<A>(args)...));
}

楕円の使用は...タイプの任意の数を表すパラメータパックを示しています。コンパイラは、このパラメータパックをコールサイトの正しい引数数に展開します。これらの引数は、 std::forwardを使ってTのコンストラクタに渡されます。この関数は、引数のref-qualifierを保持するために必要です。

struct foo
{
    foo() {}
    foo(const foo&) {}                    // copy constructor
    foo(foo&&) {}                         // copy constructor
    foo(int, int, int) {}
};

foo f;
auto p1 = make_unique<foo>(f);            // calls foo::foo(const foo&)
auto p2 = make_unique<foo>(std::move(f)); // calls foo::foo(foo&&)
auto p3 = make_unique<foo>(1, 2, 3);