创始人

2025-05-31 19:43:00

内容来自《C++ Primer（第5版）》5.4.3 范围for语句

C++11新标准引入了一种更简单的for语句，这种语句可以遍历容器或其他序列的所有元素。范围for语句（range for statement）的语法形式是：

for (declaration : expression)statement

expression表示的必须是一个序列，比如用花括号括起来的初始值列表、数组或者vector或string等类型的对象，这些类型的共同特点是拥有能返回迭代器的begin和end成员。

declaration定义一个变量，序列中的每个元素都得能转换成该变量的类型。确保类型相容最简单的办法是使用auto类型说明符，这个关键字可以令编译器帮助我们指定合适的类型。如果需要对序列中的元素执行写操作，循环变量必须声明成引用类型。

每次迭代都会重新定义循环控制变量，并将其初始化成序列中的下一个值，之后才会执行statement。像往常一样，statement可以是一条单独的语句也可以是一个块。所有元素都处理完毕后循环终止。

之前我们已经接触过几个这样的循环。接下来的例子将把vector对象中的每个元素都翻倍，它涵盖了范围for语句的几乎所有语法特征：

vector v = { 0,1,2,3,4,5,6,7,8,9 };
//范围变量必须是引用类型，这样才能对元素执行写操作
for (auto &r : v)r *= 2;//将v中每个元素的值翻倍

for语句头声明了循环控制变量r，并把它和v关联在一起，我们使用关键字auto令编译器为r指定正确的类型。由于准备修改v的元素的值，因此将r声明成引用类型。此时，在循环体内给r赋值，即改变了r所绑定的元素的值。

范围for语句的定义来源于与之等价的传统for语句：

for (auto beg = v.begin(), end = v.end(); beg != end; ++beg) {auto &r = *beg;//r必须是引用类型，这样才能对元素执行写操作r *= 2;//将v中每个元素的值翻倍
}

学习了范围for语句的原理之后，我们也就不难理解为什么强调不能通过范围for语句增加vector对象（或者其他容器）的元素了。在范围for语句中，预存了end()的值。一旦在序列中添加（删除）元素，end函数的值就可能变得无效了。

拓展：（不是《C++ Primer（第5版）》的内容）

auto和auto&：（用不用引用）

void TestFor()
{int array[] = { 1,2,3,4,5 };//自动依次取数组中数据赋值给e对象，自动判断结束for (auto e : array){e *= 2;//e改变，但数组元素不变cout << e << " ";}cout << endl;
}

void TestFor()
{int array[] = { 1,2,3,4,5 };for (auto& e : array)//e是数组元素的引用e *= 2;//e改变，数组元素也改变for (auto e : array)cout << e << " ";
}

与普通循环类似，可以用continue来结束本次循环，也可以用break来跳出整个循环。

范围for的使用条件：

1. for循环迭代的范围必须是确定的

对于数组而言，就是数组中第一个元素和最后一个元素的范围；对于类而言，应该提供begin和end的方法，begin和end就是for循环迭代的范围。注意：以下代码就有问题，因为for的范围不确定。

void TestFor(int array[])
{for (auto& e : array)cout << e << endl;
}

2. 迭代的对象要实现++和==的操作。