语句
来自cppreference.com
语句(statement)是依序执行的 C++ 程序片段。任何函数体都是语句的序列。例如:
int main() { int n = 1; // 声明语句 n = n + 1; // 表达式语句 std::cout << "n = " << n << '\n'; // 表达式语句 return 0; // return 语句 }
C++ 包含下列类型的语句:
1) 表达式语句(expression statement);
2) 复合语句(compound statement);
3) 选择语句(selection statement);
4) 循环语句(iteration statement);
5) 跳转语句(jump statement);
6) 声明语句(declaration statement);
7) try 块;
8) atomic 与 synchronized 块(TM TS)。
标签
通过在语句自身之前提供后随冒号的标签,任何语句都可带有标签。
属性(可选) 标识符 : 语句
|
(1) | ||||||||
属性(可选) case 常量表达式 : 语句
|
(2) | ||||||||
属性(可选) default : 语句
|
(3) | ||||||||
1) goto 的目标;
2) switch 语句中的 case 标签;
3) switch 语句中的 default 标签。
一条语句可以带有多个标签。
属性序列 属性 可以紧接标签之前出现(这种情况下它应用到标签),或紧跟在语句自身之后出现,这种情况下它应用到整条语句。 |
(C++11 起) |
声明于函数内并带标识符的标签(且仅有标签)在该函数内、所有内嵌块、其自身声明的前后每处都在作用域内。
一个函数中的两个标签不得拥有同一标识符。
无限定查找找不到标签:标签能与程序中任何其他实体拥有相同的名字。
void f() { { goto label; // label 在作用域内,尽管它在后面才声明 label:; } goto label; // label 忽略块作用域 } void g() { goto label; // 错误: label 不在 g() 的作用域内 }
表达式语句
表达式后跟一个分号是一条语句。
属性(可选) 表达式(可选) ;
|
(1) | ||||||||
属性 | - | (C++11 起) 可选的任意数量属性的序列 |
表达式 | - | 一个表达式 |
典型 C++ 程序的大部分语句都是表达式语句,例如赋值和函数调用。
没有表达式的表达式语句被称作空语句(null statement)。它通常用来为 for 或 while 循环提供空体。它也可用于在复合语句的末尾引入标签。
复合语句
复合语句或(代码)块是花括号环绕的语句序列。
属性(可选) { 语句...(可选) }
|
(1) | ||||||||
当需要一条语句,但要按顺序执行多条语句时(例如在 if 语句或循环中),可以使用复合语句:
if (x > 5) // if 语句的开始 { // 块的开始 int n = 1; // 声明语句 std::cout << n; // 表达式语句 } // 块的结束,if 语句的结束
每个复合语句都引入其自身的块作用域;在块中声明的变量在闭花括号处以逆序销毁:
int main() { { // 块的开始 std::ofstream f("test.txt"); // 声明语句 f << "abc\n"; // 表达式语句 } // 块结束,刷新并关闭 f std::ifstream f("test.txt"); std::string str; f >> str; }
选择语句
选择语句在数个控制流中选择一个。
属性(可选) if constexpr (可选) ( 初始化语句(可选) 条件 ) true分支语句
|
(1) | ||||||||
属性(可选) if constexpr (可选) ( 初始化语句(可选) 条件 ) true分支语句 else false分支语句
|
(2) | ||||||||
属性(可选) switch ( 初始化语句(可选) 条件 ) 语句
|
(3) | ||||||||
属性(可选) if ! (可选) consteval 复合语句
|
(4) | (C++23 起) | |||||||
属性(可选) if ! (可选) consteval 复合语句 else 语句
|
(5) | (C++23 起) | |||||||
1) if 语句;
2) 带 else 子句的 if 语句;
3) switch 语句;
4) consteval if 语句;
5) 带 else 子句的 consteval if 语句。
循环语句
循环语句重复执行一些代码。
属性(可选) while ( 条件 ) 语句
|
(1) | ||||||||
属性(可选) do 语句 while ( 表达式 ) ;
|
(2) | ||||||||
属性(可选) for ( 初始化语句 条件(可选) ; 表达式(可选) ) 语句
|
(3) | ||||||||
属性(可选) for ( for-范围声明 : for-范围初始化器 ) 语句
|
(4) | (C++11 起) | |||||||
1) while 循环;
2) do-while 循环;
3) for 循环;
4) 范围 for 循环。
跳转语句
跳转语句无条件地转移控制流。
属性(可选) break ;
|
(1) | ||||||||
属性(可选) continue ;
|
(2) | ||||||||
属性(可选) return 表达式(可选) ;
|
(3) | ||||||||
属性(可选) return 花括号初始化器列表 ;
|
(4) | (C++11 起) | |||||||
属性(可选) goto 标识符 ;
|
(5) | ||||||||
1) break 语句;
2) continue 语句;
3) 可带表达式的 return 语句;
5) goto 语句。
注意:对于所有跳转语句,转移出循环、出块或回到被初始化且具有自动存储期的变量之前,会牵涉到对“ 转移发起点在作用域中而目标点不在,且具有自动存储期 ”的对象的销毁。如果有多个对象被初始化,那么销毁顺序与初始化顺序相反。
声明语句
声明语句在块中引入一个或多个标识符。
块声明 | (1) | ||||||||
try 块
try 块提供当执行其他语句时捕获其所抛出的异常的能力。
属性(可选) try 复合语句 处理块序列
|
(1) | ||||||||
1) 细节见 try/catch。
atomic 与 synchronized 块atomic 与 synchronized 块用来实现事务性内存。
1) synchronized 块,与所有 synchronized 块在一个全序中执行;
2) 在发生异常时中止的 atomic 块;
3) 在发生异常时回滚的 atomic 块;
4) 在发生异常时提交的 atomic 块。
|
(TM TS) |