a[i]==i[a]==*(i+a)==*(a+i)

在C语言中，如果我们要访问一个数组的某个下标对应的元素,通常的写法是a[i]。但从汇编的角度看，写成i[a]一点问题都没有。

下面通过代码给出证明。

o foo1.c

 int main(int argc, char *argv[])

 {

     unsigned int a[] = {, , };

     unsigned int n = sizeof (a) / sizeof (int);

     unsigned int sum = ;

     for (unsigned int i = ; i < n; i++)

         sum += a[i];

     return sum;

 }

o foo2.c

 int main(int argc, char *argv[])

 {

     unsigned int a[] = {, , };

     unsigned int n = sizeof (a) / sizeof (int);

     unsigned int sum = ;

     for (unsigned int i = ; i < n; i++)

         sum += i[a];

     return sum;

 }

o foo3.c

 int main(int argc, char *argv[])

 {

     unsigned int a[] = {, , };

     unsigned int n = sizeof (a) / sizeof (int);

     unsigned int sum = ;

     for (unsigned int i = ; i < n; i++)

         sum += *(i+a);

     return sum;

 }

o 编译和运行

 $ gcc -g -Wall -std=gnu99 -m32 -o foo1 foo1.c

 $ gcc -g -Wall -std=gnu99 -m32 -o foo2 foo2.c

 $ gcc -g -Wall -std=gnu99 -m32 -o foo3 foo3.c

 $ ./foo1; echo $?

 $ ./foo2; echo $?

 $ ./foo3; echo $?

o 反汇编后diff

1) foo1.gdb.out

 (gdb) disas /m main

 Dump of assembler code for function main:

        {

    0x080483ed <+>:     push   ebp

    0x080483ee <+>:     mov    ebp,esp

    0x080483f0 <+>:     sub    esp,0x20

                unsigned int a[] = {, , };

    0x080483f3 <+>:     mov    DWORD PTR [ebp-0xc],0x1

    0x080483fa <+>:    mov    DWORD PTR [ebp-0x8],0x2

    0x08048401 <+>:    mov    DWORD PTR [ebp-0x4],0x3

                unsigned int n = sizeof (a) / sizeof (int);

    0x08048408 <+>:    mov    DWORD PTR [ebp-0x10],0x3

                unsigned int sum = ;

    0x0804840f <+>:    mov    DWORD PTR [ebp-0x18],0x0

                for (unsigned int i = ; i < n; i++)

    0x08048416 <+>:    mov    DWORD PTR [ebp-0x14],0x0

    0x0804841d <+>:    jmp    0x804842d <main+>

    0x08048429 <+>:    add    DWORD PTR [ebp-0x14],0x1

    0x0804842d <+>:    mov    eax,DWORD PTR [ebp-0x14]

    0x08048430 <+>:    cmp    eax,DWORD PTR [ebp-0x10]

    0x08048433 <+>:    jb     0x804841f <main+>

                        sum += a[i];

    0x0804841f <+>:    mov    eax,DWORD PTR [ebp-0x14]

    0x08048422 <+>:    mov    eax,DWORD PTR [ebp+eax*-0xc]

    0x08048426 <+>:    add    DWORD PTR [ebp-0x18],eax

               return sum;

    0x08048435 <+>:    mov    eax,DWORD PTR [ebp-0x18]

       }

    0x08048438 <+>:    leave

    0x08048439 <+>:    ret

 End of assembler dump.

2) foo2.gdb.out

 (gdb) disas /m main

 Dump of assembler code for function main:

        {

    0x080483ed <+>:     push   ebp

    0x080483ee <+>:     mov    ebp,esp

    0x080483f0 <+>:     sub    esp,0x20

                unsigned int a[] = {, , };

    0x080483f3 <+>:     mov    DWORD PTR [ebp-0xc],0x1

    0x080483fa <+>:    mov    DWORD PTR [ebp-0x8],0x2

    0x08048401 <+>:    mov    DWORD PTR [ebp-0x4],0x3

                unsigned int n = sizeof (a) / sizeof (int);

    0x08048408 <+>:    mov    DWORD PTR [ebp-0x10],0x3

                unsigned int sum = ;

    0x0804840f <+>:    mov    DWORD PTR [ebp-0x18],0x0

                for (unsigned int i = ; i < n; i++)

    0x08048416 <+>:    mov    DWORD PTR [ebp-0x14],0x0

    0x0804841d <+>:    jmp    0x804842d <main+>

    0x08048429 <+>:    add    DWORD PTR [ebp-0x14],0x1

    0x0804842d <+>:    mov    eax,DWORD PTR [ebp-0x14]

    0x08048430 <+>:    cmp    eax,DWORD PTR [ebp-0x10]

    0x08048433 <+>:    jb     0x804841f <main+>

                        sum += i[a];

    0x0804841f <+>:    mov    eax,DWORD PTR [ebp-0x14]

    0x08048422 <+>:    mov    eax,DWORD PTR [ebp+eax*-0xc]

    0x08048426 <+>:    add    DWORD PTR [ebp-0x18],eax

               return sum;

    0x08048435 <+>:    mov    eax,DWORD PTR [ebp-0x18]

       }

    0x08048438 <+>:    leave

    0x08048439 <+>:    ret

 End of assembler dump.

