for vs if vs while中的C ++ 17结构化绑定声明

Question

当我编译这段代码时：

std::tuple<int, int> array[] = {std::make_tuple(1, 2), std::make_tuple(1, 2),
                                std::make_tuple(1, 2), std::make_tuple(1, 2)};
for (auto[a, b] : array) {
  printf("%u %u", a, b);
}

if (auto[a, b] = std::forward_as_tuple(1, 2); b != 0xff) {
  printf("%u %u", a, b);
}

while (auto[a, b] = std::make_tuple(1, 2); b != 0xff) {
  printf("%u %u", a, b);
}

带有：

clang++ -std=c++1z

我收到以下错误：

main2.cpp:76:14: error: decomposition declaration not permitted in this context
  while (auto[a, b] = std::make_tuple(1, 2); b != 0xff) {
             ^~~~~~
main2.cpp:76:46: error: use of undeclared identifier 'b'
  while (auto[a, b] = std::make_tuple(1, 2); b != 0xff) {
                                             ^
2 errors generated.

为什么auto[a, b] = std::forward_as_tuple(1, 2); b != 0xff auto[a, b] = std::forward_as_tuple(1, 2); b != 0xff if在一段while ？ 是否存在某种技术原因，还是“这就是事实”的原因？

Answer 1

根据最新的C ++标准草案， while循环实际上没有可选的init-statement ，它是if和switch在C ++ 17中获得的。

正式语法为：

while ( condition ) statement

总之，结构化绑定不是这里的问题。 检查草稿的此部分以供参考。