C++如何判定类是否满足平凡拷贝要求 _ std::is_trivially_copyable【干货】

先说几个关键点。std::is_trivially_copyable 到底是用来判断“能不能安全地 memcpy”，还是只是一个纯编译期的类型标记？两者的区别，恰是很多 C++ 开发者容易踩坑的地方。

答案是：能，但有个前提——类必须满足 C++ 标准里严格定义的 trivially copyable 语义。它并不是一个运行时的“是否崩溃”探测器，而是编译器在编译期对类型布局和语义做出的静态断言。换句话说，如果类型不满足条件，你用 memcpy 去复制，结果就是未定义行为。举个例子，对含虚函数、非平凡析构函数或引用成员的类强行 memcpy，即使 std::is_trivially_copyable_v 为 false，你也硬要复制，那么段错误或对象状态损坏几乎是必然的。

那么，哪些成员会直接让这个 trait 返回 false？

• 类中有引用类型的非静态成员（比如 int&、const std::string& 等）
• 用户声明了拷贝/移动构造函数、拷贝/移动赋值运算符或析构函数——哪怕函数体是空的
• 含有虚函数或虚基类
• 某个非静态数据成员或基类本身就不是 trivially copyable

需要注意，std::string、std::vector、std::shared_ptr 这类标准容器或智能指针，内部都有指针、计数器或非平凡析构逻辑，它们自然不满足条件。

再举个更具体的例子。假设我们定义了一个结构体 struct A { int x; std::string s; };，尽管我们没有写任何特殊成员函数，但 std::string 本身就不是 trivially copyable 的——它有非平凡析构函数、拷贝构造函数，内部还管理动态内存。因此，编译器合成的拷贝/移动操作会因 s 的存在而变成非平凡，进而“污染”整个类型 A，使其也不满足 trivially copyable。验证方法很简单：

static_assert(!std::is_trivially_copyable_v, "A must not be trivially copyable");