为什么 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;
}

这也保留了返回类型的引用性。

如果你已经知道你的返回类型是一个引用，那就明确说明

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