constexpr 函数可以包含标签吗？

Question

这个program：

constexpr void f() { x: ; }

是gcc编译的，但是clang说：

error: statement not allowed in constexpr function

那么这段代码有效吗？

Answer 1

正如comment by Nathan Pierson 中指出的那样，Clang 是正确的，并且代码格式不正确。根据目前的工作草案（包括 C++20），dcl.constexpr#3 说：

constexpr 函数的定义应满足以下要求：

...

它的函数体不应包含

...

一个标识符标签，

...

...