[不同编译器]函数参数求值顺序分析(附前置与后置++执行效率)
函数参数的求值顺序
函数参数的求值顺序跟不同语言编译器的处理方式有关,有些语言编译器从左向右处理,而有时从右往左处理.
这种编译器求值顺序的不同会相应地产生不同的输出结果.
测试程序:
向测试方法method(int a,int b)中传入类似于++x,x+y,x++的实参.
e.g. method(++x,x+y),method(x+y,++x),...
根据输出结果的不同推出参数求值顺序.
一. C语言编译环境
---------------------------------------前绪分析---------------------------------------
前置++程序:
// 前置++程序
// author: jarg
// http://jarg.iteye.com/
#include "stdio.h"
void main()
{
int x = 2;
printf("%d",++x);
printf("%d",x);
}
该C语言程序反汇编后的指令:
10: int x = 2;
00401028 mov dword ptr [ebp-4],2
11: printf("%d",++x);
0040102F mov eax,dword ptr [ebp-4]
00401032 add eax,1
00401035 mov dword ptr [ebp-4],eax
00401038 mov ecx,dword ptr [ebp-4]
0040103B push ecx
0040103C push offset string "%d" (00422fa4)
00401041 call printf (00401090)
00401046 add esp,8
12: printf("%d",x);
00401049 mov edx,dword ptr [ebp-4]
0040104C push edx
0040104D push offset string "%d" (00422fa4)
00401052 call printf (00401090)
00401057 add esp,8
13: }
汇编指令解释:
第十条语句: int x = 2;对应汇编信息是mov dword ptr [ebp-4],2(dword ptr [ebp-4]是变量x的存储单元,语句是将值2放到变量x的存储单元中).
第十一条语句(总共8条指令):
0040102F~00401038: 变量x存储单元中的数值存入ax寄存器,然后ax寄存器中数值加1,再将ax寄存器中的数值存入变量x的存储单元,最后将变量x的存储单元中的数值存入cx寄存器中(总共4条指令)
0040103B: 将cx寄存器中的数值压入栈,作为函数的第二个实参值
0040103C: 将字符串"%d"压入栈,作为函数第一个实参值
00401041: 调用printf函数,执行函数过程
后置++程序:
// 后置++程序
// author: jarg
// http://jarg.iteye.com/
#include "stdio.h"
void main()
{
int x = 2;
printf("%d",x++);
printf("%d",x);
}
该C语言程序反汇编后的指令:
10: int x = 2;
00401028 mov dword ptr [ebp-4],2
11: printf("%d",x++);
0040102F mov eax,dword ptr [ebp-4]
00401032 mov dword ptr [ebp-8],eax
00401035 mov ecx,dword ptr [ebp-8]
00401038 push ecx
00401039 push offset string "%d" (00422fa4)
0040103E mov edx,dword ptr [ebp-4]
00401041 add edx,1
00401044 mov dword ptr [ebp-4],edx
00401047 call printf (00401090)
0040104C add esp,8
12: printf("%d",x);
0040104F mov eax,dword ptr [ebp-4]
00401052 push eax
00401053 push offset string "%d" (00422fa4)
00401058 call printf (00401090)
0040105D add esp,8
13: }
汇编指令解释:
第十条语句: int x = 2;对应汇编信息是mov dword ptr [ebp-4],2(dword ptr [ebp-4]是变量x的存储单元,语句是将值2放到变量x的存储单元中).
第十一条语句(总共10条指令):
0040102F~00401035: 变量x存储单元中的数值存入ax寄存器,再将ax寄存器中的数值存入变量x的存储单元的下一个存储单元,最后将变量x的存储单元的下一个存储单元中的数值存入cx寄存器中(总共3条指令)
00401038: 将cx寄存器中的数值压入栈,作为函数的第二个实参值
0040103C: 将字符串"%d"压入栈,作为函数第一个实参值
0040103E~00401044: 将变量x的存储单元中的数值存入dx寄存器,再将dx寄存器中的数值加1,最后最dx寄存器中的数值存入变量x的存储单元中
00401047: 调用printf函数,执行函数过程
结论(C语言编译环境下):
① 前置++与后置++程序不同就在于一个是++x,另一个是x++;
这一区别造成了执行过程相差2条指令.
由此可见,++x的执行效率高于x++.另外,前置++先执行x=x+1,然后将x值压入栈,做为函数实参值,调用函数;而后置++先将x值压入栈,做为函数实参值,然后执行x=x+1,再调用函数.
② 二个程序的printf函数的都是先处理第二个实参,压入栈;然后处理第一个实参,压入栈.
由此可见,C语言编译环境下函数求值顺序是从右向左.
栈是一个先入后出的数据结构,最后一个实参先入栈,则会最后一个出栈,这样在函数从左向右顺序依次读取形参的时候,做出栈操作给对应的形参赋值.
---------------------------------------前绪分析---------------------------------------
C语言测试程序:
// 函数参数的求值顺序
// author: jarg
// http://jarg.iteye.com/
#include "stdio.h"
void main()
{
int x = 2;
printf("%d\t%d\t%d",x,++x,x++);
printf("\t%d\n",x);
}
由前绪分析的结论②已经得出: C语言编译环境下函数求值顺序是从右向左
初始化时x = 2,求值顺序是从右向左,则输出为3 3 2 4
输出结果:
3 3 2 4
二. Java语言编译环境
Java语言测试程序:
// 函数参数的求值顺序
// author: jarg
// http://jarg.iteye.com/
public class Test
{
public static void main(String[] args)
{
int x = 2;
System.out.print("" + (x) + "\t" + (++x) + "\t" + (x++));
System.out.print("\t" + x);
}
}
初始化时x = 2,假设:
① 假设求值顺序是从左向右,则输出为2 3 3 4
② 假设求值顺序是从右向左,则输出为3 3 2 4
输出结果:
2 3 3 4
结论(Java语言编译环境下):
① 由此可知,Java编译环境对函数求值顺序是按照函数参数声明顺序(符合我们正常思维逻辑)的从左向右.
解释:
虚拟机为每一个调用的Java(非本地)方法建立一个新的栈帧.栈帧包括:为方法的局部变量所预留的空间,该方法的操作数栈,以及特定虚拟机实现需要的其他所有的信息.局部变量和操作数栈大小在编译时计算出来,并设置到class文件中去,然后虚拟机就能够了解到方法的栈帧需要多少内存.当虚拟机调用一个方法的时候,它为该方法创建恰当大小的栈帆,再将新的栈帧压入Java栈.
值得一提的Java编译器将Java方法的参数严格按照它们的声明顺序放到"局部变量数组"中.
处理方法时,虚拟机从所调用帧内的操作数栈中弹出实参值.虚拟机把对应的值存入局部变量数组参数对应位置,这种存入可以随机存入.
而C语言需要将后面参数得先入栈(先入后出结构),然后需要参数值的时候出栈供方法使用.
这种不同导致编译器求值顺序的差异.
② 同C语言编译环境下前置后置++执行过程类似,在Java编译环境函数从左向右顺序求值情况下,++x在执行完x=x+1操作后才做传值操作,这就导致后面的x++中的x值变成3;表达式的输出结果也是3,不难看出x++是先做传值操作再完成的x=x+1操作,这一情况体现在下一条语句:System.out.print("\t" + x);中,x输出的是4.
但是由于本人能力不够,不知道如何查看Java程序编译后类似于C语言汇编后的指令代码.因此,对于Java语言中二者执行效率孰高孰低不敢妄自定夺.姑且类推猜测前置++效率高于后置++.
本人才疏学浅,汇编描述以及Java编译环境结论①解释的地方有不准确的地方,望海涵.
