本文详解如何在多线程环境下安全、可靠地并行计算并更新共享结果数组，以解决productExceptSelf类问题中因线程间数据可见性与实例状态混乱导致的“数组未更新”问题。
本文详解如何在多线程环境下安全、可靠地并行计算并更新共享结果数组，以解决`productexceptself`类问题中因线程间数据可见性与实例状态混乱导致的“数组未更新”问题。
在您提供的原始代码中，Threaded继承自Thread类，但关键问题在于：静态字段滥用 + 线程实例状态缺失 + 缺乏线程同步保障，导致多线程无法正确读写共享数据。具体表现为：
- Solution.nums 和 Solution.answer 被声明为 public static，看似“共享”，实则引入了竞态与可见性风险（尤其在多测试用例复用同一类时）；
- Threaded 构造函数未接收 nums 和 answer 引用，而是依赖静态字段，而子线程启动时可能尚未完成主线索赋值（JVM内存模型下无 happens-before 保证）；
- Threaded 继承 Thread 且未显式传入任务数据，导致每个线程实际操作的是未初始化或陈旧的静态引用；
- 使用 ThreadGroup.activeCount() 轮询等待是不推荐的阻塞方式，既低效又不可靠（activeCount() 仅是估算值，且不保证线程已真正结束）。
✅ 正确做法是：消除静态共享，通过构造参数显式传递不可变输入和可变输出引用，并使用 Thread.join() 确保有序完成。以下是优化后的专业实现：
class Solution {
public int[] productExceptSelf(int[] nums) {
if (nums == null || nums.length == 0) return new int[0];
int[] answer = new int[nums.length];
Thread[] threads = new Thread[nums.length];
// 启动每个线程，传入独立副本（nums 不变，answer 可写）
for (int i = 0; i < nums.length; i++) {
threads[i] = new Thread(new Threaded(nums, answer, i));
threads[i].start();
}
// ✅ 使用 join() 等待所有线程完成（安全、标准、语义明确）
try {
for (Thread t : threads) {
t.join();
}
} catch (InterruptedException e) {
Thread.currentThread().interrupt(); // 恢复中断状态
throw new RuntimeException("Thread execution interrupted", e);
}
return answer;
}
}
class Threaded implements Runnable {
private final int[] nums; // final + 不可变输入，线程安全
private final int[] answer; // 共享输出数组，由主线程创建并传入
private final int index; // 当前线程负责计算的索引
Threaded(int[] nums, int[] answer, int index) {
this.nums = nums;
this.answer = answer;
this.index = index;
}
@Override
public void run() {
answer[index] = computeProductExcludingIndex(nums, index);
}
private int computeProductExcludingIndex(int[] arr, int excludeIdx) {
int product = 1;
for (int i = 0; i < arr.length; i++) {
if (i != excludeIdx) {
product *= arr[i];
}
}
return product;
}
}? 关键改进说明：
- 去静态化：移除所有 static 字段，避免跨测试用例污染和内存可见性问题；
- 显式依赖注入：Threaded 通过构造函数接收 nums（只读）、answer（共享写入）和 index（职责隔离），确保每个线程拥有清晰、确定的数据视图；
- 使用 Runnable + Thread 组合：比继承 Thread 更符合面向对象设计原则，也更利于资源复用与测试；
- join() 替代轮询：t.join() 提供强语义保证——当前线程将阻塞直至目标线程终止，无需猜测 activeCount()；
- 异常处理：捕获 InterruptedException 并恢复中断状态，符合 Java 并发最佳实践；
- 空值防护：主方法增加边界检查，提升鲁棒性。
⚠️ 注意：尽管此方案解决了线程安全更新问题，但需指出——对 productExceptSelf 这类 O(n) 时间复杂度问题，多线程未必带来性能收益。现代 JVM 对单线程遍历高度优化，而线程创建/调度开销在小数组（如长度 ≤ 10⁵）上反而成为瓶颈。若追求极致性能，应优先考虑空间换时间的前后缀积算法（O(1) 额外空间，无锁，纯 CPU-bound）。
立即学习“Java免费学习笔记（深入）”；
综上，本教程不仅修复了您的并发缺陷，更强调了“正确性先于优化”的工程原则：多线程不是银弹，必须建立在清晰的数据契约与严谨的同步语义之上。
