一个类“可被拷贝”需同时满足 std::is_copy_constructible_v 和 std::is_copy_assignable_v 为 true；仅检查其一或依赖 std::is_trivially_copyable 均不可靠，因后者不验证操作的可访问性。
用 std::is_copy_constructible 和 std::is_copy_assignable 判断拷贝能力
一个类是否“可被拷贝”，实际包含两个独立操作：能用另一个对象构造（拷贝构造），以及能用另一个对象赋值（拷贝赋值）。C++ 标准库提供两个类型特质（type traits）直接检查：std::is_copy_constructible 和 std::is_copy_assignable。它们在编译期返回 std::true_type 或 std::false_type，可用于 static_assert、SFINAE 或 if constexpr。
注意：两者必须同时为真，才可认为该类型“支持完整拷贝语义”。只看其中一个会漏判——比如禁用了拷贝赋值但保留了拷贝构造的类，仍不能安全地“拷贝”。
示例：
struct NonCopyable {
NonCopyable(const NonCopyable&) = delete;
NonCopyable& operator=(const NonCopyable&) = delete;
};
static_assert(!std::is_copy_constructible_v<noncopyable>);
static_assert(!std::is_copy_assignable_v<noncopyable>);</noncopyable></noncopyable>
为什么不能只靠 std::is_trivially_copyable？
std::is_trivially_copyable 检查的是“是否能用 memcpy 安全复制”，它要求类型不含非平凡析构函数、非平凡拷贝/移动操作，且所有成员也满足。但它不保证拷贝构造函数或拷贝赋值运算符是公开、可访问、未被删除的。
常见误用场景：
- 类有
private拷贝构造函数 →std::is_trivially_copyable可能为true，但实际无法拷贝 - 类继承自不可拷贝基类 → 拷贝操作被隐式删除，
std::is_trivially_copyable仍可能为true（若基类本身 trivial） - 成员含
std::unique_ptr→std::is_trivially_copyable为false，但这也只是“trivial”层面失败，不等于“不可拷贝”（其实它根本不可拷贝）
结论：std::is_trivially_copyable 是更强、更窄的约束，不能替代对拷贝操作本身的可访问性检查。
遇到模板参数时，如何安全启用拷贝逻辑？
在泛型代码中（如容器实现、算法封装），常需根据类型是否可拷贝来分支处理。推荐用 if constexpr + 类型特质，而非 SFINAE（后者语法冗长且可读性差）。
实操要点：
- 用
std::is_copy_constructible_v<t></t>和std::is_copy_assignable_v<t></t>做if constexpr条件 - 避免仅检查
std::is_copy_constructible_v<t></t>就执行赋值操作 - 若需“深拷贝语义”，还要额外确认成员是否真正支持拷贝（类型特质只检查接口，不验证逻辑正确性）
示例：
template <typename t>
void maybe_copy(T& dst, const T& src) {
if constexpr (std::is_copy_constructible_v<t> &&
std::is_copy_assignable_v<t>) {
dst = src; // 安全调用
} else {
// fallback: static_assert or throw
}
}</t></t></typename>
容易忽略的继承与友元影响
拷贝操作的可访问性受继承关系和友元声明直接影响，而类型特质反映的是最终合成结果，不是源码表面定义。
典型陷阱：
- 派生类未显式定义拷贝构造，但基类拷贝构造为
protected或private→ 合成的拷贝构造不可访问 →std::is_copy_constructible_v<derived></derived>为false - 类将某个函数声明为
friend，该函数内部调用私有拷贝构造 → 对外仍不可拷贝，类型特质仍返回false - 使用
= default显式定义拷贝操作，但成员含不可拷贝类型 → 编译器隐式将其标记为delete→ 类型特质如实返回false
调试建议：当 std::is_copy_constructible_v<t></t> 返回 false 却找不到显式 = delete 时，优先检查基类、成员、以及访问控制链。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
