與詮釋與論證通過INT &&函數初始化

Question

我有以下代碼：

#include <type_traits> 

struct TType 
{ 
    int a = 0; 

    bool operator() (int&) 
    { 
     return true; 
    } 
}; 

int main() 
{ 
    static_assert(std::is_same<decltype(std::declval<TType>()(std::declval<int>())), bool>::value, "wtf?"); 
    return 0; 
} 

如果我嘗試使用g編譯它++ - 4.8.2然後我收到一個錯誤：

main.cpp:321:82: error: no match for call to ‘(JetPlane) (int)’ 
static_assert(std::is_same<decltype(std::declval<JetPlane>()(std::declval<int>())), bool>::value, "wtf?"); 
                       ^
main.cpp:265:8: note: candidate is: 
struct JetPlane 
    ^
main.cpp:279:7: note: bool JetPlane::operator()(int&) 
bool operator() (int&) 
    ^
main.cpp:279:7: note: no known conversion for argument 1 from ‘int’ to ‘int&’ 

我不瞭解note: no known conversion for argument 1 from ‘int’ to ‘int&’一行。所以，問題是：爲什麼G ++解釋返回std::declval<int>()型像int，雖然標準:: declval聲明看起來不就行了int&&：

template< class T > 
typename std::add_rvalue_reference<T>::type declval(); 

據我所知，我們會禁止綁定int&&到int。但爲什麼然後編譯器不打印：note: no known conversion for argument 1 from ‘int’ to ‘int&’行。可能是我不明白的東西和編譯器的變化莫名其妙地返回std::declval<int>()的類型從int&&int在std::declval<TType>()(std::declval<int>())？

謝謝你的幫忙！

Answer 1

問題是，您無法將xvalue綁定到非常量左值引用。

讓我們看看錶達

std::declval<int>() 

的std::declval<int>返回類型的確是int&&。因此，上述表達式是int類型的xvalue表達式。請注意，在C++中，表達式從不具有引用類型。

但是你的運營商

bool operator() (int&) 

通過非const左值referenece接受其參數。如果您更改perameter類型const int&，即

bool operator() (const int&) 

一切都應該正常工作。

Answer 2

您不能使用右值引用來初始化左值引用。混亂的一點是，T&&意味着在不同的上下文不同的事情：

• 當T&&用於定義對象時，右值引用可以被綁定到一個rvalue但定義對象實際上是它可以結合到一個左值左值參考當T&&用於聲明一個函數的含義是，右值引用被返回它的行爲，用於所有目的一樣的臨時的，因此返回類型
• ，不能被綁定到一個左值參考。類型T&&被視爲臨時T用於重載解析的所有目的，看起來這是編譯器報告的內容。