C++ Primer 第五章 语句

5.1 空语句

使用空语句时应该加上注释，从而令读这段代码的知道该语句是有意省略的。

5.2 悬垂 else

C++ 规定else与离它最近的尚未匹配的if匹配。

5.3 switch 语句

switch语句中的case标签必须是整型常量表达式或者可以转换成整型常量表达式的类型。

如果某个case标签匹配成功，将从该标签处开始往后顺序执行所有case分支，除非程序显示的中断了这一过程，否则直到switch结尾处才停下来。在大多说情况下，在下一个case标签之前应该有一条break语句用于中断。

标签不应该孤零零的出现，它后面必须跟上一条语句或者另一个case标签。如果switch结构以一个空的default标签作为结束，则该default标签后面必须跟上一条空语句或一个空块。

不允许跨过变量的初始化语句直接跳转到该变量作用域内的另一个位置。

5.4 范围 for

在范围for语句中，预存了end()的值，一旦程序中添加（删除）元素，end函数的值就可能变得无效，所以不能通过范围for语句增加或删除容器的元素。

5.5 do while 语句

应该在括号包围起来的条件后面用一个分号表示语句结束。

5.6 跳转语句

5.6.1 break 语句

break语句负责终止离它最近的while、do while、for或switch语句，并从这些语句之后的第一条语句开始继续执行。

break语句只能出现在迭代语句或者switch语句内部（包括嵌套在此类循环里的语句或块的内部）。break语句的作用范围仅限于最近的循环或者switch。

5.6.2 continue 语句

continue语句终止最近的循环中的当前迭代并立即开始下一次迭代。

continue语句只能出现在for、while和do while的循环的内部，或者嵌套在此类循环里的语句或块的内部。

和break语句类似的是，出现在嵌套循环中的continue语句也仅作用于离它最近的循环。

和break语句不同的是，只有当switch语句嵌套在迭代语句内部时，才能在switch里使用continue。

5.6.3 goto 语句

goto语句的作用是从goto语句无条件跳转到同一函数内的另一条语句。

goto语句和控制权转向的那条带标签的语句必须位于同一函数之内。

5.7 异常处理

5.7.1 throw 表达式

异常检测部分使用throw表达式来表示它遇到了无法处理的问题。我们说throw引发了异常，例如：

throw runtime_error("Data must refer to same ISBN");

5.7.2 try 语句块

异常处理部分使用try语句处理异常。try语句块以关键字try开始，并以一个或多个catch字句结束。try语句块中代码抛出的异常通常会被某个catch字句处理，这些字句称为异常处理代码。

try{
    program-statements
} catch (exception-declaration) {
    handler-statements
} catch (exception-declaration) {
    handler-statements
}

跟在try块之后的是一个或多个catch子句。catch子句包括三个部分：

• 关键字catch
• 括号内一个（可能未命名的）对象的声明（称作异常声明）
• 一个块

try语句块中 program-statements 组成程序的正常逻辑，像其他任何块一样，可以有包含声明在内的任意 C++ 语句。

try语句块内声明的变量在块外部无法访问，特别是在catch子句内也无法访问。

函数在寻找代码处理的过程中退出，如果最终没能找到任何匹配的catch子句，程序转到名为terminate的标准库函数。该函数的行为与系统有关，一般情况下，执行该函数将导致程序非正常退出。

5.7.3 标准异常

C++ 标准库定义了一组类，用于报告标准库函数遇到的问题，这些异常类也可以在用户别写的程序中使用，它们分别定义在4个头文件中：

5.7.4 exception 头文件

定义了最通用的异常类exception。它只报告异常的发生，不提供任何异常信息

5.7.5 stdexcept 头文件定义了几种常见的异常类

5.7.6 new 头文件

定义了bad_alloc异常类型

5.7.7 type_info 头文件

定义了bad_cast异常类型

标准异常库只定义了几种运算，包括创建和拷贝异常类型的对象，以及为异常类型的对象赋值。我们只能以默认初始化的方式初始化exception、bad_alloc和bad_cast对象，不允许为这些对象提供初始值。

其他异常类型的行为则刚好相反。应该使用string对象或者 C 风格字符串初始化这些类型的对象，但是不允许使用默认初始化的方式。当创建此类对象时，必须提供初始值，该初始值含有错误相关的信息。

异常类型只定义了一个名为what的成员函数，该函数没有任何参数，返回值是一个指向 C 风格字符串的const char *。该字符串的目的是提供关于异常的一些文本信息。

what函数返回的 C 风格字符串的内容与异常对象的类型有关。如果异常类型只有一个字符串初始值，则what返回该字符串。对于其他无初始值的异常类型来说，what返回的内容由编译器决定。