语句

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名需求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

C++ 语言

一般主题
预处理器 注释	关键字 转义序列
流程控制
条件执行语句
if	switch
迭代语句（循环）
for range-for (C++11)	while do-while
跳转语句
continue - break	goto - return
函数
函数声明
Lambda 函数表达式
inline 说明符
动态异常规范 (直到 C++17*)
noexcept 说明符 (C++11)
异常
throw 表达式 try 块	处理程序
命名空间
命名空间声明	命名空间别名
类型
基本类型 枚举类型 函数类型	类/结构体类型 联合类型
说明符
const/volatile decltype (C++11) auto (C++11)	constexpr (C++11) consteval (C++20) constinit (C++20)
存储时长说明符
初始化
默认初始化 值初始化 零初始化 复制初始化 直接初始化	聚合初始化 列表初始化 (C++11)   常量初始化 引用初始化

表达式
值类别 求值顺序	运算符 运算符优先级
替代表示
字面量
布尔型 - 整型 - 浮点型
字符型 - 字符串型 - nullptr (C++11)
用户定义的 (C++11)
实用工具
属性 (C++11)
类型
typedef 声明
类型别名声明 (C++11)
强制转换
隐式转换 static_cast const_cast	显式转换 dynamic_cast reinterpret_cast
内存分配
new 表达式	delete 表达式
类
类声明 构造函数 this 指针	访问说明符 friend 说明符
特定于类的函数属性
虚函数 override 说明符 (C++11)   final 说明符 (C++11)	explicit (C++11) static
特殊成员函数
默认构造函数 复制构造函数 移动构造函数 (C++11)	复制赋值 移动赋值 (C++11) 析构函数
模板
类模板 函数模板	模板特化 参数包 (C++11)
其他
内联汇编	C++ 历史

 

语句

标签

label : statement

表达式语句

表达式 ;

复合语句

{ statement... }

选择语句

if

switch

迭代语句

while

do while

for

range for (C++11)

跳转语句

break

continue

return

goto

声明语句

声明 ;

尝试块

try 块

事务性内存

synchronized, atomic_commit，等等 (TM TS)

 

语句 是 C++ 程序中按顺序执行的代码片段。任何函数的函数体都是一系列语句。例如

int main()
{
    int n = 1;                        // declaration statement
    n = n + 1;                        // expression statement
    std::cout << "n = " << n << '\n'; // expression statement
    return 0;                         // return statement
}

C++ 包括以下类型的语句

1) 带标签的语句；

2) 表达式语句；

3) 复合语句；

4) 选择语句；

5) 迭代语句；

6) 跳转语句；

7) 声明语句；

8) 尝试块；

9) 原子和同步块 (TM TS).

带标签的语句

带标签的语句为语句添加标签以用于控制流目的。

label statement

label	-	应用于该语句的标签（定义如下）
statement	-	标签应用于的语句，它本身可以是带标签的语句，允许使用多个标签

标签

label 定义为

attr (可选) identifier :	(1)
attr (可选) case constexpr :	(2)
attr (可选) default:	(3)

1) goto 的目标；

2) case switch 语句中的标签；

3) default switch 语句中的标签。

属性 序列 attr 可以出现在标签的开头（在这种情况下，它应用于标签），也可以出现在任何语句本身之前，在这种情况下，它应用于整个语句。

(自 C++11 起)

在函数内声明的带标识符的标签与该函数中所有具有相同标识符的 goto 语句匹配，在所有嵌套块中，在其自身声明之前和之后。

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

除了添加到语句外，标签也可以用在 复合语句 中的任何地方。

(自 C++23 起)

标签不会被 非限定查找 找到：标签可以与程序中的任何其他实体具有相同的名称。

void f()
{
    {
        goto label; // label in scope even though declared later
        label:      // label can appear at the end of a block standalone since C++23
    }
    goto label; // label ignores block scope
}
 
void g()
{
    goto label; // error: label not in scope in g()
}

控制流限制语句

以下语句是控制流限制语句 

