Java运行时对象内存分配时机及两种函数代码写法差异咨询

结论 #

两段代码的内存分配逻辑完全不一致，Java的对象（包括数组）内存分配只会在执行到对应的new语句时触发，不会在函数启动之初统一提前分配。

两段代码的执行差异 #

• 第一段代码：只有当test参数为true时，才会执行new int[1000000]的堆内存分配；如果test为false，函数直接返回，不会产生任何大内存分配的开销。
• 第二段代码：无论test参数是什么值，进入函数后首先就会完成数组的堆内存分配，之后才判断test的值。如果test为false直接返回，此时刚分配的数组没有任何引用可达，会被GC在下一次回收阶段清理，完全符合你担心的「刚分配就释放」的无意义性能损耗场景。

底层逻辑说明 #

JVM的字节码执行严格按代码顺序执行，数组创建对应的newarray字节码指令只有被调用时才会在堆上申请对应大小的内存。函数栈帧初始化时只会给局部变量引用myVar（存在栈帧的局部变量表中，仅占4/8字节的引用空间，开销可以忽略）预留存储位置，不会提前执行堆内存分配逻辑。

实践建议 #

如果你的业务场景中test为false的出现概率不低，优先使用第一段的写法，能避免不必要的内存分配和GC开销。

内容的提问来源于stack exchange，提问作者flyingplate