通过汇编码理解switch语句的原理

最新推荐文章于 2022-02-25 18:19:43 发布
最新推荐文章于 2022-02-25 18:19:43 发布
阅读量175 收藏 1
点赞数
分类专栏： 基础 文章标签： GCC C# C C++ PHP
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/tianlihu/article/details/83402415
版权
[url=http://blog.chinaunix.net/u3/94078/showart.php?id=1888387]http://blog.chinaunix.net/u3/94078/showart.php?id=1888387[/url]

当需要多次比较时，switch语句的效率比if-else if…… else语句（以后简称muti－if语句）的效率要高，这是我一直以来的理解，但是昨晚讨论到一个问题，这种“高效率”如何实现？今天早上又看到[url=http://blog.csdn.net/xiaohan13916830/archive/2004/08/17/76724.aspx]《更深入一点理解switch语句及c/c++对const的处理》[/url]和[url=http://msdn.microsoft.com/zh-cn/dd310341.aspx]《透过IL看C# (1)switch语句》[/url]这两篇文章，前者（以后为［1］）没有提及case语句中大跨度离散值的原理，后者（以后为［2］）使用的离散数据量又比较小，而且该文侧重于用C＃，由于不是很了解，不发表评论。

于是就写了一组程序，用gcc编译成汇编码（使用－S开关）， 通过解读这些汇编码可以很好的帮助理解switch的原理。文中所涉及的环境为如下,Linux version 2.6.27.5-117.fc10.i686 (mockbuild@x86-7.fedora.phx.redhat.com) (gcc version 4.3.2 20081105 (Red Hat 4.3.2-7) (GCC) ) #1 SMP Tue Nov 18 12:19:59 EST 2008(取自/proc/version)

1.三个数据的比较

程序1.1 

int main(void)
{
    int i, n;
    switch(i){
        case 101:
            n = 1;
            break;
        case 102:
            n = 2;
            break;
        case 103:
            n = 3;
            break;
        default:
            n = 0;
            break;
    }
}

得到的汇编码1.1： 

   .file    "switch.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    $24, %esp
    movl    -12(%ebp), %eax
    movl    %eax, -28(%ebp)
    cmpl    $102, -28(%ebp)
    je    .L4
    cmpl    $103, -28(%ebp)
    je    .L5
    cmpl    $101, -28(%ebp)
    jne    .L8
.L3:
    movl    $1, -8(%ebp)
    jmp    .L9
.L4:
    movl    $2, -8(%ebp)
    jmp    .L9
.L5:
    movl    $3, -8(%ebp)
    jmp    .L9
.L8:
    movl    $0, -8(%ebp)
.L9:
    addl    $24, %esp
    popl    %ecx
    popl    %ebp
    leal    -4(%ecx), %esp
    ret
    .size    main, .-main
    .ident    "GCC: (GNU) 4.3.2 20081105 (Red Hat 4.3.2-7)"
    .section    .note.GNU-stack,"",@progbits

这里可以看出switch语句的效率与muti－if语句的效率基本相当，［1］中认为：“gcc确实是把一些case语句转成了李维所说的那种方式进行处理,我们看见了代码中存在有众多的 cmpl 与 jmp 语句这就相当于你使用if..else..一样”，但是如果观察仔细的话，可以看出和if语句还是有区别的（事实上我第一次也没有细看，但是在后面的实验中，我发现了switch语句的优化，回过头来才发现）， switch[color=red]对比较的顺序自动进行了优化， cmpl的顺序与case的顺序是不同的[/color]， 先比较的是102， 然后才是103， 101，这就相当于我们人为的对muti-if语句进行了优先顺序调整，尽管结果可能与我们预期的不同，但是编译器的确这样做了， 这点在后面的实验中尤为明显。

在［2］中，作者说C＃在3个数据，且数据连续的情况下造表，在数据取值比较不连续的情况下也是造表然后填空数据，在数据取值非常不连续的情况下和muti-if比较相同，而且顺序与case的顺序相同。该文中对switch（int）的探讨也至此完结。

2.五个数据的比较

程序2.1 五个连续数据 

int main(void)
{
    int i, n;
    switch(i){
        case 101:
            n = 1;
            break;
        case 102:
            n = 2;
            break;
        case 103:
            n = 3;
            break;
        case 104:
            n = 4;
            break;
        case 105:
            n = 5;
            break;
        default:
            n = 0;
            break;
    }
}

汇编码2.1： 

.file    "switch.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    $24, %esp
    movl    -12(%ebp), %eax
    subl    $101, %eax
    movl    %eax, -28(%ebp)
    cmpl    $4, -28(%ebp)
    ja    .L2
    movl    -28(%ebp), %edx
    movl    .L8(,%edx,4), %eax
    jmp    *%eax
    .section    .rodata
    .align 4
    .align 4
.L8:
    .long    .L3
    .long    .L4
    .long    .L5
    .long    .L6
    .long    .L7
    .text
.L3:
    movl    $1, -8(%ebp)
    jmp    .L11
.L4:
    movl    $2, -8(%ebp)
    jmp    .L11
.L5:
    movl    $3, -8(%ebp)
    jmp    .L11
.L6:
    movl    $4, -8(%ebp)
    jmp    .L11
.L7:
    movl    $5, -8(%ebp)
    jmp    .L11
.L2:
    movl    $0, -8(%ebp)
.L11:
    addl    $24, %esp
    popl    %ecx
    popl    %ebp
    leal    -4(%ecx), %esp
    ret
    .size    main, .-main
    .ident    "GCC: (GNU) 4.3.2 20081105 (Red Hat 4.3.2-7)"

可以看出，这里switch确实如同［1］［2］中所述，编译器自造了.L8指向的表，表中标明了case跳转的入口，由此可见，这种情况下swithc效率确实比muti-if高，[color=red]通过减去最小值所的的偏移来在表中寻找跳转入口[/color]。

程序2.2 五个比较连续数据 

int main(void)
{
    int i, n;
    switch(i){
        case 101:
            n = 1;
            break;
        case 103:
            n = 2;
            break;
        case 106:
            n = 3;
            break;
        case 109:
            n = 4;
            break;
        case 112:
            n = 5;
            break;
        default:
            n = 0;
            break;
    }
}

汇编码2.2： 

   .file    "switch.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    $24, %esp
    movl    -12(%ebp), %eax
    subl    $101, %eax
    movl    %eax, -28(%ebp)
    cmpl    $11, -28(%ebp)
    ja    .L2
    movl    -28(%ebp), %edx
    movl    .L8(,%edx,4), %eax
    jmp    *%eax
    .section    .rodata
    .align 4
    .align 4
.L8:
    .long    .L3
    .long    .L2
    .long    .L4
    .long    .L2
    .long    .L2
    .long    .L5
    .long    .L2
    .long    .L2
    .long    .L6
    .long    .L2
    .long    .L2
    .long    .L7
    .text
.L3:
    movl    $1, -8(%ebp)
    jmp    .L11
.L4:
    movl    $2, -8(%ebp)
    jmp    .L11
.L5:
    movl    $3, -8(%ebp)
    jmp    .L11
.L6:
    movl    $4, -8(%ebp)
    jmp    .L11
.L7:
    movl    $5, -8(%ebp)
    jmp    .L11
.L2:
    movl    $0, -8(%ebp)
.L11:
    addl    $24, %esp
    popl    %ecx
    popl    %ebp
    leal    -4(%ecx), %esp
    ret
    .size    main, .-main
    .ident    "GCC: (GNU) 4.3.2 20081105 (Red Hat 4.3.2-7)"
    .section    .note.GNU-stack,"",@progbits

这里也如［2］所述， 建立了一个长度为case中最大值与最小值之差的表， case中未定义的则转到defalut来执行。

程序2.3 五个非常不连续的数据 

int main(void)
{
    int i, n;
    switch(i){
        case 100:
            n = 1;
            break;
        case 120:
            n = 2;
            break;
        case 140:
            n = 3;
            break;
        case 160:
            n = 4;
            break;
        case 180:
            n = 5;
            break;
        default:
            n = 0;
            break;
    }
}

汇编码2.3： 

    .file    "switch.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    $24, %esp
    movl    -12(%ebp), %eax
    movl    %eax, -28(%ebp)
    cmpl    $140, -28(%ebp)
    je    .L5
    cmpl    $140, -28(%ebp)
    jg    .L8
    cmpl    $100, -28(%ebp)
    je    .L3
    cmpl    $120, -28(%ebp)
    je    .L4
    jmp    .L2
.L8:
    cmpl    $160, -28(%ebp)
    je    .L6
    cmpl    $180, -28(%ebp)
    je    .L7
    jmp    .L2
.L3:
    movl    $1, -8(%ebp)
    jmp    .L11
.L4:
    movl    $2, -8(%ebp)
    jmp    .L11
.L5:
    movl    $3, -8(%ebp)
    jmp    .L11
.L6:
    movl    $4, -8(%ebp)
    jmp    .L11
.L7:
    movl    $5, -8(%ebp)
    jmp    .L11
.L2:
    movl    $0, -8(%ebp)
.L11:
    addl    $24, %esp
    popl    %ecx
    popl    %ebp
    leal    -4(%ecx), %esp
    ret
    .size    main, .-main
    .ident    "GCC: (GNU) 4.3.2 20081105 (Red Hat 4.3.2-7)"
    .section    .note.GNU-stack,"",@progbits

可以看到，这里switch又进行了二分法查找的优化， 而且当我[color=green]把程序中“100， 120， 140， 160， 180”的顺序任意打乱后，得到的汇编码都是相同的[/color]，[color=red]由此可以推测，switch在编译时会先获得case中的各值，然后进行排序，最后生成使用二分法优化的查找比较模式。

另外，我推测使用造表法和二分查表法的应该是依据case中最大值与最小值之差与case语句个数来取舍的。[/color]

3 更多数据的比较

这里我又进行了更多条case语句的比较，程序源代码和生成的汇编码可以通过附件下载，通过比较，结论与我上面的推测基本相同。

4 为什么C/C++中switch语句需要的是整型或字符型

我们知道，在C中，字符型实际上也是作为整型来存储的，所以这个问题实际上是指switch语句只支持整型数据。由上面的讨论可以知道char的结果与整型应该是相同的
tianlihu
关注
专栏目录
switch语句和汇编代码表示
hui_chen123的博客
02-07 2781
switch语句和汇编代码表示欢迎使用Markdown编辑器新的改变功能快捷键合理的创建标题，有助于目录的生成如何改变文本的样式插入链接与图片如何插入一段漂亮的代码片生成一个适合你的列表创建一个表格设定内容居中、居左、居右SmartyPants创建一个自定义列表如何创建一个注脚注释也是必不可少的KaTeX数学公式新的甘特图功能，丰富你的文章UML 图表FLowchart流程图导出与导入导出导入 欢...
switch的汇编分析
qq_31125257的博客
10-21 1808
1：当if语句的判断条件是（表达式==常量）的形式，switch语句相当于if语句的简写，且效率更快（比较的次数减少） 如果不加break，那么在找到对应常量的语句执行后，会把后面其他的常量下的语句全部执行直到default的break处； 2、switch反汇编代码的变化 //案例1---添加case后面的值，一个一个的增加，观察反汇编代码的变化 ...
switch汇编跳转表
Lotuscc的博客
10-27 3515
switch语句跳转表 switch语句可以根据一个整数索引值进行多重分支。 GCC根据case的数量和case值的稀疏程度来翻译switch语句，当case情况比较多(例如4个以上)，并且值的范围跨度比较小时，就会使用跳转表。 跳转表是一个数组，表项i是一个代码段的地址，这个代码段实现当开关索引值等于i时程序应该采取的动作。 void switcher(long a, long b, long ...
C语言switch语句的汇编语言实现
p8x8x8的专栏
06-08 6881
C语言switch语句的汇编语言实现 一个好的编译器一定是一群顶尖软件高手们集体长时间创作的作品了,所以研究研究编译器的编译过程就是在向这些高手们学习。说到底，编译器也是一个很好的老师了，它可以为我们揭开高级语言实现的奥秘，为那些永不满足于表面现象的程序员深入掌握一门语言提供一个很好的途径。 来看看微软的cl 8.0编译器是怎样来编译C语言的switch语句的,照例写一个测试的例子：i
编译原理：理解与实践switch语句
"该资源是关于‘编译原理’课程的内容，主要讲解了编译器设计的基础知识，包括switch语句的翻译，并提及了TOGAF 9.1 Foundation的相关试题。课程由姜守旭博士教授，强调理论与实践相结合，旨在深化学生对程序设计...
ARM嵌入式：深入理解switch语句与5.1 ARM汇编伪操作详解
总结来说，switch语句在嵌入式ARM程序设计中扮演着关键角色，而理解并熟练运用ARM汇编语言的伪操作和宏指令，以及熟悉开发环境的工作方式，是成功进行这类项目的基础。同时，混合编程能力对于优化代码性能和提高开发...
51单片机switch语句的控制P0口8位LED的点亮状态源代码
03-15
在51单片机编程中，`switch`语句是一种常用的条件控制结构，它用于根据不同的情况执行不同的代码块。...通过分析源代码和理解`switch`结构的工作原理，我们可以学习到单片机控制和C语言编程的基础知识。
switch语句的汇编
最新发布
11-30
很抱歉，您提供的是反汇编和C语言代码，无法直接给出switch语句的汇编。但是，我们可以根据您提供的信息，简单介绍一下switch语句的汇编实现方式。 在汇编语言中，switch语句通常被转换为一系列的条件分支指令，...
32位汇编语言学习笔记(12)--分析switch语句的汇编代码
swordmanwk的专栏
11-30 4630
 switch语句可以根据整数索引值进行多重分支选择，代码的可读性好，switch语句的汇编实现是通过跳转表来完成的，这样执行效率也很高。 int switch_eg(int x) {    int result = x;      switch (x) {      case 100:          resu
C语言汇编代码分析(switch case）
feijinxinsi的博客
04-24 1850
我们来看下面的例子：   switch-case控制语句维护着一张跳转表（jump table），并不是用一系列的if-else来实现，在上例中就是标签L7标 记的地方。   跳转表方式大体思想是这样的：   用case语句中的最大值减去最小值求出一个区间，这里是106-100 = 6，即 0到6共有7个可能的case，此时编译器 为该switch-case控制分配长度为7的数组...
汇编控制类指令—— switch之跳转表
万里晴空
07-13 6003
本文链接：http://blog.163.com/strive_only/blog/static/89380168201110394925474/     switch语句可以根据一个整数索引值进行多重分支。处理具有多种可能结果的测试时，这种语句特别有用。它们不仅提高了代码的可读性，而且使用跳转表这个数据结构使用实现更加高效。跳转表是一个数组，表项i是一个代码段的地址，这个代码段实现
汇编如何实现查表（C语言中的case - switch分支功能）
chipsea_mltsum的博客
11-09 2508
        汇编如何实现C语言中的分支功能？ C语言：         switch (R_DSP_BUFFER1)         {                case lable1:statement;                case lable1:statement;                case lable1:statement;         ...
switch与跳转表
hixiaogui的博客
04-02 9862
一、switch跳转语句类似于多路开关，可以根据给定条件匹配到符合条件的语句。正式点来说，是根据一个整形数值来进行多路分支的一种结构。在处理具有多种可能结果时，这种语句非常有效。它不仅挺高了C代码的可读性和逻辑性，而且使用跳转表来作为底层实现基础。switch基本框架为int condition switch(condition) { case condition1:statements ; ...
Unity 【Content Size Fitter】- 聊天气泡自动适配Text文本框大小
当代野生程序猿
02-25 5882
通常在展示人物对话的时候文本的长度是不定的，因此会需要动态的调整对话内容文本框的背景图片的大小，这里以如下这种气泡框的对话为例： 实现该需求涉及到的内容包括Content Size Fitter组件的使用、2D Sprite工具包的使用。 Content Size Fitter组件用于Text文本框，如图所示，我们将Horzontal Fit设为Preferred Size，当我们调整Text文本框中的内容时，其大小会自动进行调整。 注意Rect Transform中Pivot轴心点的设置
新唐NUC972 Linux（一）：USB烧写linux出厂镜像
小破孩的博客
02-20 3425
USB烧写出厂镜像 文章目录USB烧写出厂镜像前言一、硬件连接二、安装驱动三、烧写linux程序四、运行程序 前言 今天开始进军linux，学了那么久单片机，也摸得七七八八，至少点个灯还是会的。本人之所以买酷客的linux开发板主要是便宜，资料也算齐全，虽然没有原子那么好，不过也够了，找那么多借口，其实就是qiong。今天先从USB烧录官方提供的linux相关程序到芯片开始吧。 一、硬件连接 1、连接电源线 2、RS232转USB，需要安装CH340驱动，用于在电脑串口超级终端中查看调试信息。 3、U
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值