在C++中使用std::is_trivially_default_constructible模版类及示例

在C++中，有很多的模版类可以帮助我们进行类型判断。std::is_trivially_default_constructible就是其中之一，它可以用来判断一个类型是否具有平凡的默认构造函数。

一个类被称为平凡的默认构造函数，当且仅当以下情况成立：

它有默认的构造函数
所有的非静态成员都是平凡的或者没有非平凡的构造、析构或者赋值操作

std::is_trivially_default_constructible模版类会返回一个bool类型的值，表示一个类型是否具有平凡的默认构造函数。下面是一个示例代码：

#include <iostream>
#include <type_traits>

struct TrivialStruct {
    int x;
};

struct NonTrivialStruct {
    int x;
    NonTrivialStruct() {}
};

int main() {
    std::cout << std::boolalpha;
    std::cout << std::is_trivially_default_constructible<int>::value << std::endl; // true
    std::cout << std::is_trivially_default_constructible<TrivialStruct>::value << std::endl; // true
    std::cout << std::is_trivially_default_constructible<NonTrivialStruct>::value << std::endl; // false
    return 0;
}

在这个示例代码中，我们定义了三个结构体：TrivialStruct、NonTrivialStruct和默认的结构体。TrivialStruct中只有一个int类型的成员，而NonTrivialStruct中有一个构造函数，这违反了默认构造函数平凡性的要求。我们尝试在main函数中使用std::is_trivially_default_constructible来检查这三个结构体类型是否具有平凡的默认构造函数。最后的输出结果如下所示：

true
true
false

从输出结果中可以看出，int类型的变量和TrivialStruct类型的变量都具有平凡的默认构造函数，而NonTrivialStruct类型的变量则没有。这也验证了std::is_trivially_default_constructible模版类的功能。

除此之外，std::is_trivially_default_constructible模版类还有一个兄弟模版std::is_default_constructible。它的作用是判断一个类型是否具有默认构造函数，而不是平凡的默认构造函数。如果一个类型具有默认构造函数，但不是平凡的，默认的is_default_constructible返回true，而is_trivially_default_constructible返回false。

#include <iostream>
#include <type_traits>

struct TrivialStruct {
    int x;
};

struct NonTrivialDefaultStruct {
    int x;
    NonTrivialDefaultStruct() = default;
};

struct NonTrivialStruct {
    int x;
    NonTrivialStruct() {}
};

int main() {
    std::cout << std::boolalpha;
    std::cout << std::is_default_constructible<int>::value << std::endl; // true
    std::cout << std::is_default_constructible<TrivialStruct>::value << std::endl; // true
    std::cout << std::is_default_constructible<NonTrivialDefaultStruct>::value << std::endl; // true
    std::cout << std::is_default_constructible<NonTrivialStruct>::value << std::endl; // true
    std::cout << std::is_trivially_default_constructible<int>::value << std::endl; // true
    std::cout << std::is_trivially_default_constructible<TrivialStruct>::value << std::endl; // true
    std::cout << std::is_trivially_default_constructible<NonTrivialDefaultStruct>::value << std::endl; // false
    std::cout << std::is_trivially_default_constructible<NonTrivialStruct>::value << std::endl; // false
    return 0;
}

从上述代码中我们可以看到，除了NonTrivialStruct之外，所有的结构体类型都具有默认构造函数。在NonTrivialDefaultStruct中，我们使用关键字=default来定义默认的构造函数，这使得它具有默认构造函数，而std::is_default_constructible也返回true。但是，由于它的构造函数并不是平凡的，因此std::is_trivially_default_constructible返回false。