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

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

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

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

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

我应该信任哪个编译器？这个 lambda 在 C++23 中是良构还是不良构型？

更新：

也许是迫于舆论压力，clang在我举报后的五天内迅速修复了49736。

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

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

谢谢你提醒我这个功能是多么没有意义。

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

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

[]<auto> noexcept requires true {};

[] 是 lambda 引入者
<auto> 匹配 <template-parameter-list>，现在我们知道我们是第二种 lambda 表达式。所以在语法上，我们需要跟在 requires-clause（可选）然后是 lambda-declarator 然后是 复合语句。
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 中的那个。

另外，不要写这个。