Java String 原理深度解析：常量池、对象创建与不可变性

1、String 是最基本的数据类型吗？

不是。Java 中的基本数据类型只有 8 种：byte、short、int、long、float、double、char、boolean。除了这些基本类型外，其余均为引用类型。自 Java 5 引入的枚举类型（Enum）也属于一种特殊的引用类型。

2、字符型常量和字符串常量的区别？

• 形式上：字符常量使用单引号括起单个字符（如 'A'），而字符串常量使用双引号括起零个或多个字符（如 "ABC"）。
• 含义上：字符常量本质上是一个整型值（对应 ASCII 或 Unicode 编码），可以直接参与表达式运算；字符串常量则是对象，代表内存中的一个地址值。
• 占内存大小：字符常量 char 固定占用 2 个字节（UTF-16）；字符串常量根据长度占用若干个字节，至少包含字符数据及结束标志。

3、什么是字符串常量池？

字符串常量池是 JVM 为了提升性能和减少内存开销而维护的一块特殊内存空间。当程序需要使用字符串字面量时，JVM 会先检查池中是否已存在相同内容的字符串实例：若存在，直接返回已有对象的引用；若不存在，则创建新实例并存入池中。

JDK 版本差异说明：

• JDK 6：常量池位于永久代（PermGen，即方法区的一部分）。此时池中存储的是字符串对象的完整实例。
• JDK 7：常量池被移至堆（Heap）中。池中存储的不再是对象实例，而是指向堆中对象的引用。这一改变为后续内存管理和 intern() 行为奠定了基础。
• JDK 8：永久代被元空间（Metaspace）取代，但字符串常量池依然位于堆中，其引用存储的特性保持不变。

4、String str = new String("aaa") 创建了几个对象？

该语句可能创建 1 个或 2 个对象，具体取决于字符串常量池中是否已存在该字符串：

• 情况一（池中存在）：如果常量池中已经有 "aaa"，则在堆中通过 new String() 创建 1 个新的 String 对象，并将引用赋给 str。
• 情况二（池中不存在）：如果常量池中还没有 "aaa"，则首先会在常量池中进行初始化（创建字面量对象/引用），然后在堆中通过 new String() 创建另一个对象。总共创建 2 个对象。

5、字符串的 intern 方法的执行过程是怎样的？

intern() 是操作字符串常量池的关键方法，其在 JDK 不同版本中的行为有显著差异。以下通过代码示例演示这种差异：

public class Test {
    public static void main(String[] args) {
        // 测试案例 1
        String s = new String("2");
        s.intern();
        String s1 = "2";
        System.out.println(s == s1);

        // 测试案例 2
        String s3 = new String("3") + new String("3");
        s3.intern();
        String s4 = "33";
        System.out.println(s3 == s4);
    }
}

输出结果对比：

• JDK 6：两次输出均为 false。
• JDK 7+：第一次输出 false，第二次输出 true。

原理解析：

• JDK 6 中的 intern()：无论对象是否在堆中创建，intern() 都会尝试将字符串复制到永久代的常量池中。由于案例 1 中 "2" 的字面量在声明 s1 时已经被放入常量池，而 s 是堆中的新对象，两者地址不同，故返回 false。案例 2 同理，堆对象与池中的字面量不同。
• JDK 7+ 中的 intern()：优化在于，如果字符串常量池中已经存在该字符串，则直接返回池中的引用；如果池中没有，且该字符串已在堆中生成，则不再复制对象，而是将该堆中对象的引用放入常量池。因此，案例 2 中 s3.intern() 后，池中存的是 s3 的引用，而 s4 使用字面量时会指向同一个堆对象，导致 s3 == s4 为 true。

6、String、StringBuffer、StringBuilder 的区别？

第1步：分析可变性与内部实现

String：其底层基于 private final char value[]（或字节数组）。由于使用了 final 修饰，字符串内容一旦创建便不可更改。任何看似“修改”的操作（如拼接）实际上都是创建了新对象。

StringBuffer 和 StringBuilder：二者均继承自 AbstractStringBuilder，内部使用 char[] value（非 final）。这意味着它们支持原地修改，即在原数组基础上扩展或截断，无需创建新对象。

第2步：对比多线程安全性

• String：不可变，天然线程安全。
• StringBuilder：非线程安全。未进行同步控制，适用于单线程环境下的字符串频繁修改。
• StringBuffer：线程安全。其核心方法（如 append、insert）均使用了 synchronized 关键字锁住当前对象。

// StringBuffer 追加操作的源码示意
public synchronized StringBuffer append(StringBuffer sb) {
     toStringCache = null;
     super.append(sb);
     return this;
 }

第3步：性能评估

在对字符串进行修改操作时：

• String 效率最低，因为每次修改都涉及新对象的分配和旧对象的垃圾回收。
• StringBuilder 效率最高，因为它避免了同步锁的开销和额外的内存分配。
• StringBuffer 因需要处理同步锁，性能略低于 StringBuilder（约低 10%~15%），但在多线程环境下是必要的。

7、为什么 String 要设计成不可变的？

Java 将 String 设计为不可变（Immutable）主要基于以下四个核心考量：

• 支持字符串常量池：只有不可变的字符串才能在常量池中安全复用。如果字符串可修改，一个字符串的修改会影响池中所有引用它的变量，引发严重错误。
• 保证类加载器的正常工作：Java 类加载器通过字符串形式的类名来定位资源。如果字符串可变，攻击者可能篡改类名，导致恶意类被加载，造成系统崩溃。
• 线程安全：不可变对象没有状态变更的风险，因此在多线程环境中无需额外的同步机制即可安全共享。
• 缓存 HashCode 提升 Map 性能：String 常被用作 HashMap 的 Key。由于其不可变，hashCode() 可以在创建对象时计算并缓存，避免了后续重复计算，极大地提升了哈希容器的查找效率。

以上就是 Java String 字符串原理的详细解析，更多关于 Java 核心技术资料请关注本站其它相关文章！