追尾返回類型和右值

Question

我在閱讀Scott Meyers的Effective Modern C++我試圖在我的機器上爲推導類型章節提供的示例。

他提供了這樣的功能：

template <typename Container, typename Index> 
auto decltype_test_1(Container& c, Index i) -> decltype(c[i]) 
{ 
    return c[i]; 
} 

然後它使用函數以這種方式：

std::deque<int> d; 
… 
decltype_test_1(d, 5) = 10; // authenticate user, return d[5], 
          // then assign 10 to it; 
          // this won't compile! 

說，它不會編譯。我嘗試使用MSVC，它編譯。我寫在main如下：

std::deque<int> d; 
d.push_back(0); 
d.push_back(1); 
d.push_back(2); 

decltype_test_1(d, 0) = 10; 

for each (auto item in d) 
    cout << item << endl; 

我不明白爲什麼它編譯和，最重要的是，它顯示10爲雙端隊列的第一個元素。對於他解釋的這段代碼是錯誤的。它爲什麼在這裏工作？我錯過了什麼？

Answer 1

這番話是不是與後decltype的C++ 11例，它是關於C++ 14版本auto類型推演：

template <typename Container, typename Index> 
auto decltype_test_1(Container& c, Index i) //no trailing return 
{ 
    return c[i]; 
} 

使用這個版本中，例如將無法編譯，因爲類型將被推導爲一個值而不是一個引用，所以不能直接分配給該函數調用的結果。

如本書的下一頁所示，獲得正確類型而沒有尾隨返回類型的方法是使用decltype(auto)而不是auto。

template <typename Container, typename Index> 
decltype(auto) decltype_test_1(Container& c, Index i) 
{ 
    return c[i]; 
}