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

Question

根据cppreference，gcc和clang最近都完成了P1102R2("Down with ()!")的实现，这意味着我们可以在C中更简洁地定义lambda表达式++23.

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

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

clang 接受这种形式，gcc rejects 它的语法。

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

更新：

可能是迫于舆论压力，我举报后五天内clang迅速修复了49736。

当我进一步尝试时，我偶然发现 gcc 也拒绝了以下有效表单，这让我报告了 99850 并在 2 周后修复。

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

Answer 1

感谢您提醒我这个功能是多么无意义。

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

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

[]<auto> noexcept requires true {};

• [] 是 lambda-introducer
• <auto> 匹配 <template-parameter-list> 现在我们知道我们是第二类 lambda-expression。所以从语法上讲，我们需要跟随一个 requires-clause（可选），然后是一个 lambda-declarator，然后是一个 compound-statement。
• noexcept 不匹配 requires-clause，所以现在我们正在解析 lambda-declarator。 lambda-declarator 可以以 (parameter-declaration-clause) 开头，但我们没有那个，所以我们只是在寻找 lambda-specifiers。我们使用 noexcept 作为 noexcept-specifier 的一部分。
• requires true 不适合 attribute-specifier-seq 或 trailing-return-type 所以我们都没有，现在我们已经完成了 lambda -specifiers 这样我们就完成了 lambda-declarator。此时，我们正在寻找一个复合语句。但我们没有，所以这是一个错误。

基本上，您可以在两个位置放置 requires-clause：直接在模板参数之后，或者，如果我们有函数参数，则在 之后函数参数之后的 lambda 说明符。所以这行得通：

[]<auto> requires true noexcept {};

就像这样：

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

就像这样：

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

但不是 OP 中的那个。

另外，不要写这个。