Java中有关虚拟机和内存的一些疑惑和解答（持续更新）

陈狗蛋69

已于 2024-07-15 00:19:41 修改

阅读量682

点赞数 20

文章标签： java 开发语言

于 2024-07-09 22:43:05 首次发布

本文链接：https://blog.csdn.net/weixin_66263311/article/details/140307853

版权

在学习Java的时候总会加上我自己的思考产生一些问题，以下是问题和解答的汇总，解答主要是由CSDN问答功能做出的解答，希望能帮到和我有着一样疑惑的人。

1、Java关于为实例化对象数组前内存问题

总结：

2、String类不可改变是否意味着串池被虚拟机单独管理

4、Stream流中有关distinct方法的疑惑

问题1: 理解Stream流中的distinct方法是如何使用HashSet来去重的

问题2: 了解HashSet的无序性如何影响Stream流的输出顺序

问题3: 探索Stream流是如何保证在使用distinct方法后输出的顺序与输入时一致的

总结：

1、Java关于为实例化对象数组前内存问题

Q：Java关于为实例化对象数组前内存问题
对象数组在创建时，也需要new。此时还没有实例化，我觉得对象数组是存储在堆内存中，而数组空间是连续的，因此相当于将创建数组的首地址返回。而因为类对象的特殊性，这里只有地址值，而没有内存。
实例化对象的内存需要单独new一个，然后在堆中开辟内存，返回地址值，将地址值给数组。

那既然没有开辟内存，又何必需要堆内存的地址呢？我又觉得应该是仅仅在栈中开辟了局部变量数组，实例化的时候才会在堆中开辟内存，将对象对应的地址赋值给数组。
在还没有实例化对象之前，new的对象数组存在哪里？

A：在Java中，当你创建一个对象数组时，实际上是在进行两个步骤的操作：首先分配数组本身的内存，然后为数组中的每个元素分配引用。

对象数组的创建：当你使用new关键字创建一个对象数组时，比如Object[] array = new Object[10];，Java首先会在堆内存中为这个数组分配一块连续的内存空间。这块内存空间存储的是数组的长度以及数组元素的引用。
数组元素的引用：初始时，这些引用都是null。这意味着虽然数组本身已经分配了内存，但是数组中的元素还没有指向任何对象实例。
对象实例化：当你使用array[0] = new Object();这样的语句来实例化数组中的第一个元素时，Java会在堆内存中为这个新对象分配内存，并返回这个对象的内存地址。然后，这个地址会被赋值给array[0]，使得array[0]不再为null，而是指向了堆内存中的一个具体对象。
栈内存的角色：栈内存在这个过程中主要用来存储局部变量，比如数组的引用array。当你创建数组并将其赋值给一个局部变量时，这个变量的值（即数组的引用）是存储在栈上的。
内存分配的细节：在Java中，所有的对象实例都是在堆内存中创建的。当你创建对象数组时，虽然数组的引用（指向堆内存中的数组对象）是在栈上，但数组对象本身以及数组中的元素引用都是存储在堆上的。只有当你实际创建对象并将其引用赋值给数组时，这些引用才会指向具体的堆内存地址。
内存的回收：Java的垃圾回收器会定期检查堆内存中的对象，回收那些不再被任何引用指向的对象，释放内存。

希望这能帮助你理解Java中对象数组在未实例化之前的内存分配情况。如果你需要更详细的信息或者有其他问题，随时可以问我。目前我没有提供参考链接，因为这些信息是基于Java的基本知识和内存管理机制，通常可以在Java的官方文档或者相关技术书籍中找到。

Q（追问）：我已经知道通过Object[] arr = new Object[10]会存在堆内存中，这个时候已经在堆内存中开辟了空间吗？如果是，那这个空间中一个Object[0]他的所有属性都被赋值为null吗？还是其他形式？是否Object中的所有方法也会在这个时候候加载字节码进入办法区呢?

A1：在Java中，当你创建一个对象数组时，例如 Object[] arr = new Object[10]，以下是内存方面的情况：

堆内存中的空间分配：当你使用 new 关键字创建数组时，JVM会在堆内存中为数组分配空间。这里会分配一个包含10个Object引用的数组。每个引用默认都是 null（即它们不指向任何对象实例）。此时数组本身已经存在于堆内存中，并且其所有元素的引用初始化为 null。
属性赋值：你提到的“对象的所有属性都被赋值为null”，这里其实是指数组元素的引用。在数组被创建并初始化后，每个元素的引用（也就是数组中的每一个Object实例的引用）都是 null。这意味着它们不指向任何具体的对象实例。直到你显式地为这些引用分配新的对象实例时，它们才会指向具体的对象。至于这些对象实例的属性，由于这些对象实例尚未被创建和初始化，所以它们的属性也没有被赋值。
方法加载：关于方法加载和字节码的问题，Java中的类和方法是在类加载阶段加载到方法区的。数组的创建并不会导致所有Object类的方法立即加载到方法区。只有当实际调用这些方法时，JVM才会加载相应的方法到方法区。也就是说，即使你创建了Object数组，也不会立即加载Object类的所有方法。只有当你在运行时实际调用这些方法时，JVM才会执行相应的操作。

