類型不推導爲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)); 

從這個小程序的輸出

param is a CMyClass 
param is a CMyClass 

爲什麼MC3的類型不被推斷爲R值的參考嗎？

Answer 1

我不能找到一個很好的欺騙，即使一個必須存在的地方，對不起。

扣除規則：

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

在呼叫 foo(expr)的上下文

是：

• 如果expr是U類型的左值，然後T推導爲U&和T&&類型由於引用崩潰，所以是U&。
• 如果expr是U類型的右值，然後T推導作爲U類型T&&是U&&，由於引用塌陷。

在您的示例中，std::move(mc3)是類型CMyClass的右值（具體爲xvalue）。因此，T被推斷爲CMyClass。此檢查：

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

爲T絕不會演繹出作爲右值引用類型幾乎從來不會是真實的。它可以具體提供如下：

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

但這是不太可能的用法。你可以做什麼，而不是檢查：

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

這將處理的所有情況下，參數是一個右值。事實上，如果你只是總是檢查T&&，那將正確處理你的所有情況。

Answer 2

爲什麼mc3的類型未被推斷爲r值參考？

如果param是右值，T是非參考內部func，和T&&是右值參考。下面是根據經驗示出了什麼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是T&當左值被傳遞到func爲。

在（1）的情況下：

• T&&是T&&當右值被傳遞給func。
• T&&是T&當左值被傳遞給func。

如果使用std::is_same<T&&, CMyClass>::value，您應該得到一個T&或T&&。

---

（*）：注意，術語 「是」 是不正確的 - 的T內func不同含義取決於template argument deduction和reference collapsing。

簡而言之：

• T推導爲：

  • T&如果x是左值。

  • T否則。

• 由於參考塌陷，T&&是：

  • T&如果x是左值。 （T& && - >T&）

  • T&&否則。 （T&& && - >T&&）