如何判断特定Java类是否线程安全？相关疑问解析

1. 是不是所有不在java.util.concurrent包下的Java类在多线程环境里都线程不安全？ #

当然不是。很多不属于java.util.concurrent包的类本身就是线程安全的，举几个常见例子：

• 不可变类：像java.lang.String、java.lang.Integer这类，实例一旦创建就没法修改，不存在多线程下状态被篡改的可能，天然线程安全。
• 传统线程安全集合：java.util.Vector、java.util.Hashtable，它们的核心方法都加了synchronized同步锁，多线程下调用不会出现数据不一致的问题（只是性能不如concurrent包下的替代类）。
• JDK自带的工具类：比如java.lang.Runtime，全局唯一实例且内部操作做了线程安全处理；还有java.time包下的LocalDateTime、Instant等日期类，都是不可变设计，线程安全，也不在concurrent包中。

2. 那该怎么判断一个特定Java类是不是线程安全？ #

判断的核心是看这个类在多线程并发访问时，能不能保证状态一致性和行为正确性，可以从这几个角度入手：

• 先看官方文档：正规JDK类的Javadoc会明确标注是否线程安全，比如String的文档就直接说明它是不可变且线程安全的；如果文档没提，那这个类大概率不是线程安全的，使用时要自己做同步处理。
• 检查是否是不可变类：如果类的所有成员变量都是final，而且没有对外提供修改自身状态的方法，或者修改操作会返回一个新的实例而不改动原对象，那这个类基本是线程安全的。
• 查看内部同步实现：看看类的方法有没有用synchronized修饰，或者内部有没有用Lock接口的实现类来做同步控制；另外，类内部如果用了ConcurrentHashMap这类线程安全的组件，也会提升整体的线程安全性。
• 分析状态的共享情况：如果类的状态（成员变量）只在单个线程里使用（比如线程封闭），或者根本没有共享状态，那它肯定是线程安全的；如果状态会被多个线程读写，那必须有同步机制保护才行。
• 并发测试辅助验证：可以写多线程测试用例，模拟高并发场景调用类的方法，看看会不会出现数据错乱、异常等问题，但要注意：测试只能发现存在的线程安全问题，没法100%证明类是线程安全的，因为并发问题具有随机性。

内容的提问来源于stack exchange，提问作者firefly_0