【C++】《C++ 17 入门经典》读书笔记 23 ---- 对比 decltype(auto)、拖尾 decltype() 与 auto

先看一个初期的代码版本：

template <typename T1, typename T2>
auto larger(T1 a, T2 b) -> decltype(a > b ? a :b)
{
    return a > b ? a : b;
}

因为在拖尾 decltype() 中重复函数体内的表示式很枯燥，所以 C++14 引入了 decltype(auto) 语法：

template <typename T1, typename T2>
decltype(auto) larger(T1 a, T2 b)
{
    return a > b ? a : b;
}

使用这种语法时，编译器仍将根据函数体内的返回语句推断类型。因此，这个声明与前面的拖尾返回类型中的声明完全等效。

但是，使用拖尾 decltype() 或 decltype(auto) 进行返回类型推断，与使用 auto 的返回类型推断并不等效。它们之间的区别本质上在于：不同于 auto， 拖尾 decltype() 和 decltype(auto) 将推断为引用类型，并保留 const 修饰符。而 auto 总是推断为值类型，这意味着当模板函数返回时， auto 返回类型推断有时候会不必要地复制值。

 

---