3) foo3.gdb.out

 (gdb) disas /m main

 Dump of assembler code for function main:

        {

    0x080483ed <+>:     push   ebp

    0x080483ee <+>:     mov    ebp,esp

    0x080483f0 <+>:     sub    esp,0x20

                unsigned int a[] = {, , };

    0x080483f3 <+>:     mov    DWORD PTR [ebp-0xc],0x1

    0x080483fa <+>:    mov    DWORD PTR [ebp-0x8],0x2

    0x08048401 <+>:    mov    DWORD PTR [ebp-0x4],0x3

                unsigned int n = sizeof (a) / sizeof (int);

    0x08048408 <+>:    mov    DWORD PTR [ebp-0x10],0x3

                unsigned int sum = ;

    0x0804840f <+>:    mov    DWORD PTR [ebp-0x18],0x0

                for (unsigned int i = ; i < n; i++)

    0x08048416 <+>:    mov    DWORD PTR [ebp-0x14],0x0

    0x0804841d <+>:    jmp    0x8048437 <main+>

    0x08048433 <+>:    add    DWORD PTR [ebp-0x14],0x1

    0x08048437 <+>:    mov    eax,DWORD PTR [ebp-0x14]

    0x0804843a <+>:    cmp    eax,DWORD PTR [ebp-0x10]

    0x0804843d <+>:    jb     0x804841f <main+>

                        sum += *(i+a);

    0x0804841f <+>:    mov    eax,DWORD PTR [ebp-0x14]

    0x08048422 <+>:    lea    edx,[eax*+0x0]

    0x08048429 <+>:    lea    eax,[ebp-0xc]

    0x0804842c <+>:    add    eax,edx

    0x0804842e <+>:    mov    eax,DWORD PTR [eax]

    0x08048430 <+>:    add    DWORD PTR [ebp-0x18],eax

               return sum;

    0x0804843f <+>:    mov    eax,DWORD PTR [ebp-0x18]

       }

    0x08048442 <+>:    leave

    0x08048443 <+>:    ret

 End of assembler dump.

4) a[i] v.s. i[a]

5) i[a] v.s. *(i+a)

结论： a[i]==i[a]==*(i+a)==*(a+i)

分析：在编译器的眼里，数组名a不过是一段连续内存的首地址。获取某个元素a[i]不过是在a对应的首地址上做偏移，找到对应的内存地址后从中取出其中的内容即可。

PS： 我在面试别人的过程中，如果求职的工程师说他懂汇编，我一般会问这样的问题，"能否在C代码中使用i[a]去访问数组a的第i个元素？"。无论对方说能与不能，我都很乐意进一步问"为什么能/不能?"从而挖掘出其对汇编及编译过程的理解深度。通常，优秀的程序员能回答得富有计算机思维（即使他判定为不能，比如"我觉得不能，编译器应该不支持这种怪诞的用法..."），而那些机械的程序员一般会选择放弃思考为什么能/不能。

随机推荐

vmware获取主机、数据中心等对象ManagedObjectReference
在vmware的api中提供以下列表中的对象,称作ManagedObjectReference,包括虚拟机信息.主机.数据中心等等一些信息,我们可以通过vcenter的web api得到. 下面我们来 ...
windows下gitbook与开源中国码云关联,以及如何gitbook转pdf
gitbook能够很方便的和github关联,实现团队协作的效果.可是github私有库需要付费.但是开源中国码云能够建私有库,于是考虑将gitbook关联码云,折腾了一番后,能够可视化的关联,后面就 ...
开发.NET Core NuGet包并实现CI/CD
实际开发中我们需要对一些公共类库进行开发,并基于Jenkins进行CI/CD(CI:持续集成,CD:持续部署),其他项目通过NuGet引用.上文讲述了如何搭建本地NuGet服务器并发布NuGet包,这 ...
[Cocos2d-x for WP8学习笔记] 一些基本概念,建立自己的启动界面
流程控制:场景是相对不变的游戏元素集合,游戏在场景间的切换就是流程控制. 场景.层和精灵:它们是不同层次的游戏元素.通常,场景包含层,层包含精灵,场景与层是其他游戏元素的容器,而精灵是展示给玩家的图形 ...
django LookUp
Custom Lookups 一个简单LookUp例子 Author.objects.filter(name__ne='Jack') # Translate SQL "author" ...
linux 修改主机名【root@主机名 ~】
centos 7修改方式: hostnamectl set-hostname hostuser reboot 或者直接vi /etc/hostname 添加内容: hostuser 检查修改效果 ...
Linux多网口绑定配合华为5700 eth-trunk技术，提高网络性能
在实际的环境中,服务器通过网口绑定技术,可以很容易的实现网口冗余,负载均衡,从而达到高可用的目的,而且可以提升网络的性能,大幅的提升网络I/O. 一般情况下,Linux的多网口绑定使用的是内核中的“b ...
TCP协议中URG和PSH位
URG(紧急位):设置为1时,首部中的紧急指针有效:为0时,紧急指针没有意义. PSH(推位):当设置为1时,要求把数据尽快的交给应用层,不做处理通常的数据中都会带有PSH但URG只在紧急数据的时设 ...
ArchLinux下十八岁的感悟
这次不写技术文章,谈谈自己.现在我们之间没有博主和来访者的关系,我们就是简单聊聊天.你若愿意,就听我说一说. 或者你可以按下crtl+w退出该页面,博主有其他的技术文章.但我希望你能看看最好可以给我留 ...
打扮IDEA更换主题
原文链接:https://blog.csdn.net/github_39577257/article/details/80629750 当我们安装一个新的IDEA工具时,第一次进入时会提示我们选择一个 ...

a[i]==i[a]==(i+a)==(a+i)

随机推荐

热门专题