std::is_default_constructible_v检查类型T是否存在可访问、未删除、非explicit的默认构造函数；对内置类型返回true，对explicit或deleted默认构造函数的类返回false，用于编译期约束而非运行时判断。
std::is_default_constructible 是什么，它到底检查什么
它检查的是类型 T 是否**存在至少一个默认构造函数（含隐式生成的）且该构造函数可被访问、不被删除、不被 explicit 修饰（对类类型而言）**。不是“能不能写 T{}”，而是“编译器是否允许在无参数时调用构造逻辑”。
常见误解：以为 std::is_default_constructible_v<:vector>></:vector> 为 false 就代表不能默认构造——其实它是 true，因为 std::vector 有公有默认构造函数；但 std::is_default_constructible_v<:unique_ptr>></:unique_ptr> 也是 true，尽管其默认构造后值为空指针，这仍算“可默认构造”。
- 对内置类型（如
int、double）返回true，它们支持值初始化（T{}） - 对带
explicit默认构造函数的类（如class X { explicit X() = default; };），结果是false—— 这是关键坑点 - 对删除了默认构造函数的类（
X() = delete;），自然是false - 对没有默认构造函数、仅有带参构造的类（
X(int);且未声明/定义默认构造），也是false
为什么 std::is_default_constructible_v 在模板中常配合 SFINAE 或 requires 使用
单纯取值判断没意义，真正用途是在编译期做约束，避免实例化非法类型。比如你写一个通用容器初始化函数：
template <typename T>
auto make_default() {
if constexpr (std::is_default_constructible_v<T>) {
return T{};
} else {
static_assert(sizeof(T) == 0, "T must be default-constructible");
}
}
但更现代、更安全的做法是用 requires：
立即学习“C++免费学习笔记（深入）”；
template <typename T>
requires std::is_default_constructible_v<T>
T make_default() {
return T{};
}
- 用
if constexpr+std::is_default_constructible_v适合分支逻辑复杂、需要 fallback 的场景 - 用
requires更直接，失败时错误信息更清晰（指向约束不满足，而非某行T{}报错） - 别在非模板上下文中滥用：对具体类型硬编码判断（如
static_assert(std::is_default_constructible_v<myclass>)</myclass>）通常不如直接尝试构造并看编译器报错来得直观
和 std::is_trivially_default_constructible、std::is_nothrow_default_constructible 的区别
三者层层递进，不是互斥替代，而是不同粒度的检查：
-
std::is_default_constructible_v<t></t>：最宽泛，只要语法上允许默认构造即可（哪怕抛异常、调用用户自定义构造函数） -
std::is_trivially_default_constructible_v<t></t>：要求构造过程是“平凡的”——即不调用任何用户定义构造函数，仅做零初始化或位拷贝（适用于 POD 类型、空类等） -
std::is_nothrow_default_constructible_v<t></t>：要求默认构造函数明确标记为noexcept（或隐式满足），否则为false
例如：std::string 是 default_constructible（✅），但不是 trivially_default_constructible（❌，因需分配内存），也不是 nothrow_default_constructible（❌，C++17 前其默认构造可能抛 std::bad_alloc）。
容易忽略的细节：数组、引用、cv 限定类型的处理
这些类型的行为反直觉，必须实测验证：
-
std::is_default_constructible_v<int></int>→true（数组类型本身可默认构造，元素被值初始化） -
std::is_default_constructible_v<int></int>→false（引用类型不可默认构造，必须绑定） -
std::is_default_constructible_v<const int></const>→false（const限定的非类类型无法默认构造，因为无法赋初值） -
std::is_default_constructible_v<const myclass></const>→ 取决于MyClass是否可默认构造；若可，则const MyClass也可（构造后再加 const 限定）
特别注意 const T 对内置类型的影响：它让类型失去默认构造能力，这点和类类型完全不同，容易在泛型代码中引发静默错误。
