MSVC中带noexcept(noexcept(expr))的Lambda编译问题咨询

代码f的标准合规性 #

代码f完全符合C++20及后续版本的标准。

对应的代码：

constexpr auto f = 
    [](auto&& x, auto&&... someOtherStuff) noexcept(noexcept(x)) {};

• 泛型lambda的参数列表中，单个转发引用auto&& x与可变参数转发引用auto&&... someOtherStuff的组合是C++20允许的合法写法。
• noexcept(noexcept(x))是标准的异常说明符用法：内层noexcept(x)用于检测表达式x是否能无异常执行，外层noexcept根据该检测结果决定lambda是否标记为noexcept，完全符合标准规则。

MSVC的C2760错误原因 #

你遇到的syntax error: 'someOtherStuff' was unexpected here是MSVC旧版本的编译器bug。当启用/std:c++20或更高版本的标准编译选项后，该错误会消失；同时GCC、Clang等其他主流编译器在支持C++20的模式下，都能正常编译这段代码。

关于内部编译器错误（ICE） #

修改后的代码g：

constexpr auto g = 
    [](auto&&... someOtherStuff) noexcept(noexcept(int)) {};

这段代码本身确实不符合C++标准——noexcept运算符的操作数必须是可求值的表达式，而int是类型，不是合法的表达式。MSVC出现ICE是编译器自身的bug，正常情况下应该输出明确的语法错误提示，而非内部崩溃。

内容的提问来源于stack exchange，提问作者Ben