在我初学i++与++i这两个自增运算符时,只是很浅显的认为i++就是在运算完成之后进行i=i+1的操作,++i就是在运算进行之前i=i+1的操作,并没有深入探究他们中间的具体区别,直到最近了解到了,就在这里讲一讲。
首先来看一段代码
int i = 0;
printf("%d %d %d", i++, --i, i++);
这段代码很简单,但是如果要直接说出来答案呢?也许会思考一会,回答出0 0 0这个答案。但是实际上呢?
很令人惊奇,答案并不是我们想象的那样是三个0,具体为什么,我们来看这段代码的反汇编代码
int i = 0;
010A56C4 mov dword ptr [i],0
printf("%d %d %d", i++, --i, i++);
010A56CB mov eax,dword ptr [i]
010A56CE mov dword ptr [ebp-0E0h],eax
010A56D4 mov ecx,dword ptr [i]
010A56D7 add ecx,1
010A56DA mov dword ptr [i],ecx
010A56DD mov edx,dword ptr [i]
010A56E0 sub edx,1
010A56E3 mov dword ptr [i],edx
010A56E6 mov eax,dword ptr [i]
010A56E9 mov dword ptr [ebp-0E4h],eax
010A56EF mov ecx,dword ptr [i]
010A56F2 add ecx,1
010A56F5 mov dword ptr [i],ecx
010A56F8 mov edx,dword ptr [ebp-0E0h]
010A56FE push edx
010A56FF mov eax,dword ptr [i]
010A5702 push eax
010A5703 mov ecx,dword ptr [ebp-0E4h]
010A5709 push ecx
很长的一串代码,但是我们可以从这里了解到为什么答案会是0 1 0。
代码分析:
int i = 0;
010A56C4 mov dword ptr [i],0
这句话意思为,创建一个名为i的变量,将0放入i里面。
printf("%d %d %d", i++, --i, i++);
010A56CB mov eax,dword ptr [i]
010A56CE mov dword ptr [ebp-0E0h],eax
010A56D4 mov ecx,dword ptr [i]
010A56D7 add ecx,1
010A56DA mov dword ptr [i],ecx
010A56DD mov edx,dword ptr [i]
010A56E0 sub edx,1
010A56E3 mov dword ptr [i],edx
010A56E6 mov eax,dword ptr [i]
010A56E9 mov dword ptr [ebp-0E4h],eax
010A56EF mov ecx,dword ptr [i]
010A56F2 add ecx,1
010A56F5 mov dword ptr [i],ecx
下面逐行讲起
2.将i的值(0)传入名为eax的寄存器中
3.创建一个临时量。他的地址为ebp-0E0h,将eax中的值(0)传入这个临时量。
4.将i的值(0)传入名为ecx的寄存器中
5.将ecx中的值(0)+1
6.将ecx中的值(1)重新传回i中
以上就是最右边i++的过程
7.将i的值(1)传入名为edx的寄存器中
8.将edx中的值(1)-1
9.将edx的值(0)重新传回i中
以上就是–i的过程
10.将i的值(0)传入名为eax的寄存器中
11.创建一个临时量。他的地址为ebp-0E4h,将eax中的值(0)传入这个临时量
12.将i的值(0)传入ecx的寄存器中
13.将ecx中的值(0)+1
14.将ecx中的值(1)重新传回i中
以上就是最左边i++的过程
从这个过程我们可以看到,进行i++的时候,会先将i本身的值传入一个临时量当中,然后再进行+1的操作。
但是进行–i的时候,不会将i本身的值传入一个临时量,而是传入寄存器中进行-1的操作,再将值传回i。
此时ebp-0E0h中储存的值是0,ebp-0E4h中储存的值也是0,而 i 的值是1。
接下来我们看压参的过程
010A56F8 mov edx,dword ptr [ebp-0E0h]
010A56FE push edx
010A56FF mov eax,dword ptr [i]
010A5702 push eax
010A5703 mov ecx,dword ptr [ebp-0E4h]
010A5709 push ecx
1.将ebp-0E0h的值传入名为edx的寄存器中
2.将edx中的值压入栈
3.将i的值传入名为eax的寄存器中
4.将eax中的值压入栈
5.将ebp-0E4h的值传入名为ecx的寄存器中
6.将ecx中的值压入栈
最后就是调用printf函数打印出这三个值,答案就是0 1 0
可以看出,函数压参并不是读到一个参数就往栈里压一个参数,而是在进行遍历之后,才统一将参数压入栈内。
那么我们也看到了,执行i++操作时,会生成一个临时量来保存自加之前的值,但是执行–i的时候却是直接执行了自减操作。这是因为CPU中寄存器的数量有限,不可能无限制的去使用,因此会生成临时量来保存值。
总结:通过后置++(–)的操作,会保存在临时量中进行压参,而通过前置++(–)的操作,会直接进行运算,直到最后全部参数读取并计算完毕,再进行压参。
从汇编代码中我们可以直到,使用前置++(–),比后置++(–)的效率更高,因为前置并不会产生临时量然后再进行计算,而后置会先将值保存在临时量中,再对原值进行操作。因此使用++i的效率会更高。