Statements

语句 是 C++ 程序按顺序执行的片段。任何函数的主体都是一个语句序列。例如：

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

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

• 标签语句
• 表达式语句
• 复合语句
• 选择语句
• 迭代语句
• 跳转语句

• 声明语句
• try 块

标签语句

带标签语句为控制流目的对语句进行标记。

标签

label 被定义为

函数内部声明的带标识符标签，会匹配该函数中所有嵌套块内（无论在其声明之前还是之后）具有相同标识符的goto语句。

函数中的两个标签不得具有相同的标识符。

标签不会被 非限定查找 所发现：标签可以与程序中的任何其他实体同名。

void f()
{
    {
        goto label; // 即使标签在后方声明也处于作用域内
        label:      // 自 C++23 起标签可独立出现在代码块末尾
    }
    goto label; // 标签不受块作用域限制
}
void g()
{
    goto label; // 错误：g() 函数中标签不在作用域内
}

控制流受限语句

以下语句属于 控制流受限语句 ：

• try 块 的 复合语句 。
• 处理程序 的 复合语句 。

对于每个受控制流限制的语句 S ：

• 所有在 S 中声明的 goto 目标标签只能被 S 中的语句引用。
• 每个出现在 S 中的 case 或 default 标签只能与 S 内的 switch 语句 相关联。

表达式语句

表达式语句是由分号跟随的表达式。

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

没有表达式的表达式语句被称为 空语句 。它常用于为 for 循环或 while 循环提供空函数体。 也可用于在复合语句末尾承载标签。 (直至 C++23)

复合语句

复合语句或 块 将一系列语句组合成单个语句。

当预期为单条语句，但需要按顺序执行多条语句时（例如在 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;                    // 表达式语句
} // 外部代码块结束，str被销毁，f被关闭

选择语句

选择语句在多个控制流中选取其一。

迭代语句

迭代语句会重复执行某些代码。

跳转语句

跳转语句无条件地转移控制流。

注意：对于所有跳转语句，从循环中跳出、从代码块中跳出，或跳回经过具有自动存储期的已初始化变量时，都会涉及销毁具有自动存储期的对象，这些对象在跳出点处于作用域内，但在跳入点不处于作用域内。如果多个对象已被初始化，则销毁顺序与初始化顺序相反。

声明语句

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

try 块

一个 try 块用于捕获执行其他语句时抛出的异常。

子语句

语句的 子语句 指以下情况之一：

• 对于 标签语句 ，其 语句 。
• 对于 复合语句 ，其 语句序列 中的任意语句。
• 对于 选择语句 ，其任意 语句  或 复合语句  (C++23 起) 。
• 对于 迭代语句 ，其 语句 。

语句 S1 包含 语句 S2 当满足以下任一条件时：

• S2 是 S1 的子语句
• S1 是选择语句或迭代语句，且 S2 是 S1 的 init-statement
• S1 是 try 块 ，且 S2 是其 compound-statement 或其 handler-seq 中任意 handler 的 compound-statement 
• S1 包含语句 S3 ，且 S3 包含 S2

当语句 S2 包含语句 S1 时，我们称 S1 被 S2 所包围 。

参见