lambda 尾随返回类型 auto 的用途是什么？

Question

[]() -> auto { return 4; }里面加-> auto有什么用？

对我来说 - 它与 []() { return 4; } 没有什么不同

Answer 1

默认为auto。标准[expr.prim.lambda]/4 内容如下：

如果 lambda-expression 不包含 lambda-declarator，则 lambda-declarator 就像 ()。 lambda 返回类型为auto，如果提供和/或从return 语句中推导出来，则替换为trailing-return-type，如[dcl.spec.auto] 中所述。 p>

我的补充。

所以，-> auto 本身没有用处。但是，我们可以用auto形成其他返回类型，即：-> auto&、-> const auto&、-> auto&&、-> decltype(auto)。返回类型扣除的标准rules 适用。请记住，auto 永远不会被推断为引用类型，因此默认情况下 lambda 返回非引用类型。

几个（琐碎的）例子：

// 1.
int foo(int);
int& foo(char);

int x;

auto lambda1 = [](auto& x) { return x; };
static_assert(std::is_same_v<decltype(lambda1(x)), int>);

auto lambda2 = [](auto& x) -> auto& { return x; };
static_assert(std::is_same_v<decltype(lambda2(x)), int&>);

// 2.
auto lambda3 = [](auto x) { return foo(x); };
static_assert(std::is_same_v<decltype(lambda3(1)), int>);
static_assert(std::is_same_v<decltype(lambda3('a')), int>);

auto lambda4 = [](auto x) -> decltype(auto) { return foo(x); };
static_assert(std::is_same_v<decltype(lambda4(1)), int>);
static_assert(std::is_same_v<decltype(lambda4('a')), int&>);

// 3.
auto lambda5 = [](auto&& x) -> auto&& { return std::forward<decltype(x)>(x); };
static_assert(std::is_same_v<decltype(lambda5(x)), int&>);
static_assert(std::is_same_v<decltype(lambda5(foo(1))), int&&>);
static_assert(std::is_same_v<decltype(lambda5(foo('a'))), int&>);

---

PiotrNycz 的补充。 正如 cmets 中所指出的（归功于 @StoryTeller） - 真正的用法是带有 auto& 和 const auto& 的版本，并且“退化的情况不值得向后弯曲禁止。”

见：

int p = 7;
auto p_cr = [&]()  -> const auto& { return p; };
auto p_r = [&]()  -> auto& { return p; };
auto p_v = [&]()  { return p; }; 

const auto& p_cr1 = p_v(); // const ref to copy of p
const auto& p_cr2 = p_cr(); // const ref to p
p_r() = 9; // we change p here

std::cout << p_cr1 << "!=" << p_cr2 << "!\n";
// print 7 != 9 !