昨天發(fā)現(xiàn)了一本叫做CSAPP的書，終于找到了關(guān)于switch問(wèn)題的解答。
這是一段C代碼：
用GCC匯編出來(lái)的代碼如下：
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部分被分配了一個(gè)連續(xù)的查找表，switch case中不連續(xù)的部分也被添加上了相應(yīng)的條目，switch表的大小不是根據(jù)case語(yǔ)句的多少，而是case的最大值的最小值之間的間距。在選擇相應(yīng) 的分支時(shí)，會(huì)先有一個(gè)cmp子句，如果大于查找表的最大值，則跳轉(zhuǎn)到default子句。而其他所有的case語(yǔ)句的耗時(shí)都回事O(1)。
相比于if-else結(jié)構(gòu)，switch的效率絕對(duì)是要高很多的，但是switch使用查找表的方式?jīng)Q定了case的條件必須是一個(gè)連續(xù)的常量。而if-else則可以靈活的多。