应使用 std::is_trivially_default_constructible_v 而非 std::is_default_constructible_v，因后者仅检查是否可默认构造，不保证构造过程 trivial；前者才严格验证默认构造函数是否由编译器生成且无任何操作，满足零开销抽象需求。
不能只用 std::is_default_constructible_v 判断是否“平凡”——它只管能不能构造，不管构造过程是不是 trivial。
为什么 std::is_default_constructible_v 不够用
这个 trait 检查的是“编译器是否允许写 T{}”，不关心内部实现：哪怕类有个空的 {}; 构造函数（非 trivial），它也返回 true；而一个带 = default 且所有成员/基类都 trivial 的类，才是你真正想识别的“平凡默认构造函数”。
- 常见错误现象：
std::is_default_constructible_v<mystruct></mystruct>是true，但MyStruct有手写的MyStruct() {}，导致它不能被memset初始化、不能放进union、不是 POD - 使用场景：做零开销抽象（如内存池、序列化、
std::memcpy安全拷贝）时，必须确认构造逻辑是 trivial 的 - 关键区别：
= default可能保留 trivial 属性；{}一定破坏它（哪怕函数体为空）
std::is_trivially_default_constructible_v 才是正解
C++11 起就有这个 trait，它才真正检查“默认构造是否由编译器生成且不做任何事”。它要求：
- 类型 T 存在可访问、未删除、非
explicit的默认构造函数 - 该构造函数是 trivial 的（即：要么是编译器隐式声明的，要么是显式用
= default声明的，且所有子对象也满足 trivial 条件） - 对内置类型（
int、double等）返回true
示例：
立即学习“C++免费学习笔记（深入）”；
struct A { }; // implicit trivial default ctor → true
struct B { B() = default; }; // explicit trivial → true
struct C { C() {} }; // user-provided, even empty → false
struct D { D() = delete; }; // deleted → false
struct E { explicit E() = default; }; // explicit → false (fails is_default_constructible_v too)
容易踩的坑：访问控制与友元不影响 is_trivially_default_constructible_v
和 std::is_default_constructible_v 不同，这个 trait **不检查访问权限**——它只看构造函数是否存在且 trivial。即使默认构造函数是 private 或 protected，只要它是 = default 且满足 trivial 条件，trait 就返回 true。
- 这意味着：你不能靠它判断“当前作用域能否调用默认构造”，只能判断“该类型在语言层面是否具备 trivial 默认构造能力”
- 典型误用：在模板中仅靠它做 SFINAE，却忘了后续实例化时仍可能因访问失败而报错
- 如果你真需要检查“friend 上下文里能否构造”，得结合其他技巧（如在 friend 内部写探测表达式），但那是另一层问题了
和 std::is_trivial_v 的关系别搞混
std::is_trivially_default_constructible_v<t></t> 只约束默认构造函数；而 std::is_trivial_v<t></t> 要求全部六个特殊成员函数（默认/拷贝/移动 构造 + 拷贝/移动 赋值 + 析构）都是 trivial 的。
- 所以
std::is_trivial_v<t></t>为true⇒std::is_trivially_default_constructible_v<t></t>必为true，但反过来不成立 - 常见疏漏：以为只要默认构造 trivial，整个类型就 trivial —— 实际上一个
trivial默认构造 + 非trivial拷贝构造，就让is_trivial_v失败 - 性能影响：只有
is_trivial_v全为true，才能安全用std::memcpy替代拷贝构造；单看默认构造 trivial 不够
真正要确认“能用 memset 初始化 + 放进 union + 二进制兼容”，得盯住 std::is_trivial_v；如果只是确保默认构造不带副作用、无运行时开销，std::is_trivially_default_constructible_v 就够用——但务必记住它不涉访问检查，也不保其他成员函数的 trivial 性。
