std::is_trivial 返回 true 仅表示类型满足标准定义的平凡性（默认构造、析构、拷贝/移动均为 trivial），但不保证成员内存布局安全或可无条件 memcpy；例如含自定义 defaulted 析构函数的类就非 trivial，而 std::is_trivially_copyable 才真正指示 memcpy 是否合法。
直接结论：用 std::is_trivial（C++11 起）或 std::is_trivially_copyable 等配套类型特质，但必须注意它只看类定义本身，不递归检查成员是否“真正安全”。
为什么 std::is_trivial 返回 true 不代表能随便 memcpy？
这个 trait 判断的是语言标准定义的“平凡类型”（trivial type），核心是：默认构造、析构、拷贝/移动全部是 trivial（即编译器可自动生成且无副作用）。但它不验证成员变量的实际内存布局或语义安全性。
常见误判场景：
- 类含
std::string成员 →std::is_trivial<t>::value</t>为false（正确，因为std::string非 trivial） - 类含
int*成员 + 自定义析构函数（哪怕只写~T() = default;）→ 若析构函数被显式声明（即使 defaulted），std::is_trivial就是false - 类所有函数都是 defaulted，但成员里有
std::vector<char></char>→ 整体仍是false，但std::is_trivially_copyable可能为true（注意区分！）
std::is_trivial 和 std::is_trivially_copyable 的关键区别
这是最容易混淆的一对：
立即学习“C++免费学习笔记（深入）”；
-
std::is_trivial<t></t>：要求T同时满足 trivial default constructible、trivial destructible、trivial copy/move constructible & assignable -
std::is_trivially_copyable<t></t>：只要求对象能通过memcpy正确复制（即析构/构造可非 trivial，但复制行为等价于字节拷贝）——比如std::array<int></int>是 trivially copyable，但不是 trivial（因含隐式析构） - 典型反例：
struct S { ~S() = default; int x; };→std::is_trivial<s>::value == false</s>，但std::is_trivially_copyable<s>::value == true</s>
实操：如何在编译期断言一个类是平凡类型？
别只靠注释或文档，用 static_assert 把约束写进代码：
struct MyPod {
int a;
double b;
// 所有成员都必须是 trivial 类型，且不能有用户声明的特殊成员函数
};
static_assert(std::is_trivial_v<MyPod>, "MyPod must be trivial for zero-cost serialization");
注意点：
- 必须用
std::is_trivial_v<t></t>（C++17）或std::is_trivial<t>::value</t>（C++11），不能漏掉_v或::value - 如果类模板化，断言要放在实例化点（如函数内或特化后），否则可能因未完成定义而失败
- 继承关系会影响结果：基类非 trivial → 派生类一定非 trivial；但基类 trivial 不能保证派生类 trivial（例如派生类加了自定义析构）
容易被忽略的兼容性陷阱
某些旧编译器（如 GCC 4.8 或 MSVC 2013）对 defaulted 函数的 trivial 性判定不严格，导致 std::is_trivial 返回与标准不符的结果。实际项目中：
- 若需跨平台保证，建议搭配
static_assert+ 显式测试（如std::is_standard_layout_v<t></t>和std::is_pod_v<t></t>在 C++20 前作辅助） - C++20 引入
std::is_trivially_relocatable（目前仅实验性支持，如 libc++ 的__is_trivially_relocatable），但尚未标准化，别在生产环境依赖 - 使用
memcpy前，除了is_trivially_copyable，还应确认alignof(T)和目标缓冲区对齐一致 —— 这个细节几乎没人查，但会引发未定义行为
