c++ - constexpr if with initializer 由标准保证吗？ 'constexpr(constexpr auto x = f(); x) { }'

Question

我找不到任何关于新 C++17 if 初始化语法的信息和“constexpr if”在:

http://open-std.org/JTC1/SC22/WG21/docs/papers/2016/p0128r1.html

不过，Clang-HEAD 支持该语法...

constexpr auto f() { return true; }
int main() {
    if constexpr(constexpr auto x = f(); x) { }
}

在线代码在这里 -> http://melpon.org/wandbox/permlink/dj3a9ChvjhlNc8nr

是 constexpr if带有标准保证的初始值设定项，如 constexpr if只是一个“if 和 constexpr ”，还是不能保证必须明确添加到标准中？

Answer 1

Selection statements with initializer提案提到 if constexpr，并声明“if constexpr 的功能与此提案中的扩展 if 语句一样好”。

N4606 中关于带初始化器的if 语句的规范[stmt.if]p3 明确允许使用 if constexpr。

这是 N4606 [stmt.if]p3 所说的:

An if statement of the form

if constexpr[opt] ( init-statement condition ) statement

is equivalent to

{
  init-statement
  if constexpr[opt] ( condition ) statement
}

and an if statement of the form

if constexpr[opt] ( init-statement condition ) statement else statement

is equivalent to

{
  init-statement
  if constexpr[opt] ( condition ) statement else statement
}

except that names declared in the init-statement are in the same declarative region as those declared in the condition.