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

1) 表达式语句（expression statement）；

2) 复合语句（compound statement）；

3) 选择语句（selection statement）；

4) 循环语句（iteration statement）；

5) 跳转语句（jump statement）；

6) 声明语句（declaration statement）；

7) try 块；

8) atomic 与 synchronized 块(TM TS)。

通过在语句自身之前提供后随冒号的标号，任何语句都可带有标号。

1) 的目标

2) switch 语句中的 case 标号;

3) 语句中的 default 标号

属性序列 attr 可以紧接标号之前出现（这种情况下它应用到标号），或紧跟在语句自身之后出现，这种情况下它应用到整条语句。一条语句可以带有多个标号。标号（且只有标号）拥有。无限定查找中忽略标号：标号可以与程序中的任何其他实体具有相同名字。

表达式语句

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

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

复合语句或（代码）块是花括号环绕的语句序列。

当期待一条语句，但需要依序执行多条语句时（例如在 语句或循环中）可使用复合语句：

每个复合语句都引入其自身的块作用域；声明于块中的变量在闭花括号处以逆序销毁：

选择语句

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

1) 语句；

2) 带 else 子句的 if 语句；

3) 语句。

循环语句重复执行一些代码。

1) while 循环；

2) 循环；

4) 范围 for 循环。

跳转语句

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

1) 语句；

2) continue 语句；

3) 带可选表达式的 语句；

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

5) goto 语句。

注意：对于所有跳转语句，转移出循环，出块，或回到被初始化的具有自动存储期的变量之前，会牵涉到对在转移发起点处于作用域中，但在转移目标点不在作用域的，具有自动存储期的对象的销毁。若初始化了多个对象，则销毁顺序与初始化顺序相反。

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

1) 细节见及初始化。

try 块

try 块提供当执行其他语句时捕获其所抛出的异常的能力。

1) 细节见 。