为什么 ISO c++17 不允许在条件中使用结构化绑定声明？

Question

如果我使用结构化绑定声明作为条件，Clang 会发出警告：

$ cat hello.cc
int main() {
  struct A { int i; operator bool() { return true; } };
  if (auto [i] = A{0}) {
    return i;
  }
  return -1;
}

$ clang++-10 -std=c++17 hello.cc
hello.cc:3:12: warning: ISO C++17 does not permit structured binding declaration in a condition [-Wbinding-in-condition]                                                                                                                                                                               
  if (auto [i] = A{0}) {                                                                                                                                                                                                                                                                               
           ^~~                                                                                                                                                                                                                                                                                         
1 warning generated.

我在dcl.struct.bind或stmt.select中没有看到这个； 我在哪里可以看到这是被禁止的？

此外：禁止这样做的理由是什么？

Answer 1

if 语句的语法是

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

如您所见， condition是必需的，而init-statement 。 这意味着在if (auto [i] = A{0})中auto [i] = A{0}是条件，而不是init-statment 。 condition定义为

condition:
    expression
    attribute-specifier-seq(opt) decl-specifier-seq declarator brace-or-equal-initializer

并且不允许结构化绑定，因为它的语法是

attribute-specifier-seq(opt) decl-specifier-seq ref-qualifier(opt) [ identifier-list ] initializer ;

---

好消息是你可以通过在你的 if 语句中添加一个条件来得到你想要的，比如

if (auto [i] = A{0}; i)