是否在每次迭代时评估 ranged-for 语句中的表达式？ [复制]

Question

当我这样做时：

for (auto p : foo()) {
   // ...
}

是否在循环的每次迭代中评估 foo()？

Answer 1

不，只有一次。

[C++11: 6.5.4]: 对于基于范围的for 语句的形式

for ( for-range-declaration : expression ) statement

让range-init等价于括号内的表达式

( expression )

[..] 基于范围的 for 语句等价于

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

[..]

有趣的是，这个相对较新的段落是使用预先存在的语言特征在代码方面定义语义的标准的罕见示例。我猜他们已经厌倦了编写简洁的技术语言。

这意味着我们必须从代码中推断上面的事实；在这种情况下，幸运的是，这很容易：range-init 被评估一次并绑定到通用引用 __range。