文章围绕“Java 类库中的不可变类”展开，核心结论是：**Java 标准类库中存在大量设计为不可变的基础类型，它们主要集中在字符串、包装类型、时间日期、并发与函数式接口相关值对象中，不可变性是 Java 在并发安全、API 稳定性与性能权衡上的重要设计策略**。理解这些不可变类的范围、设计动机与使用边界，有助于在系统设计中减少副作用、降低并发复杂度，并写出更可维护的 Java 代码。

## 一、不可变类的概念边界与识别标准
在 Java 语境下，不可变类（Immutable Class）通常指**对象一旦被创建，其内部状态在生命周期内不可被修改**。这一特性并不只是“没有 setter 方法”这么简单，而是需要从字段修饰、构造过程、方法语义等多个层面综合判断。一个典型的不可变类通常满足以下条件：所有字段都是 final；字段在构造函数中完成初始化；不对外暴露可变内部状态；方法调用不会改变对象本身，而是返回新对象。

在 Java 类库中，不可变类并非零散存在，而是形成了清晰的设计族群。JDK 设计者通过不可变类来**降低 API 使用心智负担、避免防御性拷贝的性能成本，并天然支持线程安全**。因此，在识别 Java 类库中的不可变类时，不应只停留在“是否能改值”，而应理解其在语言与运行时层面的设计目标。这也是为什么某些“看似简单”的值类型，会被反复强调为不可变。

## 二、String 及字符相关不可变类
在所有 Java 不可变类中，String 是最典型、也是使用频率最高的代表。**java.lang.String 被设计为完全不可变，其内部字符数组在对象创建后不会发生改变**。任何看似“修改字符串”的操作，如拼接、截取、替换，实际都会生成新的 String 实例。这一设计直接服务于字符串常量池、类加载安全以及多线程环境下的共享使用。

除 String 之外，字符相关的不可变类还包括 Character。虽然 Character 只是对基本类型 char 的包装，但其不可变性保证了在集合、缓存和自动装箱场景下的安全性。JDK 对部分 Character 实例进行了缓存，这一机制依赖其状态不可变这一前提。

Oracle 官方文档明确指出，String 的不可变性是 Java 安全模型的一部分，尤其在类加载、反射和文件路径等敏感场景中，**不可变字符串可以防止恶意代码在对象传递过程中篡改关键参数**（Oracle, 2023）。因此，字符串相关不可变类不仅是语法便利，更是平台级安全设计。

## 三、基本类型包装类的不可变特性
Java 的八种基本类型在 java.lang 包中都对应着包装类，如 Integer、Long、Boolean、Double 等。**这些包装类全部被设计为不可变类**。一旦通过构造函数或 valueOf 方法创建实例，其内部数值就无法再被修改。

不可变包装类的价值体现在多个层面。首先，它们可以安全地作为 Map 的键或 Set 的元素，因为其 hashCode 在生命周期内保持不变。其次，不可变性使得 JVM 可以对这些对象进行缓存与重用，例如 IntegerCache 对 -128 到 127 范围内的整数进行缓存，从而减少对象创建开销。

需要注意的是，包装类的不可变性并不意味着“没有性能成本”。在数值频繁变化的场景中，反复创建新的包装对象可能带来额外的 GC 压力。因此，JDK 通过不可变设计与缓存策略的组合，在**安全性与性能之间取得折中**。这也解释了为什么包装类不可变，却仍然在高频业务中被广泛使用。

## 四、BigInteger 与 BigDecimal 等数值不可变类
在高精度计算场景中，java.math 包下的 BigInteger 与 BigDecimal 是不可或缺的工具类。**它们同样被设计为不可变类**，任何算术运算方法（如 add、multiply）都会返回新的实例，而不是修改原对象。

这种不可变设计在金融、科学计算等领域尤为重要。因为在复杂计算链路中，如果数值对象是可变的，很容易因引用共享而产生难以排查的错误。不可变数值对象可以确保每一步计算的输入输出都是确定的，从而提升系统的可验证性与可测试性。

Joshua Bloch 在《Effective Java》（2018）中指出，不可变对象在设计上“更容易正确使用，也更难被错误使用”。BigDecimal 正是这一原则的典型体现。虽然其创建与运算成本高于基本类型，但通过不可变性换取了精度安全与并发友好，这在关键业务系统中往往是值得的。

## 五、时间与日期相关的不可变类
自 Java 8 引入 java.time 包以来，时间日期 API 迎来了一次重要重构。**java.time 包中的核心类，如 LocalDate、LocalTime、LocalDateTime、Instant，全部是不可变类**。这一设计明确吸取了早期 java.util.Date 和 Calendar 可变性带来的问题。

不可变时间类的优势在多线程环境中尤为明显。时间对象经常作为参数在不同层级之间传递，如果对象可变，就需要频繁进行防御性拷贝。而不可变时间类可以被安全共享，极大降低了 API 使用复杂度。

此外，java.time 的不可变设计还带来了更清晰的语义。例如，对 LocalDate 调用 plusDays 方法，不会“修改日期”，而是返回一个新的日期实例。这种函数式风格的 API，使时间计算更符合直觉，也减少了隐藏副作用。在现代 Java 应用中，**时间不可变类几乎已成为事实标准**。

