判断c++类型是否具有平凡默认构造函数需满足iso标准严格定义：①包含并用std::is_trivially_default_constructible_v编译期判断；②t必须是完整类型；③手动核查类无虚函数/虚基类、所有成员及基类均平凡；④避免类外定义= default；⑤gcc/clang可用__has_trivial_constructor辅助诊断。
要判断一个C++类型是否具有平凡默认构造函数，不能只看它有没有写MyClass() = default;，必须检查其所有非静态成员和基类是否都满足ISO C++标准中对“trivial”的严格定义——否则编译器会静默降级为非平凡构造，导致std::is_trivially_default_constructible_v<t></t>返回false，进而影响POD布局、零初始化语义和memcpy安全性。
用标准类型特征直接判断
在编译期获取结果，最权威且无副作用：
① 包含头文件：#include <type_traits></type_traits>；
② 使用std::is_trivially_default_constructible_v<t></t>：该变量为true当且仅当T是可默认构造的，且其默认构造函数是平凡的（即不执行任何操作，不调用任何用户定义或非平凡的子对象构造函数）；
③ 注意：该特征要求T必须是完整类型，若在类定义体内（如static_assert中）对自身使用，需确保类型已完全定义——【否则触发SFINAE失败或硬错误】；
④ 示例：static_assert(std::is_trivially_default_constructible_v<int>); // 通过</int>，但static_assert(std::is_trivially_default_constructible_v<:string>); // 失败</:string>，因为std::string的默认构造会分配内存并设置内部状态。
手动验证平凡默认构造的必要条件
当你无法依赖std::is_trivially_default_constructible（例如在模板元编程中需要推导原因），或想理解为何某个类型被判定为非平凡时，需逐项核查：
方法一：检查类定义本身
— 默认构造函数必须是隐式声明的，或显式声明为= default且位于类首声明处（不能在类外定义）；
— 类不能有虚函数、虚基类；
— 所有非静态数据成员的类型，以及所有基类，都必须具有平凡默认构造函数；
方法二：检查成员变量
若类中包含std::vector<int> v;</int>或std::mutex mtx;等成员，即使类本身没写任何构造函数，整个类也自动失去平凡性——因为这些类型的默认构造函数是非平凡的（会进行资源分配或初始化锁状态）；
方法三：检查继承链
哪怕派生类什么都没做，只要有一个基类的默认构造函数不是平凡的（例如基类中含std::string name;），整个派生类就不可能拥有平凡默认构造函数；
这一步容易被忽略：继承关系中的平凡性是传递的，且不可绕过。
用编译器扩展辅助诊断（GCC/Clang）
当std::is_trivially_default_constructible_v<t></t>返回false但你不确定原因时，可借助编译器内置特性定位具体破坏点：
在类定义后添加一行：static_assert(__has_trivial_constructor(T), "T lacks trivial constructor");（GCC/Clang支持）；
如果断言失败，编译器会指出哪条成员或基类违反了条件；
注意：__has_trivial_constructor是过时扩展，仅用于调试，不可用于跨平台代码；
它比标准trait更早报错，能暴露未实例化的模板成员问题。
构造函数定义位置的关键陷阱
以下写法看似无害，实则直接破坏平凡性：
在头文件中声明：struct A { A(); };，然后在CPP中定义：A::A() = default;；
这种分离定义会使默认构造函数变为用户提供的（user-provided），哪怕内容是= default，也不再是trivial；
【必须在类内声明时就写成A() = default;或完全不写（让编译器隐式声明）】；
隐式声明的构造函数才可能平凡；一旦在类外定义，哪怕只是= default，也丧失平凡资格。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
