直接用 std::is_trivially_copyable_v<T> 在编译期判断类型是否平凡可拷贝，它仅检查语言规则（无用户自定义拷贝/移动/析构、所有成员和基类均满足），不保证 memcpy 安全或 memcmp 有效。
怎么用 std::is_trivially_copyable 判断类是否平凡可拷贝
直接用 std::is_trivially_copyable_v<t></t>，它在编译期给出布尔常量，不是运行时检查。适用于模板约束、static_assert 或 SFINAE 场景。
注意：这个 trait 检查的是「类型是否满足 C++ 标准定义的平凡可拷贝要求」，和你手动 memcpy 是否安全是两回事——前者是语言规则，后者还依赖对象当前状态（比如指针是否有效、是否有外部资源绑定）。
-
std::is_trivially_copyable_v<myclass></myclass>返回true，只说明该类型没有用户自定义的拷贝/移动构造函数、析构函数，且所有非静态成员和基类也都满足此要求 - 即使返回
true，若类内含虚函数或虚基类，仍可能因 vptr/vtable 偏移导致 memcpy 后行为未定义（但标准仍认为它是 trivially copyable） - 空类、POD 类、纯数据结构（如
struct Point { int x, y; };）通常为true；含std::string、std::vector或任何非 trivial 成员的类一定为false
为什么 memcpy 有时能用，但 std::is_trivially_copyable 却返回 false
常见误解：以为“能 memcpy 就等于 trivially copyable”。其实不然——std::is_trivially_copyable 是语法+语义双重限制，而 memcpy 是底层字节操作，只要内存布局稳定、无副作用，人手写也能“凑合跑”。
典型反例：std::array<int></int> 是 trivially copyable；但 std::vector<int></int> 不是，哪怕你只 memcpy 它的内部指针和 size/capacity 字段（跳过 allocator 状态），也会造成浅拷贝问题。
立即学习“C++免费学习笔记（深入）”；
- 用户自定义了
operator=？→ 即使没动拷贝逻辑，也会让类型变成 non-trivial →std::is_trivially_copyable_v为false - 类里有
const或引用成员？→ 无法默认生成拷贝赋值，破坏 triviality - 继承链中某个基类有非 trivial 析构函数？→ 整个派生类自动失去 trivially copyable 资格
用 static_assert 在编译期拦截非平凡类型
适合做序列化、零拷贝通信、GPU 内存映射等场景的前置校验。比运行时报错更早发现问题。
struct Packet {
int id;
float data[16];
};
static_assert(std::is_trivially_copyable_v<Packet>, "Packet must be trivially copyable for DMA");
如果后续有人给 Packet 加了个 std::mutex 成员，编译直接失败，而不是等到 memcpy 后 segfault 才暴露。
- 别只 assert 主类型，记得检查嵌套成员（如
std::is_trivially_copyable_v<decltype></decltype>对数组也成立） - Clang/GCC 在 -Wnon-trivial-memcpy 下会警告对 non-trivial 类型使用
memcpy，但不会警告std::copy或std::memcpy的调用本身 - 注意：C++20 起，
std::is_trivially_copyable对 union 类型行为更严格，含非 trivial 成员的 union 默认为false
平凡可拷贝 ≠ 可按位比较（std::memcmp 安全）
这是最容易忽略的一点：一个类可以是 trivially copyable，但依然不能用 memcmp 判断相等。
原因在于填充字节（padding bytes）内容未定义。比如两个逻辑相同的 struct { char a; int b; } 对象，它们的 padding 区域可能包含任意垃圾值，memcmp 会返回不等。
- 只有满足
std::is_standard_layout_v<t> && std::has_unique_object_representations_v<t></t></t>（C++20）才能保证 memcmp 安全 -
std::is_pod_v<t></t>（已弃用）曾隐含这两点，但现在需显式组合判断 - 如果你真需要 memcmp 级别比较，优先用
operator==，或用std::bit_cast（C++20）转成std::array<:byte sizeof></:byte>后逐字节处理（仍要小心 padding）
