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