28

我想做如下的事情：

//std::vector<std::pair<TypeA, TypeB>> someInitializingFunction();
{
  TypeA a;
  TypeB b;

  for (std::tie(a, b) : someInitializingFunction()) {
    // do stuff;
  }
}

但是，这不是有效代码，因为正如标准所说，基于范围的 for 循环被定义为等效于：

{
  auto && __range = range-init;
  for ( auto __begin = begin-expr,
      __end = end-expr;
      __begin != __end;
      ++__begin ) {
    for-range-declaration = *__begin;
    statement
  }
}

其中 for-range-declaration 定义为：

for-range-declaration：attribute-specifier-seq_{opt} decl-specifier-seq 声明符

那么让我退缩的是 decl-specifier-seq 没有​​标记为可选？

因此，似乎我必须为这个循环使用旧样式的循环：

std::vector<std::pair<TypeA, TypeB>> myList = someInitializingFunction();

{
  TypeA a;
  TypeB b;

  for (auto it = myList.begin(); it != myList.end(); ++it) {
    std::tie(a, b) = *it;
    // do stuff;
  }
}

但它在语法上似乎有点混乱，因为直觉上似乎是一个相当常见的任务，解包函数调用的结果，这在许多其他上下文中都是有效的。

有没有建议在语言中添加一些东西？这甚至是合理的想法吗？有没有更好的方法来做到这一点，我忽略了？我误读了标准吗？

显然，我可以组合我自己的函数来执行此操作，但使用起来也有点混乱。

4

2 回答 2

19

截至 2017 年 3 月 21 日，结构化绑定是 C++ 的一部分。

这允许直接执行以下操作：

//std::vector<std::pair<TypeA, TypeB>> someInitializingFunction();
for (auto [a, b] : someInitializingFunction()) {
  // do stuff;
}
于 2017-03-23T21:53:03.320 回答
18

你仍然可以使用 range-for！

//std::vector<std::pair<TypeA, TypeB>> someInitializingFunction();
{
  TypeA a;
  TypeB b;

  for (auto& p : someInitializingFunction()) {
    std::tie(a, b) = p;
    // do stuff;
  }
}

或者const auto& p，如果您不需要/不想修改p.

更新：使用上述内容，您还可以使用将元素移动到绑定变量std::move

for (auto& p : someInitializingFunction()) {
  std::tie(a, b) = std::move(p);
  // do stuff;
}

您建议的语法可能无法很好地处理。一个人为的例子：

for (std::tie(a, b) : std::move(someInitializingFunction())) {}
// Note: std::move here is superfluous, as it's already an r-value
//    (may also hinder some optimizations). Purely for demonstration purposes.

这样，您就无法将元素的值移动到绑定变量，例如begin(),end()等。从 r 值容器不会产生移动迭代器。（嗯，是的，您可以将容器调整为返回移动迭代器的东西，但这将是一个全新的故事）

于 2014-01-23T05:54:04.013 回答