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()を削除して、同じ行動あなたのコードを維持したい場合は、あなたがリターンのreferencenessを維持するdecltype(auto)

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

C++ 14構文を使用することができますタイプも同様です。

すでにあなたの戻り値の型は参照であることがわかっている場合は、それを明示的

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