C++11中基于范围的for循环
在 C++03/98 中,不同的容器和数组,遍历的方法不尽相同,写法不统一,也不够简洁,而 C++11 基于范围的 for 循环以统一、简洁的方式来遍历容器和数组,用起来更方便了。
当然,熟悉stl的读者肯定还知道在 <algorithm> 中有一个 for_each 算法可以用来完成和上述同样的功能:
但不管是上述哪一种遍历方法,都必须显式给出容器的开头(Begin)和结尾(End)。这是因为上面的两种方法都不是基于“范围(Range)”来设计的。
我们先来看一段简单的C#代码:
与普通的for循环相比,基于范围的循环方式是“自明”的。这种语法构成的循环不需要额外的注释或语言基础,很容易就可以看清楚它想表达的意义。在实际项目中经常会遇到需要针对容器做遍历的情况,使用这种循环方式无疑会让编码和维护变得更加简便。
现在,在 C++11 中终于有了基于范围的 for 循环(The range-based for statement)。再来看一开始的 vector 遍历使用基于范围的 for 循环应该如何书写:
在 n 的定义之后,紧跟一个冒号
在上面的例子中,我们使用 auto 自动推导了 n 的类型。当然在使用时也可以直接写上我们需要的类型:
当然,若只是希望遍历,而不希望修改,可以使用 const auto& 来定义 n 的类型。这样对于复制负担比较大的容器元素(比如一个 std::vector<std::string> 数组)也可以无损耗地进行遍历。
首先,看一下使用 range-based for 对 map 的遍历方法:
关于上述第二点,我们再来看一个对比的例子:
在使用基于范围的 for 循环时,还需要注意容器本身的一些约束。比如下面这个例子:
同样的细节也会出现在 std::map 的遍历中。基于范围的 for 循环中的 std::pair 引用,是不能够修改 first 的。
接下来,看看基于范围的 for 循环对容器的访问频率。看下面这段代码:
get_range ->:
1
2
3
4
5
从上面的结果中可以看到,不论基于范围的 for 循环迭代了多少次,get_range() 只在第一次迭代之前被调用。
因此,对于基于范围的 for 循环而言,冒号后面的表达式只会被执行一次。
最后,让我们看看在基于范围的 for 循环迭代时修改容器会出现什么情况。比如,下面这段代码:
1
5189584
-17891602
-17891602
-17891602
若把上面的 vector 换成 list,结果又将发生变化。
这是因为基于范围的 for 循环其实是普通 for 循环的语法糖,因此,同普通的 for 循环一样,在迭代时修改容器很可能会引起迭代器失效,导致一些意料之外的结果。由于在这里我们是看不到迭代器的,因此,直接分析对基于范围的 for 循环中的容器修改会造成什么样的影响是比较困难的。
其实对于上面的基于范围的 for 循环而言,等价的普通 for 循环如下:
当然,良好的编程习惯是尽量不要在迭代过程中修改迭代的容器。但是实际情况要求我们不得不这样做的时候,通过理解基于范围的 for 循环的这个特点,就可以方便地分析每次迭代的结果,提前避免算法的错误。
C++11 for 循环的新用法
我们知道,在 C++ 中遍历一个容器的方法一般是这样的:#include <iostream> #include <vector> int main(void) { std::vector<int> arr; // ... for(auto it = arr.begin(); it != arr.end(); ++it) { std::cout << *it << std::endl; } return 0; }上面借助前面介绍过的 C++ auto 关键字,省略了迭代器的声明。
当然,熟悉stl的读者肯定还知道在 <algorithm> 中有一个 for_each 算法可以用来完成和上述同样的功能:
#include <algorithm> #include <iostream> #include <vector> void do_cout(int n) { std::cout << n << std::endl; } int main(void) { std::vector<int> arr; // ... std::for_each(arr.begin(), arr.end(), do_cout); return 0; }std::for_each 比起前面的 for 循环,最大的好处是不再需要关注迭代器(Iterator)的概念,只需要关心容器中的元素类型即可。
但不管是上述哪一种遍历方法,都必须显式给出容器的开头(Begin)和结尾(End)。这是因为上面的两种方法都不是基于“范围(Range)”来设计的。
我们先来看一段简单的C#代码:
int[] fibarray = new int[] { 0, 1, 1, 2, 3, 5, 8, 13 }; foreach (int element in fibarray) { System.Console.WriteLine(element); }上面这段代码通过“foreach”关键字使用了基于范围的 for 循环。可以看到,在这种 for 循环中,不再需要传递容器的两端,循环会自动以容器为范围展开,并且循环中也屏蔽掉了迭代器的遍历细节,直接抽取出容器中的元素进行运算。
与普通的for循环相比,基于范围的循环方式是“自明”的。这种语法构成的循环不需要额外的注释或语言基础,很容易就可以看清楚它想表达的意义。在实际项目中经常会遇到需要针对容器做遍历的情况,使用这种循环方式无疑会让编码和维护变得更加简便。
现在,在 C++11 中终于有了基于范围的 for 循环(The range-based for statement)。再来看一开始的 vector 遍历使用基于范围的 for 循环应该如何书写:
#include <iostream> #include <vector> int main(void) { std::vector<int> arr = { 1, 2, 3 }; // ... for(auto n : arr) //使用基于范围的for循环 { std::cout << n << std::endl; } return 0; }在上面的基于范围的 for 循环中,n 表示 arr 中的一个元素,auto 则是让编译器自动推导出 n 的类型。在这里,n 的类型将被自动推导为 vector 中的元素类型 int。
在 n 的定义之后,紧跟一个冒号
:
,之后直接写上需要遍历的表达式,for 循环将自动以表达式返回的容器为范围进行迭代。在上面的例子中,我们使用 auto 自动推导了 n 的类型。当然在使用时也可以直接写上我们需要的类型:
std::vector<int> arr;
for(int n : arr) ;
std::vector<int> arr;
for(char n : arr) ; // int会被隐式转换为char
for(auto& n : arr) { std::cout << n++ << std::endl; }在完成上面的遍历后,arr 中的每个元素都会被自加 1。
当然,若只是希望遍历,而不希望修改,可以使用 const auto& 来定义 n 的类型。这样对于复制负担比较大的容器元素(比如一个 std::vector<std::string> 数组)也可以无损耗地进行遍历。
基于范围的 for 循环的使用细节
从前面的示例中可以看出,range-based for 的使用是比较简单的。但是再简单的使用方法也有一些需要注意的细节。首先,看一下使用 range-based for 对 map 的遍历方法:
#include <iostream> #include <map> int main(void) { std::map<std::string, int> mm = { { "1", 1 }, { "2", 2 }, { "3", 3 } }; for(auto& val : mm) { std::cout << val.first << " -> " << val.second << std::endl; } return 0; }这里需要注意两点:
- for 循环中 val 的类型是 std::pair。因此,对于 map 这种关联性容器而言,需要使用 val.first 或 val.second 来提取键值。
- auto 自动推导出的类型是容器中的 value_type,而不是迭代器。
关于上述第二点,我们再来看一个对比的例子:
std::map<std::string, int> mm = { { "1", 1 }, { "2", 2 }, { "3", 3 } }; for(auto ite = mm.begin(); ite != mm.end(); ++ite) { std::cout << ite->first << " -> " << ite->second << std::endl; } for(auto& val : mm) // 使用基于范围的for循环 { std::cout << val.first << " -> " << val.second << std::endl; }从这里就可以很清晰地看出,在基于范围的 for 循环中每次迭代时使用的类型和普通 for 循环有何不同。
在使用基于范围的 for 循环时,还需要注意容器本身的一些约束。比如下面这个例子:
#include <iostream> #include <set> int main(void) { std::set<int> ss = { 1, 2, 3 }; for(auto& val : ss) { // error: increment of read-only reference 'val' std::cout << val++ << std::endl; } return 0; }例子中使用 auto& 定义了 std::set<int> 中元素的引用,希望能够在循环中对 set 的值进行修改,但 std::set 的内部元素是只读的——这是由 std::set 的特征决定的,因此,for 循环中的 auto& 会被推导为 const int&。
同样的细节也会出现在 std::map 的遍历中。基于范围的 for 循环中的 std::pair 引用,是不能够修改 first 的。
接下来,看看基于范围的 for 循环对容器的访问频率。看下面这段代码:
#include <iostream> #include <vector> std::vector<int> arr = { 1, 2, 3, 4, 5 }; std::vector<int>& get_range(void) { std::cout << "get_range ->: " << std::endl; return arr; } int main(void) { for(auto val : get_range()) { std::cout << val << std::endl; } return 0; }输出结果:
get_range ->:
1
2
3
4
5
从上面的结果中可以看到,不论基于范围的 for 循环迭代了多少次,get_range() 只在第一次迭代之前被调用。
因此,对于基于范围的 for 循环而言,冒号后面的表达式只会被执行一次。
最后,让我们看看在基于范围的 for 循环迭代时修改容器会出现什么情况。比如,下面这段代码:
#include <iostream> #include <vector> int main(void) { std::vector<int>arr = { 1, 2, 3, 4, 5 }; for(auto val : arr) { std::cout << val << std::endl; arr.push_back(0); // 扩大容器 } return 0; }执行结果(32位mingw4.8):
1
5189584
-17891602
-17891602
-17891602
若把上面的 vector 换成 list,结果又将发生变化。
这是因为基于范围的 for 循环其实是普通 for 循环的语法糖,因此,同普通的 for 循环一样,在迭代时修改容器很可能会引起迭代器失效,导致一些意料之外的结果。由于在这里我们是看不到迭代器的,因此,直接分析对基于范围的 for 循环中的容器修改会造成什么样的影响是比较困难的。
其实对于上面的基于范围的 for 循环而言,等价的普通 for 循环如下:
#include <iostream> #include <vector> int main(void) { std::vector<int> arr = { 1, 2, 3, 4, 5 }; auto && __range = (arr); for (auto __begin = __range.begin(), __end = __range.end(); __begin != __end; ++__begin) { auto val = *__begin; std::cout << val << std::endl; arr.push_back(0); // 扩大容器 } return 0; }从这里可以很清晰地看到,和我们平时写的容器遍历不同,基于范围的 for 循环倾向于在循环开始之前确定好迭代的范围,而不是在每次迭代之前都去调用一次 arr.end()。
当然,良好的编程习惯是尽量不要在迭代过程中修改迭代的容器。但是实际情况要求我们不得不这样做的时候,通过理解基于范围的 for 循环的这个特点,就可以方便地分析每次迭代的结果,提前避免算法的错误。
所有教程
- socket
- Python基础教程
- C#教程
- MySQL函数
- MySQL
- C语言入门
- C语言专题
- C语言编译器
- C语言编程实例
- GCC编译器
- 数据结构
- C语言项目案例
- C++教程
- OpenCV
- Qt教程
- Unity 3D教程
- UE4
- STL
- Redis
- Android教程
- JavaScript
- PHP
- Mybatis
- Spring Cloud
- Maven
- vi命令
- Spring Boot
- Spring MVC
- Hibernate
- Linux
- Linux命令
- Shell脚本
- Java教程
- 设计模式
- Spring
- Servlet
- Struts2
- Java Swing
- JSP教程
- CSS教程
- TensorFlow
- 区块链
- Go语言教程
- Docker
- 编程笔记
- 资源下载
- 关于我们
- 汇编语言
- 大数据
- 云计算
- VIP视频