std :: forwardテンプレート付きオーバーロード関数

Question

コンパイラがテンプレートのインスタンス化に関する警告を私に与える理由はわかりません。

はうまく動作し、適切に左辺値/右辺値を出力コードの一部厥：

//template<typename T> 
void overloaded(const /*T*/std::string& in) 
{ 
    std::cout << "lvalue" << std::endl; 
} 

//template<typename T> 
void overloaded(/*T*/std::string&& in) 
{ 
    std::cout << "rvalue" << std::endl; 
} 

template<typename T> 
void pass(T&& in) 
{ 
    overloaded(std::forward<T>(in)); 
} 

int main() 
{ 
    std::string a; 
    pass(a); 
    pass(std::move(a)); 
    getchar(); 
} 

をしかし、私は、テンプレートの種類とそれを使用する必要があります。だから、

template<typename T> 
void overloaded(const T& in) 
{ 
    std::cout << "lvalue" << std::endl; 
} 

template<typename T> 
void overloaded(T&& in) 
{ 
    std::cout << "rvalue" << std::endl; 
} 

に「オーバーロードされた」の機能を変更するには、テンプレートのインスタンスの警告、（私にはその明確なTははstdする必要があります::文字列）を与えると、コンソールは、最初の左辺値の2倍の代わりに、右辺値を出力します。私が間違っているのは何

？

Answer 1

T&&のようなテンプレートは特別です。これらは「転送参照」と呼ばれます。

template<typename T> 
void overloaded(T&& in) 

が overloadedが過負荷になっていないこと瞬間のために仮定します。彼らは、同様の機能のための特別控除のルールを持っています。左辺値式 std::stringを overloadedに渡すと、 Tは std::string&と推定されます。右辺の式 std::stringを overloadedに渡すと、 Tは std::stringに推論します。何か他のものと T&&テンプレートをオーバーロードするためにアンチパターンである、一般的に

template<typename T> 
void overloaded(T&& in) 
{ 
    if (std::is_lvalue_reference<T>::value) 
     std::cout << "lvalue" << std::endl; 
    else 
     std::cout << "rvalue" << std::endl; 
} 

：あなたはこれを行うには、この知識を使用することができます。これらの特別なテンプレートは、すべてをキャッチしたいときに便利です。