根据[dcl.fct]/2,下面的代码片段是合法的。GCC 和 clang 编译并执行代码,
#include <iostream>
int i = -1;
auto f()->auto&& { return i; }
int main(){
f() = 2;
std::cout << i << 'n';
}
印刷
2
但是,在C++允许这样做的目的是什么?
在上面的例子中,只需将尾随返回类型替换为 int&
即可获得相同的结果。换句话说,我正在寻找一个包含占位符类型的尾随返回类型有意义的示例。
你可以对一致性提出一个论点:你可以将其他类型作为尾随返回类型,为什么不能使用占位符呢?
auto f() -> int& { return i; }
auto f() -> auto& { return i; }
你可以对效用进行论证:lambda 的返回类型看起来像尾随返回类型,没有其他地方可以放置占位符类型,所以无论如何你都必须允许它用于 lambda,所以不妨允许它用于函数?
auto f = []() -> int& { return i; };
auto f = []() -> auto& { return i; };
您可以对代码格式进行论证。尾随返回类型允许以一致的方式声明始终适用于所有情况的函数,因此只需将其排列:
auto g(auto x) -> decltype(f(x)) { ... } // using trailing for parameter
auto Cls::member() -> type { ... } // using trailing for scope (to find Cls::type)
auto h(auto x) -> auto& { ... } // using trailing for formatting
可能还有其他论点。但简而言之,它很容易被允许,而且显然有优点。
您可以在修订版 N3582 (2013-03-15)1 中找到auto
原始提案的答案:
尾随返回型
auto
该提案最初不允许尾随返回类型中的 auto,但从那时起,有人指出,将其放在那里是指定 lambda 通过推导的引用类型返回的唯一方法:
[]()->auto& { return f(); }
(请记住,不仅函数,而且 lambda 也可以具有尾随返回类型)
因此 [dcl.spec.auto]/2:
auto
类型说明符可能与具有尾随返回类型 ([dcl.fct]) 的函数声明符一起出现在此类声明符有效的任何上下文中。
1 注意:N3582 在实际采用之前已被 N3638 取代。