• try 块 的 compound-statement。
• 处理程序 的 compound-statement。

constexpr if 语句 的所有子语句。	(自 C++17 起)
consteval if 语句 的所有子语句。	(自 C++23 起)

对于每个控制流限制语句 S

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

表达式语句

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

attr (可选) expression (可选) ;

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

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

没有表达式的表达式语句称为空语句。它通常用于为 for 或 while 循环提供一个空体。 它也可以用于在复合语句的末尾携带一个标签。(直到 C++23)

复合语句

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

attr (可选) { statement... (可选) label... (可选)(自 C++23 起) }

当需要一个语句，但需要按顺序执行多个语句时（例如，在 if 语句或循环中），可以使用复合语句

if (x > 5)          // start of if statement
{                   // start of block
    int n = 1;      // declaration statement
    std::cout << n; // expression statement
}                   // end of block, end of if statement

每个复合语句都引入自己的块 作用域；在块内部声明的变量在关闭的大括号处按相反的顺序销毁

int main()
{ // start of outer block
    {                                // start of inner block
        std::ofstream f("test.txt"); // declaration statement
        f << "abc\n";                // expression statement
    }                                // end of inner block, f is flushed and closed
    std::ifstream f("test.txt"); // declaration statement
    std::string str;             // declaration statement
    f >> str;                    // expression statement
} // end of outer block, str is destroyed, f is closed

复合语句末尾的 标签 被视为紧跟着一个空语句。

(自 C++23 起)

选择语句

选择语句在几种控制流中选择一种。

attr (可选) if constexpr(可选) ( init-statement (可选) condition ) statement	(1)
attr (可选) if constexpr(可选) ( init-statement (可选) condition ) statement else statement	(2)
attr (可选) switch ( init-statement (可选) condition ) statement	(3)
attr (可选) if !(可选) consteval compound-statement	(4)	(自 C++23 起)
attr (可选) if !(可选) consteval compound-statement else statement	(5)	(自 C++23 起)

1) if 语句;

2) 带有 else 子句的 if 语句;

3) switch 语句;

4) consteval if 语句;

5) 带有 else 子句的 consteval if 语句。

迭代语句

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

attr (可选) while ( condition ) statement	(1)
attr (可选) do statement while ( expression ) ;	(2)
attr (可选) for ( init-statement condition (可选) ; expression (可选) ) statement	(3)
attr (可选) for ( init-statement (可选)(自 C++20 起) for-range-decl : for-range-init ) statement	(4)	(自 C++11 起)

1) while 循环;

2) do-while 循环;

3) for 循环;

4) 范围 for 循环。

跳转语句

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

attr (可选) break;	(1)
attr (可选) continue;	(2)
attr (可选) return expression (可选) ;	(3)
attr (可选) return braced-init-list ;	(4)	(自 C++11 起)
attr (可选) goto identifier ;	(5)

1) break 语句;

2) continue 语句;

3) 带有可选表达式的 return 语句;

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

5) goto 语句。

注意：对于所有跳转语句，从循环中、从块中或返回到具有自动存储持续时间的已初始化变量之前，都涉及销毁在转移点之前但在转移点之后的作用域中的具有自动存储持续时间的对象。如果初始化了多个对象，则销毁顺序与初始化顺序相反。

声明语句

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

block-declaration	(1)

1) 有关详细信息，请参阅 声明 和 初始化。

try 块

try 块捕获在执行其他语句时抛出的异常。

attr (可选) try compound-statement handler-sequence	(1)

1) 有关详细信息，请参阅 try 块。

原子块和同步块 原子块和同步块提供 事务内存。 synchronized compound-statement (1) (TM TS) atomic_noexcept compound-statement (2) (TM TS) atomic_cancel compound-statement (3) (TM TS) atomic_commit compound-statement (4) (TM TS) 1) 同步块，以所有同步块的单个总顺序执行； 2) 原子块，在发生异常时中止； 3) 原子块，在发生异常时回滚； 4) 原子块，在发生异常时提交。

(TM TS)

另请参阅

C 文档 关于 语句