对象一定分配在堆中吗？有没有了解逃逸分析技术？

╰半夏微凉° 2024-02-05 21:28 127阅读 0赞

对象是否分配在堆中这个问题需要具体看情况。在编程中，对象通常有两种主要的存储位置：堆和栈。

堆是由操作系统管理的内存区域，主要用于动态内存分配，例如在程序运行期间根据需要分配和释放。这通常发生在使用像C++或Java这样的语言中的`new`或`malloc`操作符时。而栈则是在程序执行期间分配的小块内存，用于存储局部变量、函数参数和返回地址等。

所以，不是所有的对象都会分配在堆中。这主要取决于编程语言和程序员的内存管理策略。然而，一般来说，大量的对象或者大型的对象更有可能被分配在堆上，因为堆是为动态内存分配设计的。

至于逃逸分析技术，这是一种在编译时或运行时用于优化内存使用和数据共享的技术。其主要目标是确定哪些对象在堆上短暂存在后就会离开堆，哪些对象会长时间停留在堆上。这种分析可以帮助优化内存使用，防止内存泄漏，并可能提高程序的性能。

逃逸分析通常通过分析源代码，找出可能被传递给函数、可能作为参数传递给其他函数、可能作为返回值返回或在循环中创建的对象来进行。如果一个对象被逃逸，那么它可能会在堆上停留更长时间，这可能需要更多的内存管理或垃圾收集。

这种分析技术在现代编程中非常重要，因为它可以优化内存使用并提高程序的性能。许多现代编程语言和工具（如Java的G1垃圾收集器，JavaScript的V8引擎等）都使用了这种技术。

「对象一定分配在堆中吗？」 不一定的，JVM通过「逃逸分析」，那些逃不出方法的对象会在栈上分配。

「什么是逃逸分析？」  
逃逸分析(Escape Analysis)，是一种可以有效减少Java 程序中同步负载和内存堆分配压力的跨函数全局数据流分析算法。通过逃逸分析，Java Hotspot编译器能够分析出一个新的对象的引用的使用范围，从而决定是否要将这个对象分配到堆上。  
逃逸分析是指分析指针动态范围的方法，它同编译器优化原理的指针分析和外形分析相关联。当变量（或者对象）在方法中分配后，其指针有可能被返回或者被全局引用，这样就会被其他方法或者线程所引用，这种现象称作指针（或者引用）的逃逸(Escape)。通俗点讲，如果一个对象的指针被多个方法或者线程引用时，那么我们就称这个对象的指针发生了逃逸。  
「逃逸分析的好处」  
栈上分配，可以降低垃圾收集器运行的频率。  
同步消除，如果发现某个对象只能从一个线程可访问，那么在这个对象上的操作可以不需要同步。  
标量替换，把对象分解成一个个基本类型，并且内存分配不再是分配在堆上，而是分配在栈 上。这样的好处有，一、减少内存使用，因为不用生成对象头。二、程序内存回收效率高，并且GC频率也会减少。