为保证单指针的可见性，是否无需使用同步机制？

根据Go内存模型中的描述：

否则，对单个字大小或更小内存位置的每次读取，都必须观察到该位置实际已写入（可能由并发执行的goroutine写入）且尚未被覆盖的值。

由于指针属于字大小类型，那么是否意味着仅为保证可见性无需使用同步机制？

回答 #

结论是：不能直接认为仅靠字大小指针的读写就能替代同步机制来保证可见性，原因如下：

• 这条规则仅保证单个字大小内存位置的读写可见性，但不保证关联操作的执行顺序。比如goroutine A先初始化结构体内容，再把指针赋值给全局变量；goroutine B读取指针后访问结构体字段。此时B可能看到了指针，但结构体的初始化操作可能还没对B可见——编译器或CPU可能重排了A的指令，把指针赋值提前到结构体初始化之前，这就会导致B访问到未初始化的字段。
• 规则里的"否则"是有前提的，即不能违反Go内存模型的其他约束。如果没有同步原语（比如channel、sync包组件、原子操作），就算指针读写是字大小，也无法保证并发逻辑的整体正确性，因为同步机制不仅管可见性，还负责维护操作的顺序一致性。
• 实际场景中几乎不存在孤立的指针读写操作，只要指针的读写关联了其他内存操作，就必须用同步机制来确保整个操作链的可见性和顺序性。只有在极端的、完全孤立的指针赋值+读取场景下，可能仅靠这条规则保证可见性，但这种情况几乎没有实用价值。

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