Trivial 类型是 C++ 中可被 memcpy 直接操作的类型，需满足 trivial 默认构造、拷贝/移动构造与赋值、析构函数三条件；trivially copyable 是其重要子集，要求类型及其成员均可安全字节拷贝。
Trivial 类型是 C++ 中一类具有“简单内存布局”和“无特殊行为”的类型，它的核心意义在于：编译器可以不调用构造/析构/拷贝函数，直接以 memcpy 方式进行对象的创建、复制和销毁——这是零开销抽象和底层操作（如序列化、内存池、std::vector 重分配）的底层保障。
trivial 类型的三大条件
一个类型 T 是 trivial 的，当且仅当它同时满足以下三条（C++11 起标准定义）：
- Trivial default constructor：默认构造函数是 trivial 的（即未被用户显式定义，或 = default 且所有子对象都 trivial）；
- Trivial copy/move constructor & assignment：拷贝/移动构造与赋值函数均为 trivial（同样未被用户定义，或 = default 且成员/基类均 trivial）；
- Trivial destructor：析构函数是 trivial 的（未被用户定义，或 = default，且所有子对象析构也 trivial）。
注意：trivial 不要求类型是 POD（Plain Old Data），也不要求是标准布局（standard-layout），更不要求可平凡复制（trivially copyable）——但后者是其重要子集。
trivially copyable（可平凡复制）类型
这是实际开发中最常接触的 trivial 相关概念。一个类型 T 是 trivially copyable，当且仅当：
立即学习“C++免费学习笔记（深入）”；
- T 是 trivial 的；
- T 的所有非静态数据成员和基类都是 trivially copyable；
- T 没有 volatile 限定的非静态数据成员（否则 memcpy 可能破坏语义）。
关键性质：对 trivially copyable 对象的字节拷贝（如 memcpy(dst, src, sizeof(T))）是合法且定义良好的，结果等价于调用拷贝构造函数（前提是 dst 已正确构造或为未初始化内存）。这也是 std::memcpy、std::memmove、std::bit_cast 等底层操作的前提。
常见 trivially copyable 类型包括：int、double、指针、std::array
如何检查一个类型是否 trivial 或 trivially copyable
C++11 起提供标准类型特征（type traits）：
-
std::is_trivial_v<t></t>：判断 T 是否为 trivial 类型； -
std::is_trivially_copyable_v<t></t>：判断 T 是否为 trivially copyable； -
std::is_pod_v<t></t>（已弃用，C++20 中移除）：POD = trivial + standard-layout，现已拆分为两个独立概念。
例如：
struct S { int x; double y; }; // trivially copyable ✅<br>struct T { S s; T() {} }; // 非 trivial（用户定义构造函数）❌<br>struct U { virtual void f(); }; // 非 trivial（有虚函数）❌<br>static_assert(std::is_trivially_copyable_v<S>);
为什么 trivial 和 trivially copyable 很重要
它们是 C++ 实现“零开销”和互操作性的基石：
- std::vector 重分配：若元素是 trivially copyable，vector 可直接 memmove 内存块，无需逐个调用移动构造；
- 序列化/反序列化：可安全地将对象二进制 dump 到文件或网络，再 memcpy 回内存（需保证内存对齐、端序、ABI 兼容）；
- union 和 std::variant 底层实现：依赖 trivially copyable 来避免未定义行为；
- constexpr 和模板元编程：trivial 类型更容易参与编译期计算（如 std::is_trivially_copyable 是字面量类型）。
不复杂但容易忽略：哪怕只加一个空的用户构造函数 T() {}，类型就立刻失去 trivial 属性——这不是语法糖问题，而是语义契约的断裂。
