C++中带有示例的std::is_trivially_copyable模板

在C++11标准中，增加了一个std::is_trivially_copyable模板类，用于检测一个类型是否是“平凡可复制的（trivially copyable）”。平凡可复制类型是一种可以被复制内存的类型，其复制操作等同于memcpy操作。

平凡可复制类型的定义

C++11标准中，对平凡可复制类型的定义如下：

类型是标量类型（比如整数类型、浮点类型、指针类型、枚举类型）或者数组类型且其元素类型也是平凡可复制的类型
类型有一个平凡的拷贝构造函数
类型有一个平凡的拷贝赋值操作符

简单来说，平凡可复制类型就是比较简单的类型，没有可调用的复制构造函数或者复制操作符，且其包含的元素类型也是平凡可复制类型。

使用示例

以下是一个平凡可复制类型的使用示例：

#include <iostream>
#include <type_traits>

struct Example {
    int a;
    float b;
};

int main() {
    std::cout << std::boolalpha;
    std::cout << std::is_trivially_copyable<Example>::value << std::endl; // 输出 true

    return 0;
}

在这个例子中，我们定义了一个平凡可复制类型Example，它包含了一个整型变量和一个浮点数变量。我们使用std::is_trivially_copyable模板类来检测该类型是否是平凡可复制类型，并输出检测结果。

在输出中，我们可以看到std::is_trivially_copyable::value的值是true，也就是说Example是一个平凡可复制类型。

以下是一个不是平凡可复制类型的示例：

#include <iostream>
#include <type_traits>

struct Example {
    int a;
    float b;

    Example() {} // 这里定义了一个空的构造函数
};

int main() {
    std::cout << std::boolalpha;
    std::cout << std::is_trivially_copyable<Example>::value << std::endl; // 输出 false

    return 0;
}

在这个例子中，我们定义了一个类Example，并定义了一个空的构造函数。该类虽然仅包含两个基本类型的成员变量，但由于定义了构造函数，因此不满足平凡可复制类型的定义。我们使用std::is_trivially_copyable模板类来检测该类型是否是平凡可复制类型，并输出检测结果。

在输出中，我们可以看到std::is_trivially_copyable::value的值是false，也就是说Example不是一个平凡可复制类型。

总结

std::is_trivially_copyable模板类是在C++11标准中引入的，用于检测一个类型是否是平凡可复制的类型。平凡可复制类型是一种比较简单的类型，其复制操作等同于memcpy操作。在定义平凡可复制类型时需要遵循一定的规则，如不能定义可调用的复制构造函数或者复制操作符。在使用std::is_trivially_copyable模板类时，可以通过检测其返回值来判断一个类型是否是平凡可复制类型。