爲什麼在跟蹤返回類型中使用了decltype？

Question

考慮下面的代碼：

template< class T1 , class T2> 
auto calc(T1 a , T2 b) 
{ 
    return a + b ; 
} 


template< class T1 , class T2> 
auto calc(T1 a , T2 b) -> decltype(a + b) 
{ 
    return a + b ; 
} 

什麼在第二個代碼的區別？ 你可以舉一些例子，這有什麼不同或者它在這裏有所作爲？

Answer 1

請注意，純粹的auto返回類型是僅用於C++ 14的，而跟蹤返回類型decltype用於C++ 11。參考輸入圖片時出現差異，例如在這樣的代碼：

#include <type_traits> 

struct Test 
{ 
    int& data; 

    auto calc1() 
    { 
     return data; 
    } 

    auto calc2() -> decltype(data) 
    { 
     return data; 
    } 
}; 

int main() 
{ 
    int x; 
    Test t{x}; 
    static_assert(std::is_same<int, decltype(t.calc1())>::value, ""); 
    static_assert(std::is_same<int&, decltype(t.calc2())>::value, ""); 
} 

如果你想刪除->decltype()，並保持你的代碼行爲一樣，你可以使用C++ 14的構建decltype(auto)

decltype(auto) calc3() // same as calc2() above 
{ 
    return data; 
} 

它保留了回報referenceness類型也是如此。

如果你已經知道你的返回類型是一個參考，只是使它明確

auto& calc4() // same as calc2() above 
{ 
    return data; 
}