switch里面的case,似乎不是一种if判断,而是很复杂的东东

zserewr

例如:
case不合条件的时候，似乎就是一个if。
而一旦符合条件的case找到了，除非有break，否则一直执行，其他的case没有if的作用:

1. 
   
2. int main()
   
3. {
   
4.     int n=3;
   
5.     switch(n)
   
6.     {
   
7.         default:cout<<"default"<<endl;
   
8.         case 2:cout<<"2"<<endl;
   
9.         case 3:cout<<"3"<<endl;
   
10.         case 4:cout<<"4"<<endl;
    
11.         case 5:cout<<"5"<<endl;
    
12.     }
    
13.     return 0;
    
14. }
    

复制代码

输出是

1. 
   
2. 3,4,5
   

复制代码

而如果n的初始值是6，那么将打印:

1. 
   
2. default
   
3. 2
   
4. 3
   
5. 4
   
6. 5
   

复制代码

问题:
(1) default语句写在哪里，书上说不重要，因为default最后匹配。但是在我的例子里面n=6的时候，default语句确实先执行了。

如果程序先判断default下面的4个case都不符合，然后执行default，说明default还是最后执行的。那为什么之后再次进入了4个case对应的语句呢?

(2) 为什么case一旦符合，那么除非有break，否则其他的case似乎起不到if的作用。
换句话说，switch/case并不等同于if/else if/else这样的逻辑判断。

我知道if语句最后会生成类似jnz这样的跳转指令，那么switch/case这样奇怪的语义，会生成什么指令呢? 因为case不合条件的时候似乎是jnz，而符合条件就被忽略了，直到遇到break。

(3)switch/case这样的语义被编译成什么样的intel汇编指令?

lxyscls

switch case可以看做是symbol（标号）

case 1
case 2
case 3
default

等于
symbol_1
symbol_2
symbol_3
symbol_default

你不break，可不就是一路执行下去嘛{:2_170:}

hellioncu

没有break就往下执行，就是这么规定的
switch/case会被编译器优化，可能是查表，也可能是简单的if／else if，等等

zserewr

回复 2# hellioncu

那么，在下面n=6的情况下:

1. 
   
2. int main()
   
3. {
   
4.     int n=6;
   
5.     switch(n)
   
6.     {
   
7.         default:cout<<"default"<<endl;
   
8.         case 2:cout<<"2"<<endl;
   
9.         case 3:cout<<"3"<<endl;
   
10.         case 4:cout<<"4"<<endl;
    
11.         case 5:cout<<"5"<<endl;
    
12.     }
    
13.     return 0;
    
14. }
    

复制代码

岂不是: 进入switch以后，先case2，不符合，再case3，不合符，再case4，不合符，再case5，不符合，然后default
之后因为没有break，所以case2跳过判断直接执行，case3跳过判断直接执行，case4跳过判断直接执行，case5跳过判断直接执行。

换句话说，case 2其实被执行了两遍，第一遍是刚进入switch的时候，判断是否符合条件，第二遍是default执行完以后，不判断case的条件而直接执行cout<<"2"。
是这样的吗?

   

hellioncu

zserewr 发表于 2015-12-31 10:17
回复 2# hellioncu

那么，在下面n=6的情况下:岂不是: 进入switch以后，先case2，不符合，再case3，不合 ...

这个倒没研究过，我想应该是这样处理的：

1、找符合条件的case
2、找不到则选择default
3、往下执行，直到break或者switch结束

hanxin83

case 2其实被执行了两遍，第一遍是刚进入switch的时候

错! 你这样理解吧: case X和default都只是一个标号. 决定跳到哪里的是swtich(x).
不管是不是查表还是变成if else, 都会保证switch的语义的行为.

别想多了. 除非, 你可以看懂编译出来的汇编码.
唉, 前些天还见到一个天天研究机器码的题主, 骚年们别走弯路啊.

folklore

像这样啊：

if(n ==2){
xxxx;
goto end; // break;
}

if(n ==3){
xxxx;
goto end; // break;
}

end:
// the end of switch

zserewr

回复 5# hanxin83


    恩，把case/default理解为一个标号，很好的解释!

cokeboL

广大cer、cpper累不累，整天研究茴字的N种写法，好像真需要自己造编译器一样

zsszss0000

不如你看看汇编好了