语句

来自cppreference.com
< cpp‎ | language

语句是以序列执行的 C++ 程序片段。任意函数体是语句的序列。例如:

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

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

1) 表达式语句;
2) 复合语句;
3) 选择语句;
4) 迭代语句;
5) 跳转语句;
6) 声明语句;
7) try 块;
8) atomic 与 synchronized 块(TM TS)

目录

[编辑] 标号

任何语句都能有标号,通过在语句自身前提供后随冒号的标号。

attr(可选) identifier : statement (1)
attr(可选) case constexpr : statement (2)
attr(可选) default : statement (3)
1) goto 的目标
2) switch 语句中的 case 标号;
3) switch 语句中的 default 标号

属性序列 attr 可正好出现于标号前(这种情况下它应用到标号),或正好在语句自身之后,这种情况下它应用到整条语句。标号(且只有标号)拥有函数作用域。标号为非限定查找所忽略:标号可以与程序中的其他实体拥有相同名称。

[编辑] 表达式语句

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

attr(可选) expression(可选) ; (1)
attr(C++11) - 可选的任意数量属性的序列
expression - 一条表达式

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

无表达式的表达式语句被称作空语句。它通常用来为 forwhile 循环提供空体。它亦可用于在复合语句尾部携带标号。

[编辑] 复合语句

复合语句或是花括号环绕的语句序列。

attr(可选) { statement...(可选) } (1)

期待一条语句,却需要按顺序执行多条语句时(例如在 if 语句或循环中)可用复合语句:

if (x > 5)          // if statement 的开始
{                   // 块的开始
    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; 
}

[编辑] 选择语句

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

attr(可选) if ( condition ) statement (1)
attr(可选) if ( condition ) statement else statement (2)
attr(可选) switch ( condition ) statement (3)
(C++17 前)
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)
(C++17 起)
1) if 语句;
2) if 语句带 else 子句;
3) switch 语句。

[编辑] 迭代语句

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

attr(可选) while ( condition ) statement (1)
attr(可选) do statement while ( expression ) ; (2)
attr(可选) for ( init-statement condition(可选) ; expression(可选) ) statement (3)
attr(可选) for ( 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/catch

atomic 与 synchronized 块

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

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) synchronized 块,与所有 synchronized 块以单独全序执行;
2) 在异常时中止的 atomic 块
3) 在异常时回滚的 atomic 块
4) 在异常时接受的 atomic 块
(TM TS)

[编辑] 参阅

语句C 文档