std::is_trivially_copyable 判断类型能否通过 memcpy 安全复制，不触发构造/析构/赋值；它不是“能用=拷贝”或“有拷贝构造函数”的同义词，如含虚函数、引用成员、std::string 的类均不满足。
std::is_trivially_copyable 是什么，不是什么
std::is_trivially_copyable 判断的是类型是否满足「可平凡拷贝」——即其对象能通过 memcpy 安全复制，不触发构造、析构或赋值逻辑。它**不等价于「能用 = 拷贝」或「编译器允许 copy constructor」**。比如含虚函数、非平凡析构函数、引用成员、std::string 的类，即使定义了拷贝构造函数，也**不是 trivially copyable**。
常见误判点：std::vector、std::unique_ptr、任何含 std::mutex 或自定义析构函数的类型，返回 false；而 int、std::array、纯 POD 结构体（无用户定义构造/析构/赋值、无虚函数、无非静态引用）返回 true。
在模板中静态断言 trivially copyable 性质
若你写泛型容器或序列化工具，需要确保传入类型支持 memcpy 级别操作，就该在编译期拦截非平凡类型。用 static_assert + std::is_trivially_copyable_v 最直接：
templateclass FastBuffer { static_assert(std::is_trivially_copyable_v , "T must be trivially copyable for memcpy-based storage"); T* data_; size_t size_; };
注意必须用 std::is_trivially_copyable_v（C++17 起），而非 std::is_trivially_copyable，否则模板实例化失败时错误信息极难读。
立即学习“C++免费学习笔记（深入）”；
- 若 T 是
std::string，报错会明确指出"T must be trivially copyable..."，而不是一长串 trait 嵌套失败堆栈 - 不能只靠
std::is_copy_constructible_v替代——后者对std::unique_ptr也返回true，但它绝不可memcpy - 对
union类型要格外小心：哪怕所有成员都是 trivially copyable，若 union 含非 trivial 析构函数（如含std::string成员），整个 union 就不是 trivially copyable
运行时无法用 is_trivially_copyable 做分支
std::is_trivially_copyable 是编译期常量表达式，**不能用于 if 或 switch 运行时判断**。下面写法是错的：
void process(const void* src, size_t n) {
if (std::is_trivially_copyable_v) { // ❌ 编译错误：非类型模板参数不能出现在运行时上下文
memcpy(dst, src, n);
} else {
// ...
}
} 正确做法是用 if constexpr（C++17）做编译期分发：
templatevoid process(const T* src, size_t n) { if constexpr (std::is_trivially_copyable_v ) { memcpy(dst, src, n * sizeof(T)); } else { for (size_t i = 0; i < n; ++i) new (dst + i) T(src[i]); // placement new } }
关键点：if constexpr 分支内代码必须语法合法（即使不参与实例化），所以 else 分支里不能出现仅对 trivial 类型有效的操作（如裸 memcpy 调用），除非也包裹在 if constexpr 中。
和 std::is_trivial、std::is_pod 的关系容易混淆
std::is_trivially_copyable 是三者中约束最弱的一个：
-
std::is_trivial_v⇒std::is_trivially_copyable_v（但反过来不成立） -
std::is_pod_v⇒std::is_trivial_v（POD 要求更严：还必须是标准布局 + trivial） - 例如：空基类优化后的结构体可能
is_trivially_copyable为true，但因含虚函数而不is_trivial - 实际工程中，只要目标是安全
memcpy，只检查is_trivially_copyable即可，不必上溯到is_pod
真正容易被忽略的是：**继承链中任意基类破坏 trivially copyable，整个派生类就失效**。哪怕你没加任何成员，只要基类有虚析构函数，派生类立刻不是 trivially_copyable。
