std::atomic<bool>是否为平凡可复制类型？编译器结果为何不同？

问题背景 #

用于判断std::atomic<bool>是否为平凡可复制类型的测试代码如下：

#include <atomic>
#include <iostream>
#include <type_traits>

int main(){
    std::cout << std::boolalpha;
    std::cout << std::is_trivially_copyable_v<std::atomic<bool>> << "\n";
}

在GCC 15.2和Clang 21.1中，这段代码的运行结果为true；但在最新版MSVC 19中，结果为false。

标准分析 #

根据C++标准：

• 平凡可复制类型要求所有复制/移动构造函数、复制/移动赋值运算符都是平凡的，且拥有平凡析构函数。
• 对于std::atomic<T>模板，标准并未强制要求其特化版本必须是平凡可复制类型，仅规定需满足"可复制赋值"的基础要求。原子类型的成员函数是否平凡，允许实现根据平台特性和底层实现策略自行决定。

结论 #

这种差异属于实现相关的行为：

• GCC和Clang将std::atomic<bool>实现为平凡可复制类型，符合标准允许的范围；
• MSVC的实现不满足平凡可复制性，同样没有违反标准。

本质是不同编译器厂商针对原子布尔类型的底层实现策略不同——比如MSVC可能为保证原子操作的线程安全性，给std::atomic<bool>添加了非平凡成员函数或额外内部状态，导致其不符合平凡可复制的条件。

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