C语言茶余饭后之if...else PK switch...case（2） C语言, file

yuyang911220

这是编译后的部分汇编码：
    .file    "test.c"
    .text
.globl main
    .type    main, @function
main:
    leal    4(%esp), %ecx
    andl    $-16, %esp
    pushl    -4(%ecx)
    pushl    %ebp
    movl    %esp, %ebp
    pushl    %ecx
    subl    $16, %esp
    movl    $0, -8(%ebp)
    movl    $1, -12(%ebp)
    cmpl    $10, -12(%ebp)
    ja    .L2
    movl    -12(%ebp), %eax
    sall    $2, %eax
    movl    .L8(%eax), %eax
    jmp    *%eax
    .section    .rodata
    .align 4
    .align 4
.L8:
    .long    .L2
    .long    .L3
    .long    .L4
    .long    .L5
    .long    .L6
    .long    .L2
    .long    .L2
    .long    .L2
    .long    .L2
    .long    .L2
    .long    .L7
    .text
.L3:
    movl    $11, -8(%ebp)
    jmp    .L9
.L4:
    movl    $22, -8(%ebp)
    jmp    .L9
.L5:
    movl    $33, -8(%ebp)
    jmp    .L9
.L6:
    movl    $44, -8(%ebp)
    jmp    .L9
.L7:
    movl    $10, -8(%ebp)
.L2:
    movl    $88, -8(%ebp)
.L9:
    movl    $0, %eax
    addl    $16, %esp
    popl    %ecx
    popl    %ebp
    leal    -4(%ecx), %esp
    ret

可以打个比方，switch...case访问条件分支的方式像数组一样，是随机访问；而if...else是顺序访问。
他们各自的特点：
1、 总体上说，switch...case 效率要高于同样条件下的if...else，特别是当条件分支较多时。
2、switch...case占用较多的代码空间，因为它要生成跳表，特别是当case常量分布范围很大但实际有效值又比较少的情况，switch...case的空间利用率将变得很低。例如上面的代码，如果把case 10改成case 100，则会生成101个表项，而大部分表项是指向同一分支(default分支)。switch...case是在以空间换时间。
3、switch...case只能处理case为常量的情况，对非常量的情况是无能为力的。例如 if (a > 1 && a < 100)，是无法使用switch...case来处理的。

＊＊＊注意：如果把例子中的case分支减少一个，则生成的汇编码与if...else差别不大，此时不会生成跳表项，可见对于分支较少的情况，编译器会做特殊处理。