昨天发现了一本叫做CSAPP的(9php.com)书,终于找到了关于switch问题的(9php.com)解答。
这是一段C代码:
/* $begin switch-c */
int switch_eg(int x)
{
int result = x;
switch (x) {
case 100:
result *= 13;
break;
case 102:
result += 10;
/* Fall through */
case 103:
result += 11;
break;
case 104:
case 106:
result *= result;
break;
default:
result = 0;
}
return result;
}
/* $end switch-c */
用GCC汇编出来的(9php.com)代码如下:
.file "switch.c"
.version "01.01"
gcc2_compiled.:
.text
.align 4
.globl switch_eg
.type switch_eg,@function
switch_eg:
pushl %ebp
movl %esp,%ebp
movl 8(%ebp),%edx
leal -100(%edx),%eax
cmpl ,%eax
ja .L9
jmp *.L10(,%eax,4)
.p2align 4,,7
.section .rodata
.align 4
.align 4
.L10:
.long .L4
.long .L9
.long .L5
.long .L6
.long .L8
.long .L9
.long .L8
.text
.p2align 4,,7
.L4:
leal (%edx,%edx,2),%eax
leal (%edx,%eax,4),%edx
jmp .L3
.p2align 4,,7
.L5:
addl ,%edx
.L6:
addl ,%edx
jmp .L3
.p2align 4,,7
.L8:
imull %edx,%edx
jmp .L3
.p2align 4,,7
.L9:
xorl %edx,%edx
.L3:
movl %edx,%eax
movl %ebp,%esp
popl %ebp
ret
.Lfe1:
.size switch_eg,.Lfe1-switch_eg
.ident "GCC: (GNU) 2.95.3 20010315 (release)"
在
上面的(9php.com)汇编代码中我们可以很清楚的(9php.com)看到switch部分被分配了一个连续的(9php.com)查找
表,switch
case中不连续的(9php.com)部分也被添加上了相应的(9php.com)条目,switch表的(9php.com)大小不是根据case语
句的(9php.com)多少,而是case的(9php.com)最大值的(9php.com)最小值之间的(9php.com)间距。在选择相应
的(9php.com)分支时,会先有一个cmp子句,如果大于查找表的(9php.com)最大值,则跳转到default子句。而其他所有的
(9php.com)case语句的(9php.com)耗时都回事O(1)。
相比于if-else结构,switch的
(9php.com)效率绝对是要高很多的(9php.com),但是switch使用查找表的(9php.com)方式决定了case的
(9php.com)条件必须是一个连续的(9php.com)常量。而if-else则可以灵活的(9php.com)多。
转自 http://joehust.ycool.com/post.1692407.html