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;
}