命名空间
变体
操作

语句

来自 cppreference.cn
< cpp‎ | 语言
 
C++
 
C++ 语言
 
语句
 

语句 是 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++ 包括以下类型的语句

(C++26 起)
(TM TS)

目录

[编辑] 带标签语句

带标签语句为语句贴上标签，用于控制流目的。

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

[编辑] 标签

label 定义为

attr (可选) identifier : (1)
attr (可选) case constexpr : (2)
attr (可选) default: (3)
1) goto 的目标；
2) switch 语句中的 case 标签；
3) switch 语句中的 default 标签。

属性序列 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()
}

[编辑] 受控制流限制的语句

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

(C++17 起)
(C++23 起)

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

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

[编辑] 表达式语句

表达式语句是后跟分号的表达式。

attr (可选) expression (可选) ;
属性 - (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 语句。

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

断言语句

契约断言。

contract_assert attr (可选) ( predicate ) ;
1) contract_assert 语句。
 (C++26 起)

[编辑] 声明语句

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

块声明 (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)

[编辑] 子语句

语句的 子语句 是以下之一

如果满足以下任何条件，语句 S1 包含 语句 S2

  • S2 是 S1 的子语句
  • S1 是选择语句或迭代语句，且 S2 是 S1 的 init-statement。
  • S1 是 try 块，且 S2 是其 复合语句 或其 handler-seq  中任何 处理程序 的 复合语句。
  • S1 包含语句 S3 且 S3 包含 S2。

如果语句 S2 包含 S1，则语句 S1 被 语句 S2 包含。

[编辑] 另见

C 文档 关于 语句
取自 “https://cppreference.cn/mwiki/index.php?title=cpp/language/statements&oldid=181015”