Range-Based-For

熟悉C++98/03的对于for循环就再了解不过了，如果我们要遍历一个数组，那么在C++98/03中的实现方式：

 

1.  
   int arr[10] = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };
2.  
   for (int i = 0; i < 10; i++)
3.  
   cout << arr[i];

而遍历容器类的For如下：

 

 

1.  
   std::vector<int> vec {1,2,3,4,5,6,7,8,9,10};
2.  
   for (std::vector<int>::iterator itr = vec.begin(); itr != vec.end(); itr++)
3.  
   std::cout << *itr;

不管上面哪一种方法，都必须明确的确定for循环开头以及结尾条件，而熟悉C#或者python的人都知道在C#和python中存在一种for的使用方法不需要明确给出容器的开始和结束条件，就可以遍历整个容器，幸运的是C++11中引入了这种方法也就是基于范围的For（Range-Based-For），用基于范围的For 改写上面两个例子：

 

 

1.  
   std::vector<int> vec {1,2,3,4,5,6,7,8,9,10};
2.  
   for (auto n :vec)
3.  
   std::cout << n;
4.  
    
5.  
   int arr[10] = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };
6.  
   for (auto n : arr)
7.  
   std::cout << n;

可以看到改写后的使用方法简单了很多，代码的可读性提升了一个档次，但是需要注意的在上述对容器的遍历是只读的，也就是说遍历的值是不可修改的，看下面例子：

 

 

1.  
   std::vector<int> vec {1,2,3,4,5,6,7,8,9,10};
2.  
   cout << "修改前" << endl;
3.  
   for (auto n :vec)
4.  
   std::cout << n++;
5.  
    
6.  
   cout << endl;
7.  
   cout << "修改后" << endl;
8.  
   for (auto j : vec)
9.  
   std::cout << j;

在上述例子中，我们首先遍历容器的内容，然后给容器内的元素每个都加1，然后再遍历一次容器的内容，示例的输出结果如下：

 

 

1.  
   修改前
2.  
   12345678910
3.  
   修改后
4.  
   12345678910

可以看到，我们遍历后对容器内元素的加1操作并没有生效，修改后的输出仍然和原来的元素值一样，因此可以看出，这种遍历方法是可读的。（不过个人觉得C++11在这个方面做的不够好，首先如果这种遍历方法是只读的，那么编译器就应该拒绝对遍历的元素进行修改的操作，需要编程的人来注意的话就太不明智了，不知道C++11标准的制定人员是处于什么目的让这种只读的遍历却允许伴随了着修改的语法存在，如果不注意的话很容易有疑惑为什么命名对容器内的值修改了但未生效。括号内的内容仅为吐槽，哈哈），那么如果要遍历容器内的元素的同时又要修改元素的值该怎么做呢，方法就是将遍历的变量声明为引用类型，看下面例子：

1.  
   std::vector<int> vec {1,2,3,4,5,6,7,8,9,10};
2.  
   cout << "修改前" << endl;
3.  
   for (auto& n :vec)
4.  
   std::cout << n++;
5.  
    
6.  
   cout << endl;
7.  
   cout << "修改后" << endl;
8.  
   for (auto j : vec)
9.  
   std::cout << j;

代码的输出结果为：

 

 

1.  
   修改前
2.  
   12345678910
3.  
   修改后
4.  
   234567891011

可以看到，容器内的元素每个都加了1，两者的区别仅为在修改的时候，将声明的遍历遍历n从auto 声明为auto &，使用基于范围的For循环一定要注意这一点， 基于范围的FOR循环的遍历是只读的遍历，除非将变量变量的类型声明为引用类型。

 

基于范围的For使用需要注意的细节

虽然基于范围的For循环使用起来非常的方便，我们不用再去关注for的开始条件和结束条件等问题了，但是还是有一些细节问题在使用的时候需要注意，来看下基于范围的for对于容器map的遍历：

 

 

1.  
   std::map<string, int> map = { { "a", 1 }, { "b", 2 }, { "c", 3 } };
2.  
   for (auto &val : map)
3.  
   cout << val.first << "->" << val.second << endl;

为什么是使用val.first val.second而不是直接输出value呢？ 在遍历容器的时候，auto自动推导的类型是容器的value_type类型，而不是迭代器，而map中的value_type是std::pair，也就是说val的类型是std::pair类型的，因此需要使用val.first,val.second来访问数据。

 

此外，使用基于范围的for循环还要注意一些容器类本身的约束，比如set的容器内的元素本身有容器的特性就决定了其元素是只读的，哪怕的使用了引用类型来遍历set元素，也是不能修改器元素的，看下面例子：

 

1.  
   set<int> ss = { 1, 2, 3, 4, 5, 6 };
2.  
   for (auto& n : ss)
3.  
   cout << n++ << endl;

上述代码定义了一个set，使用引用类型遍历set中的元素，然后对元素的值进行修改，该段代码编译失败：error C3892: 'n' : you cannot assign to a variable that is const。同样对于map中的first元素也是不能进行修改的。
再来看看假如我们给基于范围的for循环的：冒号都免的表达式不是一个容器而是一个函数，看看函数会被调用多少次？

1.  
   set<int> ss = { 1, 2, 3, 4, 5, 6 };
2.  
   const set<int>& getSet()
3.  
   {
4.  
   cout << "GetSet" << endl;
5.  
   return ss;
6.  
   }
7.  
    
8.  
   int main()
9.  
   {
10.  
    for (auto &n : getSet())
11.  
    cout << n << endl;
12.  
    }

输出为：

 

 

1.  
   GetSet
2.  
   1
3.  
   2
4.  
   3
5.  
   4
6.  
   5
7.  
   6
8.  
   请按任意键继续. . .

可以看出， 如果冒号后面的表达式是一个函数调用时，函数仅会被调用一次。

最后来看看用基于范围的for循环迭代时修改容器会出现什么情况？

 

 

1.  
   vector<int> vec = { 1, 2, 3, 4, 5, 6 };
2.  
    
3.  
   int main()
4.  
   {
5.  
   for (auto &n : vec)
6.  
   {
7.  
   cout << n << endl;
8.  
   vec.push_back(7);
9.  
   }
10.  
    }

上述代码在遍历vector时，在容器内插入一个元素7，运行上述代码程序崩溃了

 

究其原因还是由于在遍历容器的时候，在容器中插入一个元素导致迭代器失效了，因此，基于范围的for循环和普通的for循环一样，在遍历的过程中如果修改容器，会造成迭代器失效，（有关迭代器失效的问题请参阅C++ primer这本书，写的很详细）也就是说基于范围的For循环的内部实现机制还是依赖于迭代器的相关实现。

自定义的类实现基于范围的for