std::is_trivially_copyable 用于判断类型是否可安全通过 memcpy 位拷贝，要求其特殊成员函数平凡、无虚函数/虚基类、所有成员及基类同样满足该条件，且对象布局连续；它支撑 memcpy 优化、内存重定位、bit_cast 等高性能操作。
std::is_trivially_copyable 是 C++ 标准库中一个编译期类型特征（type trait），用于判断某个类型是否“可平凡拷贝”——即该类型的对象能否安全地通过 memcpy 进行位拷贝（bitwise copy），而不会引发未定义行为或逻辑错误。
它到底在检查什么？
一个类型 T 被认为是 trivially copyable，当且仅当满足以下所有条件：
- T 的拷贝构造函数、移动构造函数、拷贝赋值运算符、移动赋值运算符和析构函数，都是“平凡的”（trivial）或被显式删除（=delete）；
- T 没有虚函数、虚基类；
- T 的所有非静态数据成员和直接基类也都是 trivially copyable；
- T 的对象表示（object representation）是连续的、无填充间隙干扰的字节序列（即布局可预测）。
简单说：它不关心你有没有写拷贝函数，只关心这些函数是不是“编译器自动生成的、不做额外操作”的那种。例如 int、std::array、struct Point { float x,y; }; 都是 trivially copyable；而带自定义拷贝构造函数、含 std::string 成员、或有虚函数的类则不是。
为什么这个 trait 和性能优化强相关？
因为它是编译器进行底层优化的重要依据，也是程序员做安全手工优化的前提：
立即学习“C++免费学习笔记（深入）”；
- 允许用
memcpy替代循环调用拷贝构造函数（比如 vector 扩容时批量复制元素）； - 支持
std::memmove/std::memcpy安全重定位对象（如std::vector内部内存迁移）； - 启用某些容器的“无异常保证”（如
std::vector::resize在 trivially copyable 类型下可避免异常路径）； - 配合
std::bit_cast（C++20）实现类型间无开销转换； - 为 SIMD 批量处理、序列化/反序列化提供安全前提（比如直接读写二进制 blob）。
怎么用？常见误判点提醒
使用方式很简单：
static_assert(std::is_trivially_copyable_v, "MyStruct must be trivially copyable");
但要注意几个容易踩坑的地方：
- 即使所有成员都是 trivially copyable，如果加了
= default的拷贝构造函数，它就不再是“平凡的”（除非编译器仍能将其视为 trivial —— 实际取决于是否满足 ISO 规则，而非写法）； - 有
const或引用成员的类通常不是 trivially copyable（因为默认拷贝构造函数不是 trivial）； - 继承链中任一基类不满足条件，整个派生类就不满足；
- 注意
std::is_pod已弃用，std::is_trivially_copyable是更精确、更现代的替代。
元编程中如何利用它做条件优化？
结合 if constexpr 可以写出零开销分支：
templatevoid fast_copy(T* dst, const T* src, size_t n) { if constexpr (std::is_trivially_copyable_v ) { std::memcpy(dst, src, n * sizeof(T)); } else { for (size_t i = 0; i < n; ++i) new (&dst[i]) T(src[i]); } }
这种写法在编译期就剔除了冗余逻辑，运行时完全无分支预测开销。类似思路广泛用于 std::vector、std::span、序列化库等对性能敏感的场景。
基本上就这些。它不复杂，但容易忽略细节；用好了，就是元编程里最实在的性能杠杆之一。
