昨天發現了一本叫做CSAPP的書，終于找到了關于switch問題的解答。
這是一段C代碼：


用GCC匯編出來的代碼如下：

CODE:

    .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)"在上面的匯編代碼中我們可以很清楚的看到switch部分被分配了一個連續的查找表，switch case中不連續的部分也被添加上了相應的條目，switch表的大小不是根據case語句的多少，而是case的最大值的最小值之間的間距。在選擇相應 的分支時，會先有一個cmp子句，如果大于查找表的最大值，則跳轉到default子句。而其他所有的case語句的耗時都回事O(1)。

相比于if-else結構，switch的效率絕對是要高很多的，但是switch使用查找表的方式決定了case的條件必須是一個連續的常量。而if-else則可以靈活的多。