访问同一对象的不同成员是否需要进行同步操作？

核心结论 #

在你给出的「各线程仅访问专属对应成员、无交叉读写、所有子线程最终join回主线程」的前提条件下，两种场景都不需要额外添加任何同步操作。

这个结论的底层依据是C/C++内存模型的明确规则：每一个非位域的非静态数据成员都属于独立的内存位置，不同线程并发访问不同的独立内存位置，不会触发数据竞争，也不会产生未定义行为。

分场景说明 #

1. 对象为全局变量 #

• 全局对象在程序启动阶段、所有子线程运行前就会完成内存分配和构造，内存地址固定且有效。
• 两个线程分别读写A、B两个完全独立的内存位置，不存在访问重叠，没有数据竞争风险。
• 仅需保证全局对象在所有子线程运行周期内不会被提前析构即可，无需加锁、原子操作等同步手段。

2. 对象为通过指针访问的堆对象 #

• 只要保证堆对象在两个子线程启动前就完成new分配和构造操作，那么A、B两个成员依旧是独立内存位置，并发访问无冲突。
• 唯一需要注意的约束是：堆对象的delete释放操作必须放在所有子线程都join回主线程之后执行，避免出现野指针访问问题，除此之外不需要额外同步。

例外情况提示 #

如果A、B是类中定义的相邻位域成员，则属于例外场景：相邻位域会共享同一个内存存储单元，并发读写会触发数据竞争，这种情况才需要加同步操作。普通非位域成员不存在这个问题。

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