如果在这两种情况下都不使用括号,那么decltype(auto)和decltype(returns expression)之间的区别就是函数的返回类型(模板)？
auto f() -> decltype(auto) { return expr; } // 1
auto f() -> decltype(expr) { return expr; } // 2
以上f可以在任何上下文中定义/声明,并且可以是(member)函数或(member)函数模板,甚至是(通用的)lambda. expr可以依赖于任何模板参数.
在第二个版本中,两个expr是完全相同的表达式,没有额外的括号.
可以期待哪些差异,在C 14及更高版本中使用第一或第二种形式？
括号中使用的地方如何？
解决方法
是的,有区别.第一个将根据函数体中的返回表达式来检测返回类型.
第二个也不会将返回类型设置为decltype()中的表达式的类型,但也会在其上应用表达式sfinae.这意味着如果decltype中的表达式无效,编译器将搜索另一个有效的重载.而第一个版本将是一个困难的错误.
举个例子：
template<typename T>
auto fun(T a) -> decltype(a.f()) { return a.f(); }
template<typename T>
auto fun(T a) -> decltype(a.g()) { return a.g(); }
struct SomeType {
int g() { return 0; }
};
fun(SomeType{});
这选择正确的过载.现在,如果我们用decltype(auto)替换decltype(expr),那么编译器将无法选择正确的重载,因为函数签名中没有什么限制类型应该做的事情.
