C/C++中的switch/case陷阱

2024-08-31 04:58
文章标签 c++ 陷阱 case switch

本文主要是介绍C/C++中的switch/case陷阱,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

出处:http://www.cnblogs.com/dolphin0520/

浅析C/C++中的switch/case陷阱

  先看下面一段代码:

  文件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编译器下编译的结果为:

  提示跳过了变量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;}

  编译的结果为:

  只是进行了警告,因为在定义变量的时候没有进行初始化,也就是说程序怎么执行都不会跳过变量的初始化过程,不会说由于跳过了该过程而造成无法预料的错误或程序崩溃现象。因此只是进行了警告。

  再看下面这段代码:

 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;
}
复制代码

  编译结果:

 

   报的错误意思是在该标签下不能定义变量。为什么呢?原因很简单,在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;
}
复制代码

  编译结果:

  没有报错,注意这里没有报crosses initialization的错误,这点C和C++有点不同。如果以C++方式编译,肯定会报crosses initialization的错误,这也更加说明C++在语法方面要求比C更加严格。

  该程序运行的结果:

  输出32,是一个随机值。因为b并没有进行初始化,所以输出的是随机值。

  其他补充:

请教switch内部的变量定义问题?

#include <iostream>
using namespace std;int main()
{bool b = false;switch (false){case true:int ival;break;case false:ival = 3;cout << ival << endl;}return 0;
}

这段c++代码应该直接执行switch语句中的 case false,这样的话ival应该没有被定义,为什么程序能被编译通过,并顺利执行?(编译器gcc4.7)
这边的ival应该是局部变量,应该运行时在栈上分配空间啊,那么应该不存在在编译时已经分配好空间的问题了吧?
Answer:

ival是局部变量,作用域是所在的大括号内。

所以第二个case仍然属于该变量的作用域。

另外,变量的定义不是语句,所以无需执行也是全范围有效。这里第一个case的语句虽然没有被执行,但它的变量定义仍然有效。

能跳过的是变量初始化而不是变量定义。变量无论在何处定义都有效,switch只能跳过变量初始化,不能跳过变量定义。


问主理解有误,变量的声明和定义的作用是在静态域,与是否执行到没有关系。定义变量并不存在执行动作。

为什么这个容易误解呢,因为c语言switch语句设计的比较悲剧,每个case部分是没有独立的作用域的。要理解它,一种方法是把它当作goto来看。 比如这个程序就是:



作者:知乎用户
链接:https://www.zhihu.com/question/23051685/answer/23463267
来源:知乎
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。



这篇关于C/C++中的switch/case陷阱的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1122952

相关文章

C++如何通过Qt反射机制实现数据类序列化

《C++如何通过Qt反射机制实现数据类序列化》在C++工程中经常需要使用数据类,并对数据类进行存储、打印、调试等操作,所以本文就来聊聊C++如何通过Qt反射机制实现数据类序列化吧... 目录设计预期设计思路代码实现使用方法在 C++ 工程中经常需要使用数据类,并对数据类进行存储、打印、调试等操作。由于数据类

Java中Switch Case多个条件处理方法举例

《Java中SwitchCase多个条件处理方法举例》Java中switch语句用于根据变量值执行不同代码块,适用于多个条件的处理,:本文主要介绍Java中SwitchCase多个条件处理的相... 目录前言基本语法处理多个条件示例1:合并相同代码的多个case示例2:通过字符串合并多个case进阶用法使用

Linux下如何使用C++获取硬件信息

《Linux下如何使用C++获取硬件信息》这篇文章主要为大家详细介绍了如何使用C++实现获取CPU,主板,磁盘,BIOS信息等硬件信息,文中的示例代码讲解详细,感兴趣的小伙伴可以了解下... 目录方法获取CPU信息:读取"/proc/cpuinfo"文件获取磁盘信息:读取"/proc/diskstats"文

C++使用printf语句实现进制转换的示例代码

《C++使用printf语句实现进制转换的示例代码》在C语言中,printf函数可以直接实现部分进制转换功能,通过格式说明符(formatspecifier)快速输出不同进制的数值,下面给大家分享C+... 目录一、printf 原生支持的进制转换1. 十进制、八进制、十六进制转换2. 显示进制前缀3. 指

C++中初始化二维数组的几种常见方法

《C++中初始化二维数组的几种常见方法》本文详细介绍了在C++中初始化二维数组的不同方式,包括静态初始化、循环、全部为零、部分初始化、std::array和std::vector,以及std::vec... 目录1. 静态初始化2. 使用循环初始化3. 全部初始化为零4. 部分初始化5. 使用 std::a

C++ vector的常见用法超详细讲解

《C++vector的常见用法超详细讲解》:本文主要介绍C++vector的常见用法,包括C++中vector容器的定义、初始化方法、访问元素、常用函数及其时间复杂度,通过代码介绍的非常详细,... 目录1、vector的定义2、vector常用初始化方法1、使编程用花括号直接赋值2、使用圆括号赋值3、ve

如何高效移除C++关联容器中的元素

《如何高效移除C++关联容器中的元素》关联容器和顺序容器有着很大不同,关联容器中的元素是按照关键字来保存和访问的,而顺序容器中的元素是按它们在容器中的位置来顺序保存和访问的,本文介绍了如何高效移除C+... 目录一、简介二、移除给定位置的元素三、移除与特定键值等价的元素四、移除满足特android定条件的元

Python获取C++中返回的char*字段的两种思路

《Python获取C++中返回的char*字段的两种思路》有时候需要获取C++函数中返回来的不定长的char*字符串,本文小编为大家找到了两种解决问题的思路,感兴趣的小伙伴可以跟随小编一起学习一下... 有时候需要获取C++函数中返回来的不定长的char*字符串,目前我找到两种解决问题的思路,具体实现如下:

C++ Sort函数使用场景分析

《C++Sort函数使用场景分析》sort函数是algorithm库下的一个函数,sort函数是不稳定的,即大小相同的元素在排序后相对顺序可能发生改变,如果某些场景需要保持相同元素间的相对顺序,可使... 目录C++ Sort函数详解一、sort函数调用的两种方式二、sort函数使用场景三、sort函数排序

Java调用C++动态库超详细步骤讲解(附源码)

《Java调用C++动态库超详细步骤讲解(附源码)》C语言因其高效和接近硬件的特性,时常会被用在性能要求较高或者需要直接操作硬件的场合,:本文主要介绍Java调用C++动态库的相关资料,文中通过代... 目录一、直接调用C++库第一步:动态库生成(vs2017+qt5.12.10)第二步:Java调用C++