浅析C/C++中的switch/case陷阱
2015-10-02 21:57
369 查看
have the same error about switch when coding a github repository,
the source is at: http://www.cnblogs.com/dolphin0520/p/3729579.html
先看下面一段代码:
文件main.cpp
在gcc编译器下编译的结果为:
![](http://images.cnitblog.com/i/288799/201405/151050098438053.jpg)
提示跳过了变量b的初始化过程。对于一个局部变量,它的作用域为它所定义的地方到它所在的语句块结束为止,那么对于变量b,它所在的最小语句块为switch{}块,那么也就说在case 0后面的部分,变量b都是可见的(注意在case 0之前变量b是无法访问的)。考虑这样一种情况,当a的值为1,那么程序就跳到case 1执行,此时b虽然可以访问,但是跳过了它的初始化过程。而如果在定义变量的同时进行了初始化,表明程序员希望初始化这个变量,但是此时跳过了该变量的初始化,就可能导致程序出现程序员无法意料的情况,因此编译器为了避免跳过这样的初始化而造成无法预料的结果,就对该语句进行报错。
如果将上述代码改为:
编译的结果为:
![](http://images.cnitblog.com/i/288799/201405/161519593596894.jpg)
只是进行了警告,因为在定义变量的时候没有进行初始化,也就是说程序怎么执行都不会跳过变量的初始化过程,不会说由于跳过了该过程而造成无法预料的错误或程序崩溃现象。因此只是进行了警告。
再看下面这段代码:
这段代码没有报错。因为如果执行case 0,变量b没有进行初始化,但是由于在case 0部分b是不可见的,因此不会对程序造成任何影响,而如果执行default分支,则b会被初始化,因此程序没有报错。
归根到底,出现上述的crosses initialization和jump to case label错误的原因是由于变量的作用域问题,因此一个好的习惯就是在case子句下面加上大括号来限定变量的作用域。
不过要注意,一旦加上了大括号,在case 0后面便不能访问到变量b了。
注意,如果上述代码以C方式进行编译,编译结果则会有所不同:
main.c
编译结果:
![](http://images.cnitblog.com/i/288799/201405/161541020783561.jpg)
报的错误意思是在该标签下不能定义变量。为什么呢?原因很简单,在C语言中所有的变量定义都必须放到所在语句块的最前面。所以如果改成这样:
编译结果:
![](http://images.cnitblog.com/i/288799/201405/161545334849277.jpg)
没有报错,注意这里没有报crosses initialization的错误,这点C和C++有点不同。如果以C++方式编译,肯定会报crosses initialization的错误,这也更加说明C++在语法方面要求比C更加严格。
the source is at: http://www.cnblogs.com/dolphin0520/p/3729579.html
先看下面一段代码:
文件main.cpp
#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编译器下编译的结果为:
![](http://images.cnitblog.com/i/288799/201405/151050098438053.jpg)
提示跳过了变量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; }
编译的结果为:
![](http://images.cnitblog.com/i/288799/201405/161519593596894.jpg)
只是进行了警告,因为在定义变量的时候没有进行初始化,也就是说程序怎么执行都不会跳过变量的初始化过程,不会说由于跳过了该过程而造成无法预料的错误或程序崩溃现象。因此只是进行了警告。
再看下面这段代码:
switch(a) { case 0: break; default: int b=1;cout<<b<<endl;break; }
这段代码没有报错。因为如果执行case 0,变量b没有进行初始化,但是由于在case 0部分b是不可见的,因此不会对程序造成任何影响,而如果执行default分支,则b会被初始化,因此程序没有报错。
归根到底,出现上述的crosses initialization和jump to case label错误的原因是由于变量的作用域问题,因此一个好的习惯就是在case子句下面加上大括号来限定变量的作用域。
switch(a) { case 0: {int b=1;cout<<b<<endl;break;} case 1: break; default: break; }
不过要注意,一旦加上了大括号,在case 0后面便不能访问到变量b了。
注意,如果上述代码以C方式进行编译,编译结果则会有所不同:
main.c
#include <stdio.h> #include<stdlib.h> int main(int argc, char *argv[]) { int a =2; switch(a) { case 0: int b=17;printf("%d\n",b);break; case 1: break; default:printf("%d\n",b);break; } return 0; }
编译结果:
![](http://images.cnitblog.com/i/288799/201405/161541020783561.jpg)
报的错误意思是在该标签下不能定义变量。为什么呢?原因很简单,在C语言中所有的变量定义都必须放到所在语句块的最前面。所以如果改成这样:
#include <stdio.h> #include<stdlib.h> int main(int argc, char *argv[]) { int a =2; switch(a) { int b=17; case 0: printf("%d\n",b);break; case 1: break; default:printf("%d\n",b);break; } return 0; }
编译结果:
![](http://images.cnitblog.com/i/288799/201405/161545334849277.jpg)
没有报错,注意这里没有报crosses initialization的错误,这点C和C++有点不同。如果以C++方式编译,肯定会报crosses initialization的错误,这也更加说明C++在语法方面要求比C更加严格。
相关文章推荐
- effective c++ 以对象管理资源
- C++迭代器 iterator
- 项目26.2分段函数求值(switch语句)
- C++等级考试选择篇(二)
- 关于StdAfx.h和StdAfx.cpp
- 将链串s中的所有子串"abc"删除
- c prime plus第十四章练习题
- 什么是c++中的多态
- C语言的动态数组函数的sizeof、malloc和free
- hduacm 5480 Conturbatio前缀和
- 程序设计基石与实践之C语言指针和数组基础
- C++静态库与动态库
- Google C++ Style Guide的哲学
- Google C++ Style Guide的哲学
- C++学习笔记之类模板
- 一起talk C栗子吧(第五十二回:C语言实例--最小生成树四)
- C++学习笔记之运算符重载例子
- c++primer学习:顺序容器(1)
- 一起talk C栗子吧(第五十一回:C语言实例--最小生成树三)
- C++内联函数(内嵌函数,内置函数)