第九章 语句

• 9.2 语句概述

9.2 语句概述

这里是C++语句的形式化定义：

• 语句：

声明 表达式_可选；
{ 语句列表_可选 }
try { 语句列表_可选 } 处理模块列表

case 常量表达式 : 语句
default : 语句
break;
continue;

return 表达式_可选;
goto 标识符;
标识符 : 语句

选择语句
循环语句

• 选择语句：

if( 条件 ) 语句
if( 条件 ) 语句 else 语句
switch( 条件 ） 语句

• 循环语句：

while( 条件 ) 语句
do 语句 while ( 条件 )
for( for初始化语句; 条件_可选; 表达式_可选) 语句
for( for初始化声明 : 表达式) 语句

• 语句列表：

语句 语句列表_可选

• 条件：

表达式
类型修饰符 声明符 = 表达式
类型修饰符 声明符{表达式}

• 处理模块列表：

处理模块 处理模块列表_可选

• 处理模块：

catch( 表达式声明 ){ 语句列表_可选 }

分号本身也是一条语句，即空语句（empty statement）。

“花括号”（{ }）括起来的一个可能为空的语句序列称为块（block）或者复合语句（compound statement）。块中声明的名字的作用域到块的末尾就结束了（6.3.4节）。

声明（declaration）是一条语句，没有赋值语句或过程调用的语句；赋值和函数调用不是语句，它们是表达式。

for初始化语句（for-init-statement）要么是声明，要么是一条表达式语句（expression-statement），它们都以分号结束。

for初始化声明（for-init-declaration）必须是一个未初始化变量的声明。

try语句块（try-block）的作用是处理异常，我们将在13.5节介绍它。