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

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

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

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

常见误解：以为 std::is_default_constructible_v> 为 false 就代表不能默认构造——其实它是 true，因为 std::vector 有公有默认构造函数；但 std::is_default_constructible_v> 也是 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++免费学习笔记（深入）”；