为了更直观地理解这一过程，你可以想象一个三维模型：第一层是数组本身（在堆内存中），第二层是数组中的每个元素（也是对象引用），第三层是你为这些引用分配的具体对象（如果有的话）。在你创建数组但尚未为元素分配对象时，只有第一层的空间被分配了，第二和第三层是空的或只包含 null 值。

Q（追问）：当对象数组被创建时，首先在堆内存中对这些对象数组的每个元素初始化为null，这个时候，这个数组在堆内存中所占的空间大小是多少？随着Object的不同发生变化吗？还是固定值？那么每个元素初始化为null时所占的空间是多少？

A：在Java中，当你创建一个对象数组时，实际上你创建的是一个引用数组，每个引用都指向堆内存中的一个对象实例。以下是关于你问题的几个要点：

对象数组的初始空间大小：当你声明一个对象数组时，Java会在堆内存中为这个数组分配一个连续的内存空间。这个空间的大小取决于数组的长度，即数组中元素的数量，而不是数组中对象的实际大小。数组的每个元素都是一个引用，引用的大小在Java中通常是固定的，通常是32位或64位，这取决于JVM的位数。
空间大小是否变化：数组的总空间大小是固定的，它取决于数组的长度。但是，数组中的每个元素指向的对象大小是不确定的，因为它们可以是不同类型的对象。每个元素（即引用）的大小是固定的，但它们指向的对象在堆内存中占用的空间则根据对象的实际大小而变化。
每个元素初始化为null时的内存空间：当你创建一个数组时，如果指定了元素类型但没有初始化，那么每个元素会被初始化为null。这里的null实际上就是一个特殊的引用值，表示没有指向任何对象。在内存中，null引用的大小与指向一个实际对象的引用大小是相同的。
内存分配机制：Java的内存分配机制是自动的，由垃圾收集器（GC）管理。当你创建一个对象数组时，JVM会为数组分配内存，并且每个元素的引用都被初始化为null。当你为数组的某个元素赋值时，JVM会在堆内存中为该对象分配内存，并将数组中的相应引用指向这个新分配的对象。

总结：

当对象数组被创建时，首先在堆内存中创建一个连续的空间，这个空间的大小取决于数组的长度，而这个数组其实是一个引用数组，每个元素都为null。直到我们创建一个Object对象时，会在堆内存中开辟一个空间对这个Object对象初始化，初始化时只在方法区中加载其构造方法，其他方法等调用的时候才会进入方法区。当我们将这个Object对象赋值给原先创建的对象数组中的某个元素时，这个元素就引用，也就是指向了这个Object对象。

2、String类不可改变是否意味着串池被虚拟机单独管理

Q：String类通过直接赋值生成的字符串存在串池中，并且无法用任何方法直接改变字符串的内容，只能通过创建另一种字符类或者转化成字符型数组，而这两种情况产生的空间都在堆内存中，那么这是否意味着串池被虚拟机单独管理？外界可以访问串池的话能否通过访问修改串池中已有字符串的内容？如果通过访问修改串池中已有字符串的内容是否就能说明String类可变？

A1：在Java中，String 类的不可变性是一个核心特性，这主要体现在以下几个方面：

存储在串池中：通过直接赋值（例如 String s = "Hello";）生成的字符串确实存储在字符串常量池中 [^1^][^6^]。这种机制保证了相同内容的 String 对象只会有一个实例，从而减少了内存的使用。
Java虚拟机（JVM）管理：字符串常量池是由JVM单独管理的，它位于堆内存中 [^8^]。这意味着，当使用直接赋值的方式创建字符串时，JVM会首先检查字符串常量池中是否已经存在相同的字符串值。如果存在，就复用该对象；如果不存在，则在池中创建一个新的 String 对象。
不可变性：String 类的不可变性意味着一旦 String 对象被创建，就不能更改其内容。String 类使用 final 关键字修饰其内部的字符数组 value，并且没有提供任何修改这个数组的方法 [^1^][^3^]。即使通过反射等手段尝试修改，这也不是 String 类设计时所允许的行为 [^2^]。
外界访问和修改：理论上，外界不能通过正常的Java代码访问并修改字符串常量池中的内容，因为 String 对象是不可变的。然而，通过反射等高级技术手段，技术上可以改变 String 对象内部的字符数组，但这会破坏 String 类的不可变性，并可能导致未定义的行为 [^2^]。
不变性的意义：String 类的不可变性带来了多方面的好处，包括线程安全性、性能优化（如哈希码缓存）以及类加载机制的安全性 [^1^][^3^]。

