C++的 std::is_default_constructible 模板及示例

在C++11标准中，加入了许多类型属性模板，其中包括了is_default_constructible模板，用于判断一个类型是否有默认构造函数。因为在某些情况下，需要在编译期间确定一个类型是否有默认构造函数。在使用该模板时需要包含头文件。

以下示例代码演示了如何使用is_default_constructible模板来确定类型是否有默认构造函数：

#include <iostream>
#include <type_traits>

class A {
public:
    A(int a): m_a(a) { }
private:
    int m_a;
};

class B {
public:
    B() = default;
private:
    double m_b;
};

int main() {
    std::cout << std::boolalpha;
    std::cout << "Class A is default constructible: " << std::is_default_constructible<A>::value << '\n';
    std::cout << "Class B is default constructible: " << std::is_default_constructible<B>::value << '\n';
    std::cout << "Basic type int is default constructible: " << std::is_default_constructible<int>::value << '\n';
    std::cout << "Array of type int is default constructible: " << std::is_default_constructible<int[]>::value << '\n';
    return 0;
}

输出结果为：

Class A is default constructible: false
Class B is default constructible: true
Basic type int is default constructible: true 
Array of type int is default constructible: false

在上述示例代码中，我们定义了两个类A和B，分别设置了构造函数和默认构造函数。然后分别使用is_default_constructible模板来判断是否有默认构造函数，最后还演示了一些基本类型和数组类型的情况。

注意，当一个类型不具有默认构造函数时，is_default_constructible模板的value成员变量会被设置为false，否则为true。