为什么基于范围的for语句通过auto &&获取范围？

Question

阿基于范围的for声明在§6.5.4定义为等同于:

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

其中range-init定义了两种基于范围的形式for:

for ( for-range-declaration : expression )         =>   ( expression )
for ( for-range-declaration : braced-init-list )   =>   braced-init-list

(该条款进一步规定了其他子表达式的含义)

为什么__range给出推导类型auto&&？我的理解auto&&是,通过传递它来保留表达式的原始值(左值/右值)是有用的std::forward.但是,__range不会通过任何地方std::forward.它得到的范围内时迭代器作为一个人的只用__range,__range.begin()或begin(__range).

使用"通用参考"有auto&&什么好处？还auto&不够吗？

注意:据我所知,该提案没有说明选择auto&&.

Answer 1

不会自动就足够了吗？

不,它不会.它不允许使用计算范围的r值表达式.auto&&之所以使用是因为它可以绑定到l值表达式或 r值表达式.因此,您不需要将范围粘贴到变量中以使其工作.

或者,换句话说,这是不可能的:

for(const auto &v : std::vector<int>{1, 43, 5, 2, 4})
{
}

还const auto&不够吗？

不,它不会.A const std::vector只会返回const_iterator其内容.如果你想对const内容进行非遍历,那将无济于事.