私の一般的なテンプレートはTまたはT &&を使用すべきですか？

Question

私はそうのように、多くのオーバーロードで与えられた機能を持っているファイルで働いています：

template<typename T> inline X f(T impl, W w) { 
    return f(impl, w->getY(), w->getZ()); 
} 

：

inline X f(ScriptWrappable* impl, Y y, Z z) { ... } 
inline X f(Node* impl, Y y, Z z) { ... } 
inline X f(RawPtr<T> impl, Y y, Z z) { ... } 
inline X f(const RefPtr<T>& impl, Y y, Z z) { ... } 
inline X f(ScriptWrappable* impl, Y y, Z z) { ... } 
inline X f(const String& impl, Y y, Z z) { ... } 
inline X f(int64_t impl, Y y, Z z) { ... } 
template<typename T, size_t capacity> inline X f(const Vector<T, capacity>& impl, Y y, Z z) { ... } 

私はそうのように、パラメータを1つだけ必要とする新しいオーバーロードを追加しようとしています

私は上記のすべてのバリエーションが新しい2パラメータバージョンで自動的に動作するようにテンプレートを使用しています。

しかし、コードレビューでは、「T&&はコピーを避ける方が良いですか？」と尋ねられました。つまり、代わりにする必要があります

template<typename T> inline X f(T&& impl, W w) { 
    return f(impl, w->getY(), w->getZ()); 
} 

私は本当にこの質問への答えを知りません。私は普遍的な参照を理解したと思ったが、彼らが良いアイデアであるか否かに慣れていない。自分の状況を他のものよりも選ぶことの結果はどうなりますか？

私は推測していた場合、私はTのためで立つことができるオリジナルのタイプは（プリミティブ、参照、またはポインタ）T &をコピーするすべての単純なので&がはるかに利益を与えることはありませんことを言うと思います。しかし、私はまだ興味がある。どのタイプもTバージョンに渡すことができなかったT & &バージョンに渡すことができ、その逆も可能です。

Answer 1

あなたはこのようなあなたの関数を記述する必要があります

template<typename T> inline X f(T&& impl, W w) { 
    return f(std::forward<T>(impl), w->getY(), w->getZ()); 
} 

これは完璧な転送と呼ばれています。 implのタイプは、fを直接呼び出した場合とまったく同じになります。 ではなく、は必ずr値参照になります。

Answer 2

答えは、テンプレートに関するコンパイラの規則をいくらか理解する必要があるため、少し複雑です。次の宣言で

：Tがコンテキストを推定し、その結果としてで評価され

template<class T> void func(T&& t); 

は、コンパイラR値の参照またはL値基準としていずれかによって治療されますいずれか適切である。 std::forward（注：この場合、ではなく、std::move）の使用と組み合わせると、完璧な転送が行われ、最適に効率的になります。

しかし、これは推定コンテキストで評価されていない。この場合

template<class T> 
struct X { 
    void foo(T&& t); 
}; 

、fooがR値の参照を要求するという事実にあります。あなたはstd::moveを使用する必要があり、これらの2つの場合

template<class T> 
void foo(std::vector<T>&& v); 

：

はいずれも、この推定された文脈です。