先说switch case陷阱
#include<iostream> using namespace std; int main(int argc, char *argv[]) { int a =0; switch(a) { case 0: int b=1;cout<<b<<endl;break; case 1: cout<<b<<endl;break; default:break; } return 0; }
在gcc或者g++编译器下编译的结果为:
提示跳过了变量b的初始化过程。对于一个局部变量,它的作用域为它所定义的地方到它所在的语句块结束为止,那么对于变量b,它所在的最小语句块为switch{}块,那么也就说在case 0后面的部分,变量b都是可见的(注意在case 0之前变量b是无法访问的)。考虑这样一种情况,当a的值为1,那么程序就跳到case 1执行,此时b虽然可以访问,但是跳过了它的初始化过程。而如果在定义变量的同时进行了初始化,表明程序员希望初始化这个变量,但是此时跳过了该变量的初始化,就可能导致程序出现程序员无法意料的情况,因此编译器为了避免跳过这样的初始化而造成无法预料的结果,就对该语句进行报错。
如果将上述代码改为:
switch(a) { case 0: int b;b=0;cout<<b<<endl;break; case 1: cout<<b<<endl;break; default: break; }
不会报错,编译会有warming提示变量b没有初始化。
再看下面这段代码:
switch(a) { case 0: break; default: int b=1;cout<<b<<endl;break; }
这段代码没有报错。因为如果执行case 0,变量b没有进行初始化,但是由于在case 0部分b是不可见的,因此不会对程序造成任何影响,而如果执行default分支,则b会被初始化,因此程序没有报错。此程序不会跳过初始化,所以不会报错。
变量作用域:
作用域:是指变量作用的范围;
局部变量和静态局部变量,其作用域为定义处到所在代码块结束(一个{}表示一个代码块)。
全局变量:作用域为定义处到所在源文件结束,但是可以使用extern关键字来扩充其作用域(可以在其他源文件使用)。当使用static关键字修饰时,将其作用域限定在其所在源文件,这样和其他源文件中同名变量不会冲突。(用static修饰的全局变量成为静态全局变量)。
生存期
全局变量(包括静态全局变量),静态局部变量都是从定义处开始到程序结束。
普通局部变量,从定义处开始到该语句块结束。