タイプはr値参照に推論されません。なぜそうではありませんか？

Question

次のコードを考えてみてください：

class CMyClass {}; 

template<class T> 
void func(T&& param) { 
     if (std::is_same<CMyClass, std::decay<T>::type>::value) 
      std::cout << "param is a CMyClass\n"; 
     if (std::is_same<T, CMyClass&>::value) 
      std::cout << "param is a CMyClass reference\n"; 
     else if (std::is_same<T, CMyClass&&>::value) 
      std::cout << "param is a CMyClass r-value reference\n"; 
     else if (std::is_same<T, const CMyClass&>::value) 
      std::cout << "param is a const CMyClass reference\n"; 
     else if (std::is_same<T, const CMyClass&&>::value) 
      std::cout << "param is a const CMyClass r-value reference\n"; 
     else if (std::is_same<T, const CMyClass>::value) 
      std::cout << "param is a constant CMyClass\n"; 
     else if (std::is_same<T, CMyClass>::value) 
      std::cout << "param is a CMyClass\n"; 
     else 
      std::cout << "param is not a CMyClass\n"; 
} 


CMyClass mc3; 
func(std::move(mc3)); 

この小さなプログラムからの出力はなぜMC3のタイプはr値の参照してくださいする

param is a CMyClass 
param is a CMyClass 

推測されていませんか？

Answer 1

1がどこかに存在しなければならないにもかかわらず、私はこのために良いデュープを見つけることができません、申し訳ありません。用

控除のルール：コールfoo(expr)の文脈で

template <class T> 
void foo(T&&) 

は以下のとおりです。

• exprはタイプUの左辺値である場合には、TがU&とタイプとして推定されるT&&参照縮退のためにU&です。
• exprタイプUの右辺値である場合、Tは、タイプT&&は、崩壊基準によるU&&あるUとして推定されます。あなたの例で

、std::move(mc3)型CMyClassの右辺値（具体的にはxValue）です。したがって、TはCMyClassと推定されます。このチェック：Tは右辺値参照型と推測することはありませんよう

else if (std::is_same<T, CMyClass&&>::value) 
    std::cout << "param is a CMyClass r-value reference\n"; 

は本当であることはほとんどないでしょう。

func<CMyClass&&>(std::move(mc3)); 

具体的には次のように指定できます。代わりにあなたができることは、チェックです：

else if (std::is_same<T&&, CMyClass&&>::value) 
//     ~~~~ 

これは、引数がrvalueであるすべてのケースを処理します。確かに、あなたが単にいつもT&&をチェックすれば、それはあなたのすべての事件を適切に処理します。

Answer 2

なぜmc3のタイプがr値参照になると推測されていないのですか？

paramが右辺場合、Tはfunc内部非基準であり、そしてT&&は右辺値参照あります。

template <typename T> 
void func(T&& x) 
{ 
    std::is_same<T, something>{}; // (0) 
    std::is_same<T&&, something>{}; // (1) 
} 

（0）の場合：

• Tがあり、ここで、経験的Tが転送参照を取る関数の本体に何を意味するかを示す例です の値がの場合は、funcに渡されます。 （*）
• Tは左辺値がfuncに渡されたときのためにT&です。 （1）の場合

：右辺値がfuncに渡されるとき

• T&&がT&&あります。 左辺値がfuncに渡されたとき
• T&&はT&です。

あなたがstd::is_same<T&&, CMyClass>::valueを使用する場合は、T&やT&&を取得する必要がありますどちらか。

---

（*）：用語が不正確である "さ" ことに注意してください - func内部Tの様々な意味がtemplate argument deductionとreference collapsingに依存します。要するに

：xは左辺値ある場合

• T&：

  • Tは次のように推定されます。それ以外の場合は

  • Tです。

• 起因を崩壊参照に、T&&は：

  T&

  • 場合xは左辺値あります。

  • T&&さもなければ - （>T&T& &&）。 （T&& && - >T&&）