語句

語句是 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 起)

宣告語句
try 塊

原子和同步塊

(TM TS)

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)

[編輯] 子語句

語句的 子語句 是以下之一

對於帶標籤語句，其語句。
對於複合語句，其語句... 中的任何語句。
對於選擇語句，其任何語句或複合語句 (C++23 起)。
對於迭代語句，其語句。

如果滿足以下任何條件，語句 S1 包含語句 S2

S2 是 S1 的子語句
S1 是選擇語句或迭代語句，且 S2 是 S1 的 init-statement。
S1 是 try 塊，且 S2 是其複合語句或其 handler-seq 中任何處理程式的複合語句。
S1 包含語句 S3 且 S3 包含 S2。

如果語句 S2 包含 S1，則語句 S1 被語句 S2 包含。

[編輯] 另見

C 文件關於語句

編譯器支援
自由（freestanding）與宿主（hosted）
語言
標準庫
標準庫標頭檔案
具名要求
特性測試宏 (C++20)
語言支援庫
概念庫 (C++20)
診斷庫
記憶體管理庫
超程式設計庫 (C++11)
通用工具庫
容器庫
迭代器庫
範圍庫 (C++20)
演算法庫
字串庫
文字處理庫
數值庫
日期和時間庫
輸入/輸出庫
檔案系統庫 (C++17)
併發支援庫 (C++11)
執行控制庫 (C++26)
技術規範
符號索引
外部庫

標籤
標號 : 語句
表示式語句
表示式 ;
複合語句
`{` 語句... `}`
選擇語句
`if`
`switch`
迭代語句
`while`
`do while`
`for`
範圍 for (C++11)
跳轉語句
`break`
`continue`
`return`
`goto`
斷言
`contract_assert` (C++26)
宣告語句
宣告 ;
Try 塊
try 塊
事務記憶體
`synchronized`, `atomic_commit`, 等 (TM TS)

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

屬性	-	(C++11 起) 可選的任意數量屬性序列
表示式	-	一個表示式

cppreference.com

名稱空間

變體

檢視

操作

語句

目錄

[編輯] 帶標籤語句

[編輯] 標籤

[編輯] 受控制流限制的語句

[編輯] 表示式語句

[編輯] 複合語句