std::is_trivially_constructible在C++中的例子

在C++11标准中，引入了一些type traits，用于评估和处理类型信息。其中，std::is_trivially_constructible是很有用的一个，可以用于判断一个类型是否可以被默认构造。本文将介绍std::is_trivially_constructible的用法和示例代码。

什么是std::is_trivially_constructible？

std::is_trivially_constructible是C++11中引入的一个type trait，位于头文件中。它用于评估一个类型T是否可以被默认构造，即T是否属于trivially constructible类型。如果T可以被默认构造，则std::is_trivially_constructible::value将返回true；反之返回false。

官方定义如下：

template< class T, class... Args >
struct is_trivially_constructible {
    static constexpr bool value;
};

template< class T >
struct is_trivially_constructible<T> {
    static constexpr bool value;
};

std::is_trivially_constructible的用法

std::is_trivially_constructible的用法很简单，只需要包含头文件，然后使用模板参数来调用即可。

例如，下面示例代码中的T类型是一个结构体，通过std::is_trivially_constructible::value来评估该类型是否可以被默认构造：

#include <iostream>
#include <type_traits>

struct T {
    T() : x(0), y(0) {}  // default constructor
    int x;
    int y;
};

int main() {
    std::cout << std::is_trivially_constructible<T>::value << std::endl;  // 0
    return 0;
}

运行结果为0，表明T类型不能被默认构造。因为T类型拥有自定义的default constructor，所以它不属于trivially constructible类型。

当然，上面的示例代码中T也是可以被默认构造的，因为它的default constructor可以被自动合成。因此，可以不定义default constructor，然后再调用std::is_trivially_constructible::value来评估该类型是否可以被默认构造：

#include <iostream>
#include <type_traits>

struct T {
    int x;
    int y;
};

int main() {
    std::cout << std::is_trivially_constructible<T>::value << std::endl;  // 1
    return 0;
}

运行结果为1，表明T类型可以被默认构造。

std::is_trivially_constructible的示例代码

下面的示例代码将展示std::is_trivially_constructible的用法。

示例1：评估标量类型是否可以被默认构造

#include <iostream>
#include <type_traits>

int main() {
    std::cout << std::is_trivially_constructible<int>::value << std::endl;  // 1
    std::cout << std::is_trivially_constructible<double>::value << std::endl;  // 1
    std::cout << std::is_trivially_constructible<char>::value << std::endl;  // 1
    std::cout << std::is_trivially_constructible<void>::value << std::endl;  // 0
    return 0;
}

运行结果表明标量类型都可以被默认构造。

示例2：评估数组类型是否可以被默认构造

#include <iostream>
#include <type_traits>

int main() {
    int arr[10];
    std::cout << std::is_trivially_constructible<decltype(arr)>::value << std::endl;  // 1
    return 0;
}

运行结果表明数组类型也可以被默认构造。

示例3：评估带指针成员的类型是否可以被默认构造

#include <iostream>
#include <type_traits>

struct T {
    int x;
    int* ptr;
};

int main() {
    std::cout << std::is_trivially_constructible<T>::value << std::endl;  // 0
    return 0;
}

运行结果表明带指针成员的类型不能被默认构造，因为默认构造函数无法为指针成员分配内存空间。

示例4：评估自定义类型是否可以被默认构造

#include <iostream>
#include <type_traits>

struct T {
    T() : x(0), y(0) {}  // default constructor
    int x;
    int y;
};

int main() {
    std::cout << std::is_trivially_constructible<T>::value << std::endl;  // 0
    return 0;
}

运行结果表明自定义类型需要显式定义一个可以被默认构造的构造函数。