c++中如何使用std::is_trivially_copyable判断可拷贝性_c++模板【实例】_技术教程

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 最直接：

template 
class 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::value，否则模板实例化失败时错误信息极难读。

若 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）做编译期分发：

template 
void 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 中。