C++23中省略参数表的lambda表达式的有效性

Question

根据cppreference，gcc和clang最近都完成了P1102R2（“make（）more optional for lambda”）的实现，这意味着我们可以在C++23中更简洁地定义lambda表达式。

但我发现它们与某种形式不符：

auto l = []<auto> noexcept requires true {};

clang接受这种形式，而gcc拒绝它的语法。

我应该信任哪个编译器？这个lambda在C++23中是格式正确还是格式错误？

Answer 1

谢谢你提醒我这个功能是多么的毫无意义。

正确的答案是：不，那不是一个格式良好的lambda。语法在[expr.prim.lambda.general]中定义：

在我们的例子中，首先我们有：

[]<auto> noexcept requires true {};

• []是lambda-introducer
• 匹配 ，现在我们知道我们是第二种lambda-expression。因此，从语法上讲，我们需要在后面加上requires-clause（可选），然后是lambda-declarator，然后是component-statement。
• noexcept与requires-clause不匹配，所以现在我们解析lambda-declarator。lambda-declarator可以以(parameter-declarathtml" target="_blank">ion-clause)开头，但我们没有这个功能，所以我们只是在寻找lambda-specifier。我们使用noexcept作为noexcept-specifier的一部分。
• requires true既不适合attribute-specifier-seq也不适合trailling-return-type，所以这两个都不适合，现在我们已经处理了lambda-specifier，所以我们也处理了lambda-declarator。在这一点上，我们正在寻找一个复合语句。但我们没有，所以这是一个错误。

基本上，您可以在两个位置放置requires-clause：或者直接放在模板参数之后，或者（如果我们有函数参数）放在函数参数之后的lambda-specifiers之后。所以这是可行的：

[]<auto> requires true noexcept {};

与此相同的是：

[]<auto>() noexcept requires true {};

与此相同的是：

[]<auto> requires true () noexcept requires true { };

但不是行动中的那个。

还有，不要写这个。