c++primer 第五章 语句

5.1 简单语句。

• 一个;构成空语句，建议使用空语句时要有注释
• 花括号{}构成一个块，一个块就是一个作用域。

    if(int ival=get_val()){
        cout << "xixi" << endl;
    }
    // 错误，ival的作用域只有上面的if语句块中
    if(ival==1){
        cout << "error" << endl;
    }

5.2 语句的作用域

无啥特别知识点

5.3 条件语句

5.3.1 if语句

• else和距离他最近的，尚未匹配的if匹配

5.3.2 switch语句

• switch中的case标签，只能是整型表达式。
• case匹配成功后，会顺序执行所有的case分支，除非程序显式中断这一过程。
  一般不要省略case语句中的break，如果没写break最好加上一段注释去说明。
• 当没有匹配的case语句时，程序会执行default语句。可以省略default语句。
  建议：即使在默认情况下不做任何工作，也建议把default语句加上，后面加上空语句，表示已经考虑到默认情况。
• 在switch内部定义变量不是安全的行为
  • 若一个带有初值的变量位于作用域之外，在另一处该变量位于作用域内，从前处跳转到后处时非法行为。
  • 跨过变量初始化语句直接跳转到该变量作用域的另一位置是不被允许的(ival 和file_name)

 switch (condition){
        case 2:
        int jval;//没有初始化,正确，在定义域内可使用。
        int ival = 0;//错误，控制流绕过一个显式初始化的变量
        string file_name;//错误，控制流绕过一个隐式初始化的变量
        kval = 0; //无法通过编译，即使在后面另外的case中给出声明
        break;
        case 1:
        jval = get_val();
        cout << jval << endl;
        if(file_name.empty()){//file_name在作用内，但是声明是不通过编译的}
        int kval;
        break;

5.4 迭代语句

5.4.1 while语句

略

5.4.2 传统for语句

• for语句头定义的变量只有for循环体内可见
  同理，if语句内定义的变量只有if块内可见

5.4.3 范围for语句

for(declaration:expression)
	statement

• expression表示一个序列，必须能够返回begin和end的迭代器成员。
• declaration最简单的操作是成auto类型。要执行写操作的话，需要声明成引用类型。

5.4.4 do while语句

do块中声明的变量的作用域和while括号中的变量作用域不一样

do{
        int val = get_val();
    } while (val)//错误，val的作用域仅在花括号内

5.5 跳转语句

5.5.1 break语句

略

5.5.2 continue语句

略

5.5.3 goto语句

goto label

label：statement

• 不要轻易使用goto，它会使程序既难理解又难修改。
• 标签显示符label独立于变量名和其他显示符名

//合法声明
int end = 0;
end:
   cout << "this is end " << end<<endl;

• goto语句和控制权转向的带标签语句必须在同一个函数内。
• 和switch相同，goto也不能把程序的控制权从变量的作用域之外转移到变量的作用域之内

goto end;
int idx =0;//错误，绕过了一个显式初始化的变量
int idj;//正确
end:
	idx=1;
	idj=1;

5.6 try语句块和异常处理

• 异常是指运行时的反常行为，这些行为超过了函数正常功能的范围，典型异常有意外的输入、失去数据库连接等。
• c++中异常处理包括
  • throw表达式： 表示遇到无法处理的问题
  • try 语句块
    try一般和catch配合使用。try块中代码抛出的异常会被某个catch字句处理。catch子句也被称为异常处理代码
  • 一套异常类
    用于在throw表达式和catch子句间传递异常的具体信息

5.6.1 throw表达式

if(bad_condition){
	throw runtime_error("message about this bad condition")
}

• runtime_error是标准异常库中的一种，定义在stdexcept头文件中

5.6.2 try语句块

try{
	program-statements//正常逻辑代码
}catch(exception-declaration){
	handler-statements
}catch(exception-declaration){
	handler-statements
}//...

• catch一旦完成，程序跳转到最后一个catch子句后那条语句执行
• 寻找匹配的catch字句
  • 抛出异常后，首先会在抛出该异常的函数搜寻catch字句，若没有寻找到；就会在调用该函数的函数中搜寻catch字句，以此类推，直到找到匹配的catch字句。
  • 若到最后都没找到匹配的catch字句，程序转到名为terminate的标准库函数。该函数行为和系统有关，一般情况下，执行该函数将导致程序的非正常退出。

5.6.3 标准异常

• 异常类定义在四个头文件中
  • exception 头文件定义了最通用的异常类exception 。只用于报告异常的发生，不提供任意额外信息。
  • stdexcept头文件定义异常类如下表
    
  • new头文件定义了bad_alloc的异常类型
  • type_info定义了bad_cast异常类型
• 只能用默认初始化的方式初始化exception 、bad_alloc、bad_cast对象，不能提供初始值
• stdexcept头文件中异常类型要使用string对象或c风格字符串初始化
• 异常类只定义了一个what()的成员函数，该函数没有任何参数，返回一个const char*，提供一些关于异常的文本信息。
• 若异常类有初始值，what返回该初始值字符串；对于没有初始值的异常类型，返回内容由编译器决定。