c++primer 第5章 语句

第5章 语句

• 条件执行语句、循环语句（重复执行相同代码）、转跳语句（中断当前控制流）
• 顺序执行；控制流语句

5.1 简单语句

• 表达式语句：表达式末尾加上分号，作用 执行表达式并丢弃求值结果
• 空语句：只有一个单独的分号，使用时应加上注释，分号别漏写也别多写
• 复合语句/块：用花括号括起来的语句和声明的序列，（复合语句）一个块就是一个作用域；语法上需要一条语句，但是逻辑上需要多条语句

5.2 语句作用域

• 定义在控制结构当中的变量只在相应语句的内部可见，一旦语句结束变量就超出其作用范围。

5.3 条件语句

5.3.1 if语句

• 判断一个指令的条件是否为真，根据判断结果决定是否执行另外一条语句
• if else if (condition) statement else statement2
• 嵌套if语句，在if或者else后加上花括号可以避免代码混乱不清
• 悬垂else else与离它最近尚未匹配的if匹配
• 使用花括号控制执行路径

5.3.2 switch语句

-在若干固定选项中做出选择，先对switch括号里的表达式求值，若与某个case标签匹配成功，程序从该标签之后的第一条语句开始执行，直到到达了switch的结尾或者是遇到一条break语句为止。

• switch内部的控制流
• 漏写break容易引发缺陷
• default 没有一个case标签能匹配上时，将执行default标签后的语句；标签后面必须跟语句或者标签
• switch内部的变量定义
  • 在某处一个带有初值的变量位于作用域之外，在另一处该变量位于作用域之内，则从前一处跳转到后一处的行为是非法的

5.4 迭代语句

5.4.1 while

• 只要括号内的条件为真就重复的执行循环体（当不清楚需迭代次数时；或者需要在循环结束后访问循环控制变量用while比较合适）

5.4.2 for

• for(init-statement;condition;expression){statement}
• 传统for循环的执行流程
  • init-statement初始化一个值，值随着循环的进行而改变
  • condition为真则执行一次 statement，然后执行 expression
  • condition为假则一次也不执行
• for 语句头中的多重定义
  • init-statement可以定义多个对象，但只能有一条声明语句因此变量基础类型必须相同
• 省略for循环语句头的某些部分
  • 可以省略init-statement;condition;expression中的任何一个或者全部

5.4.3 范围for循环

• for(declaration:expression)
  • declaration 确保类型相容最简单的方法是使用auto类型说明符
  • 倘若需要修改expression的值，需要将declaration声明成引用

5.4.4 do while语句

• 先执行循环体后检查条件，至少执行一次循环

5.5 转跳语句

• 中断当前的执行过程：break/continue/goto/return

5.5.1 break语句

• 负责终止离它最近的while/do while/for/switch语句

5.5.2 continue语句

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

5.5.3 goto语句

• 从goto语句无条件转跳到同一函数内的另一条语句
• goto label;... label:..;label是用于标识一条语句的标识符，可以和其他实体同名
• 带标签语句label:一个标识符带一个冒号

5.6 try语句块和异常处理

• 异常：存在于运行时的反常行为
• throw：表示遇到了无法处理的问题，引发了异常
• try: try中抛出的异常会被某个catch（异常处理代码）子句处理
• 一套异常类：用于在throw和catch之间传递异常具体信息

5.6.1 throw表达式

• 包含关键字throw和紧随其后的一个表达式（表达式类型就是异常类型）

5.6.2 try语句块

• try块后跟一个或多个catch子句
• catch子句包括：
  • 关键字catch
  • 括号内对象的声明（异常声明）
  • 一个块
• 编写处理代码
  • err.what()返回C风格字符串
• 函数在寻找处理代码的过程中退出
  • 寻找处理代码的过程与函数调用链刚好相反（从内向外找），若最终没找到匹配的catch语句则程序转到名为terminate的标准库函数将导致程序非正常退出
• 清楚异常何时发生，发生后应如何确保对象有效、资源无泄漏、程序处于合理状态等

5.6.3 标准异常

• exception头文件：最通用异常类exception（只报告异常的发生，不提供任何额外信息
• stdexcept头文件：几种常用异常类
  • 定义了几种运算：创建或拷贝异常类型的对象；为异常类型对象赋值
• new头文件：bad_alloc异常类型
• type_info头文件：bad_cast
• 只能以默认初始化的方式初始化exception/bad_alloc/bad_cast,不允许为这些对象提供初始值，其他异常类型则相反当创建对象时必须提供初始值
• what函数返回C风格字符串内容与异常对象的类型有关，若异常类型有一个字符串初始值，则返回该字符串；无初始值异常类型返回内容由编译器决定

小结

• c++提供的语句大多会影响程序控制流程
• 迭代操作：while/for/do while
• 条件分支：if/switch
• continue：终止循环当前次迭代
• break：退出循环或switch语句
• goto：将控制权转移到标签语句
• try catch：try可能抛出异常语句块，catch处理代码抛出异常
• throw：将控制权转移到相关的catch子句
• return：终止函数执行

术语表

• 悬垂else else与前一个未匹配的if匹配在一起