局部声明的 arraylist 若未逃逸出当前线程作用域（如不被传递给新线程、不参与 parallelstream 或 completablefuture 等异步操作），则天然线程安全；一旦发生“线程逃逸”，即使声明为 local，仍会引发 concurrentmodificationexception、数据丢失或越界等典型线程安全问题。
局部声明的 arraylist 若未逃逸出当前线程作用域（如不被传递给新线程、不参与 parallelstream 或 completablefuture 等异步操作），则天然线程安全；一旦发生“线程逃逸”，即使声明为 local，仍会引发 concurrentmodificationexception、数据丢失或越界等典型线程安全问题。
在 Java 开发中，一个常见误区是认为“只要 ArrayList 是方法内局部变量，就一定线程安全”。这种理解看似合理，实则忽略了对象生命周期与引用逃逸的关键区别：线程安全与否，不取决于变量声明位置（local / field），而取决于该对象是否被多个线程同时访问或修改。
上述代码片段中：
public class Dummy {
public void function1() {
final List<string> list = new ArrayList(); // ✅ 局部变量，栈上分配（引用）
function2(list); // ⚠️ 仅传参，仍在同一线程内
list.addAll(...); // ✅ 同一线程连续操作
}
private void function2(List<string> list) {
list.add("item"); // ✅ 仍是原线程调用
}
}</string></string>
只要 function1() 完全在单一线程（如主线程、Servlet 请求线程、Spring MVC 的 DispatcherServlet 线程）中执行，且 list 引用未以任何形式泄露到其他线程，那么整个操作是完全线程安全的——因为不存在并发读写，modCount 不会被多线程竞争，size++ 和 elementData[size] = e 也不会出现竞态覆盖。
⚠️ 但真正的风险隐藏在省略号（...）中。以下场景将瞬间打破线程安全性：
❌ 危险模式一：显式启动新线程并共享引用
// 在 function1() 内部
new Thread(() -> {
list.add("from-new-thread"); // ⛔ 多线程并发修改 → 可能抛 ConcurrentModificationException 或丢数据
}).start();
❌ 危险模式二：parallelStream 隐式并发写入
List<integer> numbers = Arrays.asList(1, 2, 3, 4, 5);
numbers.parallelStream()
.forEach(n -> list.add("num-" + n)); // ⛔ forEach 动作由多个 ForkJoinWorkerThread 并发执行</integer>
? 注：parallelStream().forEach() 不保证执行顺序，且无同步机制。即使 list 是局部变量，其引用已通过 lambda 闭包“逃逸”至多个工作线程，导致典型的 ArrayList 线程不安全行为（如 size 覆盖、扩容冲突、modCount 不一致）。
❌ 危险模式三：异步回调/CompletableFuture
CompletableFuture.supplyAsync(() -> "async-result")
.thenAccept(s -> list.add(s)); // ⛔ 回调可能在任意线程池线程中执行
✅ 安全替代方案（当必须跨线程收集时）
| 场景 | 推荐方案 | 说明 |
|---|---|---|
| 读多写少 + 迭代频繁 | CopyOnWriteArrayList | 写操作复制数组，迭代绝对安全，适合监听器列表、配置快照等场景 |
| 通用写安全 + 兼容性好 | Collections.synchronizedList(new ArrayList()) | 所有方法加 synchronized，但迭代需手动同步： synchronized(list) { for (String s : list) { ... } } |
| 高并发读写均衡 | ConcurrentLinkedQueue（若允许非索引访问）或自定义分段锁结构 | ArrayList 本质不支持高效并发写，强需求建议重构为更合适的并发集合 |
? 关键结论（务必牢记）
- ✅ 局部 ≠ 安全，逃逸才危险：线程安全的本质是“无共享可变状态”，而非变量作用域；
- ✅ final List
list 仅保证引用不可重赋值，不阻止对象内部状态被并发修改； - ✅ 单线程内任意次数的 add/addAll/remove 均安全；并发写入是唯一触发点；
- ✅ 使用 jshell 或单元测试快速验证：启动 100 个线程向同一局部 ArrayList 添加元素，观察 size() 是否等于预期值（大概率小于预期）。
? 工程建议：若业务逻辑天然需要跨线程聚合结果，优先考虑函数式设计——例如用 parallelStream().map().collect(Collectors.toList()) 替代手动多线程 add，既简洁又规避了共享状态，真正从源头消除线程安全风险。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