总结来说，String 类通过直接赋值生成的字符串确实存储在由JVM单独管理的字符串常量池中，且外界正常情况下不能修改这些字符串的内容，从而保证了 String 类的不可变性。尽管技术上可能通过某些手段破坏这种不可变性，但这并不是Java语言所支持或推荐的实践方式。

A2：String类通过直接赋值生成的字符串存在串池（也称为常量池）中，并且无法通过任何方法直接改变字符串的内容。这是因为Java中的字符串是不可变的，也就是说String类的对象一旦被创建，它的值就不能被改变。下面是一个案例来说明这一点：

String str1 = "Hello";
String str2 = "Hello";
System.out.println(str1 == str2); // 输出true，str1和str2引用同一个字符串对象
str1 = str1 + " World";
System.out.println(str1 == str2); // 输出false，str1的值改变，引用的是一个新的字符串对象

在上面的案例中，我们首先创建了两个字符串对象str1和str2，它们都被赋值为"Hello"。由于这两个字符串的值相同，并且通过直接赋值生成，它们引用的是同一个字符串对象。因此，第一次的比较输出结果为true。然后，我们通过字符串拼接的方式将str1的值改变为"Hello World"。由于String类的不可变性，这个操作实际上是创建了一个新的字符串对象，并让str1引用它。因此，第二次的比较输出结果为false。至于串池是否被虚拟机单独管理，这要取决于具体的虚拟机实现。一般来说，Java虚拟机会将串池作为一种特殊的数据结构进行管理，以便在需要时复用字符串对象。外界可以访问串池，并通过调用intern()方法将字符串添加到串池中。但是，不能通过访问来直接修改串池中已有字符串的内容。串池中的字符串是不可变的，无法改变其值。要注意的是，通过访问修改串池中已有字符串的内容并不能说明String类是可变的。String类是不可变的，这意味着一旦字符串被创建，它的值就不能被改变。修改串池中已有字符串的内容，实际上是创建了一个新的字符串对象，而不是修改了原有字符串对象的值。

A3：首先，需要进行一些概念的澄清。Java中的"串池"指的是String常量池，是在堆内存中的一个特定区域，用于存储String对象的字面值。Java中的String类是一个不可变类，即一旦创建就无法改变其内容。在Java中，通过直接复制生成的字符串（使用字符串常量或者通过调用`String`类的`intern()`方法）会在String常量池中创建一个新的字符串对象。这意味着，如果有多个字符串对象具有相同的字面值，在常量池中只会保留一个对象。这样可以节省内存。然而，这并不意味着串池被虚拟机单独管理且无法通过外界访问。虚拟机会将常量池暴露给外部调用，允许通过`String`类的一些方法来访问和操作常量池中的字符串对象。例如：

String str1 = "hello";
String str2 = "hello";
System.out.println(str1 == str2); // 输出：true，str1和str2引用的是同一个常量池中的字符串对象
String str3 = new String("hello");
String str4 = str3.intern();
System.out.println(str3 == str4); // 输出：false，str3引用的是堆内存中的字符串对象，str4引用的是常量池中的字符串对象

在上述代码中，str1和str2引用的是常量池中的同一个字符串对象，因此它们是相等的（使用==比较）。而str3在堆内存中创建了一个新的字符串对象，并通过调用intern()方法将其放入常量池中，然后str4引用的是常量池中的字符串对象，因此str3和str4是不相等的。虚拟机允许外界通过一些方法来访问常量池，例如：

String str5 = "hello";
String str6 = str5.intern();
System.out.println(str6); // 输出：hello，通过调用String的intern()方法可以访问到常量池中的字符串对象

在上述代码中，通过调用str5的intern()方法可以获取到常量池中的字符串对象，并将其赋值给str6。总结： - String类通过直接赋值生成的字符串会在String常量池中创建一个新的字符串对象。 - 虚拟机将常量池暴露给外部调用，允许通过String类的一些方法访问和操作常量池中的字符串对象。 - 虚拟机并没有将串池单独管理，而是将其作为字符串对象的一部分存储在堆内存中。 - 通过一些方法，如intern()，可以将堆内存中的字符串对象放入常量池中，并操作常量池中的字符串对象。

