C++ 参考手册
- C++11
- C++14
- C++17
- C++20
- C++ 编译器支持情况表
- 独立与宿主实现
- C++ 语言
- 变量模板(C++14 起)
- 整数字面量
- 聚合初始化
- 比较运算符
- 默认比较(C++20 起)
- 转义序列
- for 循环
- while 循环
- 用户定义转换
- SFINAE
- 主函数
- ASCII 码表
- 标识符
- 类型
- 内存模型
- 对象
- 基本概念
- 表达式
- 声明
- 初始化
- 函数
- 语句
- 类
- 运算符重载
- 模板
- 异常
- 事务性内存
- 占位符类型说明符 (C++11 起)
- decltype 说明符
- 函数声明
- final 说明符 (C++11 起)
- override 说明符(C++11 起)
- 引用声明
- 移动构造函数
- 移动赋值运算符
- 枚举声明
- constexpr 说明符(C++11 起)
- 列表初始化 (C++11 起)
- 构造函数与成员初始化器列表
- using 声明
- nullptr,指针字面量
- 基础类型
- 类型别名,别名模版 (C++11 起)
- 形参包
- 联合体声明
- 字符串字面量
- 用户定义字面量 (C++11 起)
- 属性说明符序列(C++11 起)
- Lambda 表达式 (C++11 起)
- noexcept 说明符 (C++11 起)
- noexcept 运算符 (C++11 起)
- alignof 运算符(C++11 起)
- alignas 说明符 (C++11 起)
- 存储类说明符
- 基于范围的 for 循环 (C++11 起)
- static_assert 声明
- 隐式转换
- 代用运算符表示
- 自增/自减运算符
- 折叠表达式(C++17 起)
- 类模板实参推导(C++17 起)
- 模板形参与模板实参
- if 语句
- inline 说明符
- 结构化绑定声明 (C++17 起)
- switch 语句
- 字符字面量
- 命名空间
- 求值顺序
- 复制消除
- consteval 说明符 (C++20 起)
- constinit 说明符 (C++20 起)
- 协程 (C++20)
- 模块 (C++20 起)
- 约束与概念 (C++20 起)
- new 表达式
- do-while 循环
- continue 语句
- break 语句
- goto 语句
- return 语句
- 动态异常说明
- throw 表达式
- try 块
- 命名空间别名
- 类声明
- cv(const 与 volatile)类型限定符
- 默认初始化
- 值初始化(C++03 起)
- 零初始化
- 复制初始化
- 直接初始化
- 常量初始化
- 引用初始化
- 值类别
- C++ 运算符优先级
- 布尔字面量
- 浮点字面量
- typedef 说明符
- 显式类型转换
- static_cast 转换
- dynamic_cast 转换
- const_cast 转换
- reinterpret_cast 转换
- delete 表达式
- 构造函数与成员初始化器列表
- this 指针
- 访问说明符
- 友元声明
- virtual 函数说明符
- explicit 说明符
- 静态成员
- 默认构造函数
- 复制构造函数
- 复制赋值运算符
- 析构函数
- 类模板
- 函数模板
- 显式(全)模板特化
- 汇编声明
- C++ 的历史
- 作用域
- 生存期
- 定义与单一定义规则(ODR)
- 名字查找
- 有限定的名字查找
- 无限定的名字查找
- 如同规则
- 未定义行为
- 翻译阶段
- 常量表达式
- 赋值运算符
- 算术运算符
- 逻辑运算符
- 成员访问运算符
- 其他运算符
- sizeof 运算符
- typeid 运算符
- 指针声明
- 数组声明
- 语言链接
- 详述类型说明符
- 默认实参
- 变长实参
- 实参依赖查找
- 重载决议
- 重载函数的地址
- 注入类名
- 非静态数据成员
- 非静态成员函数
- 嵌套类
- 派生类
- 空基类优化
- 抽象类
- 位域
- 转换构造函数
- 成员模板
- 模板实参推导
- 部分模板特化
- sizeof... 运算符
- 待决名
- 函数 try 块
- 扩充命名空间 std
- 字母缩写
- RAII
- 三/五/零之法则
- PImpl
- 零开销原则
- 类型
- 隐式转换
- 注释
- C++ 关键词
- 预处理器
- C++ 标准库头文件
- 具名要求
- 功能特性测试 (C++20)
- 工具库
- 类型支持(基本类型、RTTI、类型特性)
- 概念库 (C++20)
- 错误处理
- 动态内存管理
- 日期和时间工具
- 字符串库
- 容器库
- 迭代器库
- 范围库 (C++20)
- 算法库
- 数值库
- 输入/输出库
- 文件系统库
- 本地化库
- 正则表达式库
- 原子操作库
- 线程支持库
- 实验性 C++ 特性
- 有用的资源
- 索引
- std 符号索引
- 协程支持 (C++20)
- C++ 关键词
for 循环
执行一次 初始化语句,然后重复执行 语句 和 迭代表达式,直至 条件 的值变成 false。此检测于每次迭代之前进行。
语法
正式语法: | |||||||||
attr(可选) for ( 初始化语句 条件(可选) ; 迭代表达式(可选) ) 语句
|
|||||||||
非正式语法: | |||||||||
attr(可选) for ( 声明或表达式(可选) ; 声明或表达式(可选) ; 表达式(可选) ) 语句
|
|||||||||
attr(C++11) | - | 任何数量的属性 |
初始化语句 | - | 下列之一
|
条件 | - | 下列之一 |
迭代表达式 | - | 任何表达式,在循环的每次重复之后并在重复求值 条件 之前求值。通常为增加循环计数器的表达式。 |
语句 | - | 任何语句,通常为复合语句,作为循环体 |
解释
上述语法产生的代码等价于:
{
|
|||||||||
但有以下不同:
1) 初始化语句 所声明的名字(若 初始化语句 是声明)和 条件 所声明的名字(若 条件 是声明)处于同一作用域中(亦是 语句 的作用域)。
3) 空的 条件 等价于 while(true)
若执行循环时需要在某些点终止,则可将 break 语句用作终止语句。
若执行循环时需要在循环体末尾继续,则可将 continue 语句用作捷径。
与 while 循环的情况相同,若 语句 是单个语句(非复合语句),则声明于其中的变量的作用域被限制在循环体内,如同它是一条复合语句一样。
for (;;) int n; // n 离开作用域
关键词
注解
作为 C++ 向前进展保证的一部分,若无可观察行为(不调用 I/O 函数,访问 volatile 对象,或进行原子或同步操作)的循环不会终止,则其行为未定义。允许编译器移除这种循环。
C++ 中,初始化语句 的作用域与 语句 的作用域是同一的,而在 C 中 语句 的作用域嵌套于 初始化语句 的作用域中:
for (int i = 0; ; ) { long i = 1; // 在 C 中合法,在 C++ 中非法 // ... }
示例
运行此代码
#include <iostream> #include <vector> int main() { // 典型的以单语句作为循环体的循环 for (int i = 0; i < 10; ++i) std::cout << i << ' '; std::cout << '\n'; // 初始化语句可声明多个名字, // 只要它们能用拥有相同的声明说明符序列 for (int i = 0, *p = &i; i < 9; i += 2) { std::cout << i << ':' << *p << ' '; } std::cout << '\n'; // (循环)条件可为声明 char cstr[] = "Hello"; for (int n = 0; char c = cstr[n]; ++n) std::cout << c; std::cout << '\n'; // 初始化语句可使用 auto 类型说明符 std::vector<int> v = {3, 1, 4, 1, 5, 9}; for (auto iter = v.begin(); iter != v.end(); ++iter) { std::cout << *iter << ' '; } std::cout << '\n'; // 初始化语句可为表达式 int n = 0; for (std::cout << "循环开始\n"; std::cout << "循环测试\n"; std::cout << "迭代 " << ++n << '\n') if(n > 1) break; std::cout << '\n'; }
输出:
0 1 2 3 4 5 6 7 8 9 0:0 2:2 4:4 6:6 8:8 Hello 3 1 4 1 5 9 循环开始 循环测试 迭代 1 循环测试 迭代 2 循环测试
参阅
范围 for 循环 | 执行范围上的循环 (C++11 起) |