bm-site

Appearance

对象一定分配在堆中吗 ​

在Java中，传统上我们认为对象是在堆上分配内存的。但是，随着JVM优化技术的发展，尤其是在引入即时编译器（JIT）和逃逸分析（Escape Analysis）技术后，并非所有对象都一定在堆上分配内存。这有以下一些细节：

  1. 逃逸分析（Escape Analysis）：
    • 逃逸分析是一种优化技术，用于确定对象的作用范围。如果JVM通过逃逸分析确定一个对象不会被方法之外的代码访问（即对象不会逃逸出方法），那么JVM可能会选择在栈上分配该对象。
  2. 栈上分配（Stack Allocation）：
    • 如果对象可以被确定为不会逃逸出其方法，则JVM可以在栈上为该对象分配内存。这减少了垃圾回收的压力，因为栈上的内存在方法执行结束后自动释放。
  3. 标量替换（Scalar Replacement）：
    • 如果对象的所有属性都可以独立处理，JVM可能会对对象进行标量替换，将对象分解为其基本类型的成员变量进行优化。这种情况下，原始的对象概念被消除，更谈不上在堆或栈上分配。
  4. 寄存器分配（Registers Allocation）：
    • 在某些情况下，JIT编译器甚至可能将某些对象的内容存放在CPU寄存器中，以提高访问速度。

示例：下面是一个简单的代码示例说明逃逸分析可能的影响。

java
public class EscapeAnalysisExample {  

    public void foo() {  
        Point p = new Point(1, 2);  
        System.out.println(p.x + p.y);  
    }  

    class Point {  
        int x;  
        int y;  

        Point(int x, int y) {  
            this.x = x;  
            this.y = y;  
        }  
    }  
}

在上面的代码中，如果JVM通过逃逸分析确定Point p对象只在foo方法中使用，它可能会选择在栈上分配p。由于Point对象里就两个int类型的变量，所以JVM还会对Point对象做标量替换，把整个对象就当做int类型的两个变量x和y放在局部变量表里，这样性能更高，都不会在栈上分配对象。当然如果Point对象有成员变量是对象的则不会被标量替换。

总结来说，现代JVM有能力优化对象的内存分配策略，并不局限于堆内存，一些短暂的、不会逃逸出方法的对象可以被分配在栈上甚至被消除。

更新: 2024-08-09 14:43:11
原文: https://www.yuque.com/tulingzhouyu/db22bv/io1zauwmbp314aa4

短视频 ​

不会还有人认为 对象一定分配在堆中吧，大家好，我是百里，今天我们就来好好聊聊这个问题：对象一定分配在堆中吗？

首先，按照Java的传统观念，对象通常是在堆内存中分配的。这是因为堆内存是JVM中用于存储对象实例和数组的地方。

但是，如果我们深入挖掘，就会发现这不是唯一的答案。Java其实提供了一些优化手段，可以在特定情况下将对象分配在其他地方。

比如，通过逃逸分析，JVM可以确定某些对象不会逃逸出方法作用域，这时就可以在栈上分配对象，从而避免了在堆上分配。

另外，还有一种情况是标量替换，JVM可能会将对象分解为基本类型，并在栈上或寄存器中分配这些基本类型的值。

所以，虽然大多数情况下对象是在堆上分配的，但在某些特定情况下，对象也可以在栈上或者通过标量替换来分配。

更新: 2024-05-23 20:37:09
原文: https://www.yuque.com/tulingzhouyu/db22bv/hoorfp34vbuknihz