语句

语句（statement）是依序执行的 C++ 程序片段。任何函数体都是语句的序列。例如：

int main()
{
    int n = 1;                        // 声明语句
    n = n + 1;                        // 表达式语句
    std::cout << "n = " << n << '\n'; // 表达式语句
    return 0;                         // 返回语句
}

C++ 包含下列类型的语句：

1) 带标签语句（labeled statement）

2) 表达式语句（expression statement）

3) 复合语句（compound statement）

4) 选择语句（selection statement）

5) 循环语句（iteration statement）

6) 跳转语句（jump statement）

7) 声明语句（declaration statement）

8) try 块

9) atomic 与 synchronized 块(TM TS)

带标签语句

带标签语句为控制流而使语句带上标签。


标签语句

标签	-	应用到语句的标签（定义见下文）
语句	-	标签应用到的语句，它自己可以是带标签语句，从而允许语句带有多个标签

标签定义如下：


属性 (可选) 标识符 `:`	(1)

属性 (可选) `case` 常量表达式 `:`	(2)

属性 (可选) `default:`	(3)

1) goto 的目标

2) switch 语句中的 case 标签

3) switch 语句中的 default 标签

属性序列属性可以紧接标签之前出现（这种情况下它应用到标签），或紧跟在语句自身之后出现，这种情况下它应用到整条语句。

(C++11 起)

声明于函数内并带标识符的标签（且仅有标签）在该函数内、所有内嵌块、其自身声明的前后每处都在作用域内。

一个函数中的两个标签不得拥有同一标识符。

标签除了可以应用到语句上以外，还可以在复合语句中的任意地方使用。

(C++23 起)

无限定查找找不到标签：标签能与程序中任何其他实体拥有相同的名字。

void f()
{
   {
       goto label; // label 在作用域内，尽管它在后面才声明
       label:      // 标签从 C++23 开始可以在块的末尾单独出现
   }
   goto label; // 标签忽略块作用域
}
 
void g()
{
    goto label; // 错误： label 不在 g() 的作用域内
}

表达式语句

表达式后跟一个分号是一条语句。


属性 (可选) 表达式 (可选) `;`

属性	-	(C++11 起)任意数量属性的序列
表达式	-	一个表达式

典型 C++ 程序的大部分语句都是表达式语句，例如赋值和函数调用。

没有表达式的表达式语句被称作 空语句（null statement）。它通常用来为 for 或 while 循环提供空体。它也可用于在复合语句的末尾引入标签。 (C++23 前)

复合语句

复合语句或（代码）块是花括号环绕的语句序列。


属性 (可选) `{` 语句... (可选) 标签... (可选)(C++23 起) `}`	(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; 
}

在复合语句末尾的标签被视为后随一个空语句。

(C++23 起)

选择语句

选择语句在数个控制流中选择一个。


属性 (可选) `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 语句

4) 使用列表初始化的 return 语句

5) goto 语句

注意：对于所有跳转语句，转移出循环、出块或回到被初始化且具有自动存储期的变量之前，会牵涉到对“ 转移发起点在作用域中而目标点不在，且具有自动存储期 ”的对象的销毁。如果有多个对象被初始化，那么销毁顺序与初始化顺序相反。

声明语句

声明语句在块中引入一个或多个标识符。


块声明

1) 细节见声明及初始化。

try 块

try 块提供当执行其他语句时捕获其所抛出的异常的能力。


属性 (可选) `try` 复合语句处理块序列

1) 细节见 try/catch。

atomic 与 synchronized 块

atomic 与 synchronized 块用来实现事务性内存。


`synchronized` 复合语句	(1)	(TM TS)

`atomic_noexcept` 复合语句	(2)	(TM TS)

`atomic_cancel` 复合语句	(3)	(TM TS)

`atomic_commit` 复合语句	(4)	(TM TS)

1) synchronized 块，与所有 synchronized 块在一个全序中执行

2) 在发生异常时中止的 atomic 块

3) 在发生异常时回滚的 atomic 块

4) 在发生异常时提交的 atomic 块

(TM TS)

编译器支持
自立实现与有宿主实现
语言
标准库
标准库标头
具名要求
功能特性测试宏 (C++20)
语言支持库
概念库 (C++20)
元编程库 (C++11)
诊断库
通用工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
技术规范
符号索引
外部库

语句