前几天,一个小伙伴告诉我,他在面试的时候被面试官问了这么一个问题:
在for循环中,到底应该用 i++ 还是 ++i ?
听到这,我感觉这面试官确实有点不按套路出牌了,放着好好的八股文不问,净整些幺蛾子的东西。在临走的时候,小伙伴问面试官这道题的答案是什么,面试官没有明确告诉答案,只是说让从程序执行的效率角度自己思考一下。
好吧,既然这个问题被抛了出来,那我们就见招拆招,也给以后面试的小伙伴们排一下坑。
思路
前面提到,这个搞事情的面试官说要从执行效率的角度思考,那我们就抛开语义上的区别,从运行结果以外的效率来找找线索。回想一下,我们在以前介绍CAS的文章中提到过,后置自增i++
和前置自增++i
都不是原子操作,那么实际在执行过程中是什么样的呢?下面,我们从字节码指令的角度,从底层进行一波分析。
i++ 执行过程
先写一段简单的代码,核心功能就只有赋值和自增操作:
下面用javap
对字节码文件进行反编译,看一下实际执行的字节码指令:
是不是有点难懂?没关系,接下来我们用图解的形式来直观地看看具体执行的过程,也帮大家解释一下晦涩的字节码指令是如何操作栈帧中的数据结构的,为了简洁起见,在图中只列出栈帧中比较重要的操作数栈和局部变量表。
上面的代码中除去打印语句,整体可以拆分成两步,我们先看第一步 int i=3
是如何执行的 。
上面两条操作数栈和局部变量表相关的字节码指令还是比较容易理解的,下面再看一下第二步int j=i++
的执行过程:
在上图中需要注意的是,iinc
能够直接更新局部变量表中的变量值,它不需要把数值压到操作数栈中就能够直接进行操作。在上面的过程中,抛去赋值等其他操作,i++
实际执行的字节码指令是:
如果把它翻译成我们能看懂的java代码,可以理解为:
也就是说在这个过程中,除了必须的自增操作以外,又引入了一个新的局部变量,接下来我们再看看++i
的执行过程。
++i 执行过程
我们对上面的代码做一点小小的改动,仅把i++
换成++i
,再来分析一下++i
的执行过程是怎样的。
同样,用javap
反编译字节码文件:
int i=3
对应前两行字节码指令,执行过程和前面i++
例子中完全相同,可以忽略不计,重点还是通过图解的方式看一下int j=++i
对应的字节码指令的执行过程:
抛去赋值操作,++i
实际执行过程只有一行字节码指令:
转换成能理解的java代码的话,++i
实际执行的就在局部变量中执行的:
这么看来,在使用++i
时确实比i++
少了一步操作,少引入了一个局部变量,如果在运算结果相同的场景下,使用++i
的话的确效率会比i++
高那么一点点。
那么回到开头的问题,两种自增方式应用在for循环中执行的时候,那种效率更高呢?刚才得出的结论仍然适用于for循环中吗,别急,让我们接着往下看。
for循环中的自增
下面准备两段包含了for循环的代码,分别使用i++
后置自增和++i
前置自增:
老规矩,还是直接反编译后的字节码文件,然后对比一下指令的执行过程:
到这里,有趣的现象出现了,两段程序执行的字节码指令部分居然一模一样。先不考虑为什么会有这种现象,我们还是通过图解来看一下字节码指令的执行过程:
可以清晰的看到,在进行自增时,都是直接执行的iinc
,在之前并没有执行iload
的过程,也就是说,两段代码执行的都是++i
。这一过程的验证其实还有更简单的方法,直接使用idea打开字节码文件,就可以看到最终for循环中使用的相同的前置自增方式。
那么,为什么会出现这种现象呢?归根结底,还是java编译器对于代码的优化,在两种自增方式中,如果没有赋值操作,那么都会被优化成一种方式,就像下面的两个方法的代码:
最终执行时的字节码指令都是:
可以看到,在上面的这种特定情况下,代码经过编译器的优化,保持了语义不变,并通过转换语法的形式提高了代码的运行效率。所以再回到我们开头的问题,就可以得出结论,在for循环中,通过jvm进行编译优化后,不论是i++
还是++i
,最终执行的方式都是++i
,因此执行效率是相同的。
所以,以后再碰到这种半吊子的面试官,和你谈for循环中i++
和++i
的效率问题,自信点,直接把答案甩在他的脸上,两种方式效率一样!