C++20 requires表达式返回值异常：GCC下双static_assert矛盾通过问题

按照C++标准对requires表达式的求值规则，如下代码定义的b的取值应当恒为true：

constexpr auto b = requires { []{}; };

原因很简单：requires表达式的核心逻辑是对大括号内的表达式要求做即时上下文的合法性检查，只要对应的语法、语义不存在错误，该要求就判定为成立，表达式整体返回true。上述代码中，无捕获的空lambda定义本身是完全合法的C++构造，不存在任何语义错误，因此不存在b取值为false的合法场景。

反常行为的根源 #

你提到的“两个互斥的static_assert同时校验通过”的现象，是GCC 11及更早旧版本中存在的已修复编译器Bug，不是标准规则的歧义，也不是所有编译器共有的行为：

• 该Bug的触发逻辑是GCC内部对requires表达式的常量求值、传播环节处理错误：在检查lambda构造时，GCC错误地将本应是纯静态合法性校验的流程，和闭包类型的动态构造逻辑混淆，导致对b这个constexpr变量的内部存储值出现不一致——同一个变量在两个static_assert的检查位置被错误地读取成了true和false两个完全相反的值，才出现了自相矛盾的编译结果。
• 这个问题不具备普适性：Clang、MSVC以及修复后的GCC 12及以上版本，对这段代码的求值结果都完全符合标准预期，会正确判定b为true，并让static_assert(!b)正常触发编译报错。

常见误解澄清 #

不存在“requires表达式内的lambda定义会被判定为非法”的标准规则。标准明确要求requires表达式内的检查仅做即时上下文的合法性校验，不会真正运行对应的表达式逻辑，只要构造本身语法、语义合法，要求就必然成立。

内容的提问来源于stack exchange，提问作者康桓瑋