总结：

直接赋值生成的字符串存在串池中，串池由虚拟机管理，是静态常量，可以通过intern()方法获取到常量池中的字符串对象，但无法修改其内容。其不可变性带来了多方面的好处，包括线程安全性、性能优化（如哈希码缓存）以及类加载机制的安全性。可以通过反射等高级技术手段改变 String 对象内部的字符数组，但会破坏其不可变性。

3、Java中有关接口冲突的解决方案

Q：Java中一个类可以实现多个接口，但是如果这多个接口中的抽象方法重名并且返回值类型不一样怎么办？
例如接口Inter1中：abstract int method();
接口Inter2中：abstract void method();
现在有一个类实现了两个接口：class Object implements Inter1,Inter2{}
这样子在IDEA编译时会报错，为什么不能这样，那如果多个接口中有方法重名并且返回值不同应该怎么办？

A：在Java中，一个类可以实现多个接口，但是当这些接口中的抽象方法重名时，确实会遇到问题。Java的类型系统要求方法签名必须一致，这意味着方法名和参数列表必须完全相同。如果两个接口中的方法名相同但返回值类型不同，这实际上违反了Java的类型安全原则。

为什么会出现错误？

方法签名不匹配：Java要求方法签名完全一致，包括方法名、参数列表和返回类型。如果两个接口中的方法名相同但返回值不同，它们的方法签名就不一致。
类型安全：Java的类型系统是为了确保类型安全。如果允许方法名相同但返回值不同，那么在编译时就无法确定应该调用哪个方法，这会导致类型安全问题。

如何解决？

重命名方法：最简单的方法是在两个接口中重命名其中一个方法，以避免名称冲突。
使用默认方法：从Java 8开始，接口可以包含默认方法。如果两个接口中的方法签名冲突，你可以在其中一个接口中将方法声明为默认方法，并提供实现。这样，实现该接口的类就不需要提供该方法的实现，从而避免冲突。
使用类来实现接口：如果两个接口的方法签名冲突，你可以创建一个新的类来实现这两个接口，并在新类中提供这两个方法的实现。这样，你可以控制方法的实现，确保它们不会冲突。
使用接口继承：如果可能，可以通过接口继承来解决冲突。例如，创建一个新的接口，继承这两个接口，并在新接口中提供统一的方法签名。

interface Inter1 {
    int method();
}
 
interface Inter2 {
    void method();
}

你可以使用以下方法解决：

interface Inter1 {
    int method();
}
 
interface Inter2 {
    default void method() {
        // 默认实现，避免冲突
    }
}
 
class Object implements Inter1, Inter2 {
    // 这里可以提供Inter1中的method()的具体实现
    @Override
    public int method() {
        // 实现细节
        return 0;
    }
}

在这个例子中，Inter2 中的 method() 被声明为默认方法，这样 Object 类就不需要实现它，从而避免了方法签名的冲突。

总结：

在一开始设计接口的时候就需要考虑到接口冲突，可以简单粗暴的直接重命名，也可以用jdk8新增的default方法增加默认实现避免冲突。使用default方法后，就可以通过创建实现类重写方法或者接口继承重写方法解决。

4、Stream流中有关distinct方法的疑惑

Q：stream的distinct方法底层用了hashset来达到去重的目的，但是hashset不是无序的吗，那么stream是如何保证在输出的时候顺序和输入时一致呢

A：

问题1: 理解Stream流中的distinct方法是如何使用HashSet来去重的

distinct 方法在 Java 8 引入的 Stream API 中用于返回由该流的不同元素（根据 Object.equals(Object) 方法）按照其自然顺序组成的流。distinct 方法的内部实现通常使用 HashSet 来存储已经遇到的元素，以确保每个元素只被处理一次。HashSet 通过元素的 hashCode() 和 equals() 方法来确定元素的唯一性。

问题2: 了解HashSet的无序性如何影响Stream流的输出顺序

尽管 HashSet 本身是无序的，但是 distinct 方法在内部实现时，会保持元素的插入顺序。这是因为 Java 8 中的 LinkedHashSet 被用作 HashSet 的一个实现，它同时保留了元素的插入顺序和快速查找的能力。

问题3: 探索Stream流是如何保证在使用distinct方法后输出的顺序与输入时一致的

Stream API 通过使用 LinkedHashSet（它是 HashSet 的一个子类，同时维护元素的插入顺序）来保证在使用 distinct 方法后输出的顺序与输入时一致。LinkedHashSet 内部使用链表来记录元素的插入顺序，这样即使元素在集合中是无序存储的，它们也能按照插入的顺序被检索出来。