## 六、集合视图与只读不可变对象
严格来说，java.util 包中的大多数集合类本身并不是不可变的，但 JDK 提供了一些**不可变集合视图或不可变实现**。例如，通过 Collections.unmodifiableList 方法可以获得一个不可修改的集合视图；而 Java 9 之后引入的 List.of、Set.of、Map.of 返回的集合实例本身就是不可变的。

这些不可变集合在 API 设计中非常有价值，尤其适用于返回结果集或配置数据。调用方无法修改集合内容，从而避免破坏内部状态。需要强调的是，不可变集合的“不可变”通常只体现在结构层面，如果集合中元素本身是可变对象，那么元素内部状态仍然可能被修改。

因此，在判断集合是否真正不可变时，需要区分“集合结构不可变”与“元素对象不可变”。在 Java 类库中，官方提供的不可变集合实现更多是为了**限制误用和提升 API 安全性**，而不是彻底消除所有可变性。

## 七、并发与函数式接口中的不可变值对象
在 java.util.concurrent 和 java.util.function 等包中，也存在一些不可变的值对象或功能性接口实现。例如 Optional 被设计为不可变容器，用于表达“可能存在也可能不存在”的值。Optional 一旦创建，其内部引用不会被改变，所有变换操作都会返回新的 Optional 实例。

不可变 Optional 在并发环境中非常安全，可以作为方法返回值或字段使用，而无需担心被外部修改。此外，在函数式编程风格中，不可变对象更容易进行组合与推导，这也是 Java 在引入 Lambda 表达式后强化不可变设计的重要原因。

虽然 Optional 并不等同于传统意义上的“数据模型”，但它代表了一种**通过不可变对象表达状态的设计哲学**。这种哲学正在 Java 类库中逐步扩展，并影响着后续 API 的设计方向。

## 八、常见不可变类对比表
下面通过一个对比表，对 Java 类库中常见的不可变类进行归类说明，帮助快速建立整体认知。

| 类名 | 所在包 | 不可变类型 | 主要设计目的 |
|---|---|---|---|
| String | java.lang | 完全不可变 | 安全共享、字符串常量池 |
| Integer / Long 等 | java.lang | 完全不可变 | 数值封装、缓存与集合键 |
| BigDecimal | java.math | 完全不可变 | 高精度计算、安全运算 |
| LocalDate | java.time | 完全不可变 | 线程安全的日期表示 |
| Instant | java.time | 完全不可变 | 时间戳统一建模 |
| Optional | java.util | 完全不可变 | 空值语义表达 |
| List.of 返回值 | java.util | 结构不可变 | API 安全、结果保护 |

通过上述对比可以看出，**不可变类并非集中在某一个包，而是分布在 Java 标准库的多个关键模块中**，并且服务于不同层面的设计目标。

## 九、总结与未来趋势展望
整体来看，Java 类库中的不可变类已经形成了稳定而成熟的体系。从最基础的 String、包装类型，到时间日期、数值计算，再到函数式风格下的值对象，不可变性始终是 Java 平衡安全性、并发性与可维护性的核心工具。**理解哪些类是不可变的，以及为什么不可变，是写好 Java 代码的重要基础能力**。

展望未来，随着 Java 持续向函数式与并发友好方向演进，不可变对象的使用范围仍有扩展空间。值类型（Value Object）与更轻量级的数据承载结构，可能会进一步强化“创建即确定”的设计理念。对于开发者而言，主动拥抱不可变设计思维，将有助于构建更稳定、更易演进的系统。

参考与资料来源  
Oracle Java Documentation, String Class Specification, 2023  
Joshua Bloch, Effective Java (3rd Edition), Addison-Wesley, 2018

Java标准类库中有许多设计为不可变的类，这些类的对象状态在创建后不能被修改，常见的包括String、Integer、Long、Float、Double、Boolean、Byte、Character、Short等包装类，以及java.time包中的日期时间类，如LocalDate、LocalTime、LocalDateTime等。这些不可变类的设计使它们线程安全且易于使用。

Java标准类库中的常见不可变类

我想知道在Java标准类库中存在哪些不可变类，它们的特点是什么？

哪些Java类库中的类是不可变的？

不可变类由于其状态不能改变，天然具有线程安全性，避免了同步问题，减少了程序复杂度。此外，不可变对象可以被缓存和重复使用，提升性能和内存效率。它们也有利于实现更可靠和可预测的代码行为。

不可变类的优势

不可变类在Java编程中有什么优势，为什么推荐使用它们？

为什么使用不可变类对Java程序有益？

不可变类通常具有以下特征：所有字段声明为final且私有，类本身被声明为final避免被继承修改状态，无提供修改内部状态的方法，构造函数完成所有字段初始化，对外部可变对象的引用进行深拷贝或不提供引用，确保对象状态不被外界修改。符合这些设计原则的类可以认为是不可变类。

判断不可变类的设计特征

判断一个Java类是否不可变需要注意哪些设计要点？

如何判断一个Java类是否是不可变类？

PingCodeDocs

本文系统梳理了 Java 标准类库中常见的不可变类，涵盖字符串、基本类型包装类、高精度数值、时间日期、集合视图以及函数式风格下的值对象。核心观点在于，不可变性并非偶然选择，而是 Java 在并发安全、API 稳定性与系统可维护性之间的重要设计策略。理解这些不可变类的范围与设计动机，有助于减少副作用、降低并发复杂度，并在实际开发中做出更合理的建模与架构决策。

java类库中的不可变类有哪些