switch case 和 if else效率的比较

昨天发现了一本叫做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