Java线程方法调用引用安全解析

当一个线程正在执行 cache.getFactors() 时，即使另一线程将 cache 引用更新为新对象，原线程仍继续操作原始对象——方法调用的目标对象在调用开始时即已确定，不会因字段引用变更而改变。

当一个线程正在执行 `cache.getFactors()` 时，即使另一线程将 `cache` 引用更新为新对象，原线程仍继续操作原始对象——方法调用的目标对象在调用开始时即已确定，不会因字段引用变更而改变。

在 Java 多线程编程中，一个常见误区是认为“修改了引用字段，正在运行的方法就会‘自动切换’到新对象”。事实恰恰相反：方法调用的目标对象（receiver）在字节码层面于调用指令（如 invokevirtual）执行瞬间就已锁定，与后续字段值的变化完全无关。

以示例代码为例：

// 线程 A 执行此行时，JVM 已将 cache 当前引用的对象 O₁ 压入操作数栈，
// 并准备调用其 getFactors 方法
BigInteger[] factors = cache.getFactors(i, sec); // ← Call₁ 绑定到 O₁

// 此时线程 B 执行：
cache = new OneValueCache(i, factors); // ← cache 现在指向新对象 O₂

即使线程 A 在 getFactors 内部（例如 TimeUnit.SECONDS.sleep(15) 期间）被挂起，随后线程 B 更新了 cache 字段，线程 A 恢复后仍严格作用于 O₁ ——包括读取 lastNumber、lastFactors 等所有字段，均来自原始不可变对象。volatile 修饰的 cache 字段仅保证引用更新对其他线程可见，但绝不影响已启动的、针对旧对象的方法调用的执行上下文。

这一点可由 JVM 规范印证：invokevirtual 指令的操作数栈顶部必须是目标对象引用，该引用在调用发生时即被固化；后续任何对同名变量的重赋值，仅影响未来的新调用，而非正在执行的栈帧。

✅ 正确理解带来的实践启示：

• 不可变对象（如 OneValueCache）配合 volatile 引用，能安全实现“无锁缓存更新”；
• 线程间共享的是引用快照，而非实时绑定；
• 若需协调多个线程对同一逻辑状态的访问（如“最新缓存是否匹配当前请求”），应依赖对象自身状态（如 lastNumber.equals(i)），而非依赖字段引用是否“最新”。

⚠️ 注意：虽然对象不可变保障了内部状态一致性，但若 getFactors 方法体中存在非线程安全的副作用（如静态计数器、外部 I/O），仍需额外同步——不可变性只保护对象自身字段，不延伸至方法行为。