在基本類型上使用std :: declval

Question

當模板參數T是基本類型（如int（在gcc 4.8上））時，以下代碼無法編譯。這是標準符合行爲嗎？我對std::declval的理解是，它總是解析爲T&&或T&。

template <class T> 
void foo(T&& val) 
{ 
    std::cout << noexcept(std::declval<typename std::decay<T>::type>() = val); 
} 

struct bar { }; 
bar b; 
foo(b); // okay 

int a; 
foo(a); // error: using xvalue (rvalue reference) as lvalue 

錯誤發生在分配val到std::declval表達的點。

它工作，如果我刪除std::decay和直接使用std::declval<T>，但我不知道爲什麼。腐朽型應該只是int，所以std::declval<int>()應該有一個返回類型int&&不應該嗎？

Answer 1

你正在嘗試賦值給右值。 std::declval<int>()正確返回一個類型int&&。它沒有名稱，所以它是一個類型爲int的右值（更確切地說是xvalue）。然後你試圖將val賦值給這個右值，這對於基本類型是非法的。

這裏有一個live example以簡化形式展示問題（沒有declval）。