关于C++可见副作用与Happens-Before关系的理解疑问

核心误解：混淆“读操作读到写的值”与“写对读可见” #

你错误绑定了两个不同的概念：运行时读操作实际观测到某个写的值，和规范层面上写操作对读操作“可见”，这两者并不等价。

明确关键概念的定义 #

1. happens-before (HB) 关系 #

inter-thread HB依赖于synchronizes-with或dependency-ordered-before，relaxed读写操作之间不会产生这两种关系，因此跨线程的relaxed操作之间不存在inter-thread HB关系。

2. 可见副作用的定义 #

cppreference中“标量M上的写A对读B可见”的两个条件，是用于定义程序的合法执行约束，而非描述运行时必然发生的观测结果：

标量M上的写操作A对读操作B可见需满足两个条件：1. A happens-before B；2. 不存在其他对M的副作用X使得A happens-before X且X happens-before B。

这个定义的核心作用是：如果存在一个对B可见的写操作，那么B必须读取该写（或后续可见的写）的值，不能跳过它去读取更早的写。但反过来，B读取某个写A的值，并不要求A对B可见——这正是relaxed内存顺序的设计意图。

relaxed操作的合法行为解释 #

当线程1对原子变量M做memory_order_relaxed写（A），线程2做memory_order_relaxed读（B）且读到A的值时：

• A和B之间没有inter-thread HB关系，因此A对B不可见（不满足可见的第一个条件）；
• 但这个读取行为是完全合法的，因为C++内存模型允许relaxed读操作读取任何线程中更早发生的写操作的值，只要没有被“可见”的写操作（即有HB关系的写）覆盖。

简单来说，relaxed内存顺序的语义就是放弃了HB关系的约束，允许操作在不同线程中乱序执行，读操作可以自由读取之前的任何写——而“可见副作用”的定义是用于约束那些有HB关系的场景，和relaxed操作的自由读取行为并不矛盾。

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