Java内存模型Happens-before规则疑问：程序输出43原因解析

这个问题确实是并发编程备考里容易踩的坑——把Happens-before规则和实际执行顺序搞混了，我来给你拆解清楚！

先看你的代码里main线程的核心操作流程：

x = 1;
Thread t = new Thread(...);
t.start();
x = y + 1; // y初始值是42，执行后x=43

你疑惑的点在于：为什么t.start()会被JVM调整到x = y + 1之后执行？这里的核心是指令重排序——JVM和CPU为了优化性能，会对没有数据依赖的操作调整执行顺序，只要不违反as-if-serial语义（即同一个线程内，执行结果和按代码顺序跑完全一致）。

在main线程中，t.start()和x = y + 1这两个操作完全没有数据依赖：启动线程的操作不会用到x的值，给x赋值的操作也不依赖线程t的状态。所以JVM完全有权把x = y + 1提前到t.start()之前执行。

当重排序发生时，实际执行顺序变成：

1. x = 1;
2. x = y + 1; → x被更新为43
3. t.start(); → 线程t启动
4. 线程t的run()方法执行：y = x; → y被赋值为43，随后打印输出43

这就是你看到输出43的原因。

我们需要结合两个核心规则来解释这个现象：

• 程序顺序规则：同一个线程内，按代码书写顺序，前面的操作Happens-before后面的操作。但注意，这是语义上的可见性保证，不是强制执行顺序！只要不影响同一个线程内的执行结果，JVM可以对无依赖的操作重排序（这就是as-if-serial语义的核心）。
• 线程启动规则：调用线程的start()方法Happens-before于该线程的所有操作。也就是说，只要某个操作在start()之前执行（不管是代码顺序还是重排序后的实际顺序），线程t都能看到这个操作的结果。

你之前的误区是把程序顺序规则理解成了“必须严格按代码顺序执行”，但实际上它只保证同一个线程内的可见性，不限制无依赖操作的重排序。

如果JVM没有做重排序，按代码顺序先执行t.start()再执行x = y + 1，线程t会读取到x=1，输出1。但这种没有同步保障的代码，执行结果是不确定的——输出1或43都是合法的，因为JVM的重排序是符合规范的。

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