C++中std::is_default_constructible怎么判断构造函数_C++属性检查【模板】

std::is_default_constructible_v检查类型T是否存在可访问、未删除、非explicit的默认构造函数；对内置类型返回true，对explicit或deleted默认构造函数的类返回false，用于编译期约束而非运行时判断。

std::is_default_constructible 是什么，它到底检查什么

它检查的是类型 T 是否**存在至少一个默认构造函数（含隐式生成的）且该构造函数可被访问、不被删除、不被 explicit 修饰（对类类型而言）**。不是“能不能写 T{}”，而是“编译器是否允许在无参数时调用构造逻辑”。

常见误解：以为 std::is_default_constructible_v<:vector>> 为 false 就代表不能默认构造——其实它是 true，因为 std::vector 有公有默认构造函数；但 std::is_default_constructible_v<: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  auto make_default() {     if constexpr (std::is_default_constructible_v) {         return T{};     } else {         static_assert(sizeof(T) == 0, "T must be default-constructible");     } }

但更现代、更安全的做法是用 requires：

立即学习“C++免费学习笔记（深入）”；

template      requires std::is_default_constructible_v T make_default() {     return T{}; }

• 用 if constexpr + std::is_default_constructible_v 适合分支逻辑复杂、需要 fallback 的场景
• 用 requires 更直接，失败时错误信息更清晰（指向约束不满足，而非某行 T{} 报错）
• 别在非模板上下文中滥用：对具体类型硬编码判断（如 static_assert(std::is_default_constructible_v)）通常不如直接尝试构造并看编译器报错来得直观

和 std::is_trivially_default_constructible、std::is_nothrow_default_constructible 的区别

三者层层递进，不是互斥替代，而是不同粒度的检查：

• std::is_default_constructible_v：最宽泛，只要语法上允许默认构造即可（哪怕抛异常、调用用户自定义构造函数）
• std::is_trivially_default_constructible_v：要求构造过程是“平凡的”——即不调用任何用户定义构造函数，仅做零初始化或位拷贝（适用于 POD 类型、空类等）
• std::is_nothrow_default_constructible_v：要求默认构造函数明确标记为 noexcept（或隐式满足），否则为 false

例如：std::String 是 default_constructible（✅），但不是 trivially_default_constructible（❌，因需分配内存），也不是 nothrow_default_constructible（❌，c++17 前其默认构造可能抛 std::bad_alloc）。

容易忽略的细节：数组、引用、cv 限定类型的处理

这些类型的行为反直觉，必须实测验证：

• std::is_default_constructible_v → true（数组类型本身可默认构造，元素被值初始化）
• std::is_default_constructible_v → false（引用类型不可默认构造，必须绑定）
• std::is_default_constructible_v → false（const 限定的非类类型无法默认构造，因为无法赋初值）
• std::is_default_constructible_v → 取决于 MyClass 是否可默认构造；若可，则 const MyClass 也可（构造后再加 const 限定）

特别注意 const T 对内置类型的影响：它让类型失去默认构造能力，这点和类类型完全不同，容易在泛型代码中引发静默错误。