来自csdn的一个问题：问题如下：
〉〉〉〉〉〉〉〉〉〉〉〉〉〉〉〉
请问那位高手能指明为什么while语句下的switch语句会执行和当i等于2时case 1:printf("i=%d,",i);语句又不执行了。希望能
将代码中while和switch将明白些
main()
{
int i,j;
printf(".....\n");
for(i=0;i<3;i++)
{
j=3;
switch(i)
{
case 0:
while(j)
{
case 1:printf("i=%d,",i);
case 2:printf("j=%d,",j);j--;
default:;
}
}printf(".....\n");
}
}
〈〈〈〈〈〈〈〈〈〈〈〈〈〈〈〈〈〈〈〈
下面是俺的回答，记录一下自己第一次使用汇编分析C代码：）
先看这个程序的输出：
//-----switch1.c----
int main()
{
int i=2;
switch(i)
{
case 0:
printf("case 0");
case 1:
printf("case 1");
case 2:
printf("case 2");
case 3:
printf("case 3");
default:
printf("case default");
}
getchar();
}
case 2case 3 case default
说明了没有break的时候，如果switch找到了匹配的项，它将一直继续下去直到break或者switch终止。
于是我们回头看源程序：
//----------switch.c---------
main()
{
int i,j;
printf(".....\n");
for(i=0;i<3;i++)
{
j=3;
switch(i)
{
case 0:
while(j)
{
case 1:printf("i=%d,",i);
case 2:printf("j=%d,",j);j--;
default:;
}
}printf(".....\n");
}
getchar();
}
这里的for循环中i没有变化，所以i的值分别为 0 ，1，2
当i=0时进入for循环内部后：
case 0 匹配，所以后面的所有case都将被执行（因为没有break）
于是进入while循环：j进行递减直到=0。于是输出：i=0,j=3,i=0,j=2,i=0,j=1,.......
下一次循环i=1,此时case 0 不能匹配,但是进入while循环中的 case 1匹配了,于是输出类似于上面:
i=1,j=3,i=1,j=2,i=1,j=1,.......
i=2时,先匹配到的是case 2.于是输出为j=3,i=2,j=2,i=2,j=1,.......
为了更清楚地明白while在switch中的作用,我们精简了一下代码
//-switch.c---
main()
{
int i=1,j=3;
switch(i)
{
case 0:
while(j)
{
case 1:printf("i=%d,",i);
case 2:printf("j=%d,",j);j--;
default:;
}
}
}
下面是汇编码:
.file "switch.c"
gcc2_compiled.:
___gnu_compiled_c:
.def ___main; .scl 2; .type 32; .endef
.text
LC0:
.ascii "i=%d,\0"
LC1:
.ascii "j=%d,\0"
.align 4
.globl _main
.def _main; .scl 2; .type 32; .endef
_main:
pushl %ebp
movl %esp,%ebp
subl $24,%esp
call ___main
movl $1,-4(%ebp) ;这两句为i和j赋值 i为-4(%ebp) j为-8(%ebp)
movl $3,-8(%ebp)
movl -4(%ebp),%eax ;i到eax
cmpl $1,%eax ;i和1比较
je L8 ;相等跳到L8
cmpl $1,%eax ;i和1比较
jg L12 ;大于跳到L12
testl %eax,%eax ;执行testl %eax,%eax可以用于判断eax中是否为零
je L4 ;是零跳到L4
jmp L10 ;while 循环
.p2align 4,,7
L12: ;case 2
cmpl $2,%eax
je L9
jmp L10
.p2align 4,,7
L4:
nop
.p2align 4,,7
L5:
cmpl $0,-8(%ebp) ;while 条件
jne L8
jmp L3
.p2align 4,,7
L7:
L8: ;L8为case 1 中执行的语句
addl $-8,%esp
movl -4(%ebp),%eax
pushl %eax
pushl $LC0
call _printf
addl $16,%esp
L9: ;L9为case 2中执行的语句
addl $-8,%esp
movl -8(%ebp),%eax
pushl %eax
pushl $LC1
call _printf
addl $16,%esp
decl -8(%ebp)
L10:
jmp L5
.p2align 4,,7
L6:
L3:
L2:
leave
ret
.def _printf; .scl 2; .type 32; .endef
看完这个因该可以明白它的调用顺序了吧。具体编译器如何运作的，还需要高人来解释：）
