int*转换为std::atomic<int>*的合法性及原因问询

• 编译合法但行为未定义：你看到的C式强制转换在编译层面是允许的，但C++标准并未定义这种跨类型转换后的行为，除非目标类型和源类型满足「布局兼容」的严格条件。
• 依赖非标准编译器行为：这段代码的写法隐含一个未被标准强制的假设——std::atomic<int>和int的内存布局完全一致（底层字节表示相同）。主流编译器（GCC、Clang、MSVC）确实会为std::atomic<T>和T生成相同的内存布局以优化性能，但这属于编译器扩展，而非C++标准要求。
• 代码意图与风险：这段代码的目的是对原本声明为volatile int的变量执行原子操作，避免多线程环境下的竞态问题。但这种写法不规范，一旦编译器改变内存布局实现，代码会出现不可预测的错误。
• 标准合规的替代方案：
  • 若可修改变量声明，直接将变量定义为std::atomic<int>，这是最安全的做法。
  • 若无法修改变量类型（如遗留代码），C++20及以上版本可使用std::atomic_ref<int>绑定普通int变量，通过标准接口执行原子操作，无需依赖编译器扩展。

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