C++中的std :: is_trivially_copyable模板及其示例

在C ++ 11中，std :: is_trivially_copyable是一个用于检查类型是否是平凡可复制的类型的类型特征，这意味着可以通过memcpy之类的简单内存拷贝操作来正确地复制它。 简单来说，如果一个类型可以在没有副作用的情况下用memcpy复制，那么它就是平凡可复制的类型。

我们可以使用is_trivially_copyable来检查一个类型是否是平凡可复制的类型。 如下所示：

#include <iostream>
#include <type_traits>

class MyClass {
public:
    MyClass() {}
    MyClass(const MyClass&) {}
    ~MyClass() {}
};

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

在上面的示例中，我们声明了一个MyClass类，它具有默认构造函数和复制构造函数。 但是，由于MyClass具有用户定义的复制构造函数，因此它不是平凡可复制的类型。因此，std :: is_trivially_copyable的值为false，而std :: is_trivially_copyable的值为true。

在其他情况下，如果我们想确定一个结构体或类是否是平凡可复制的类型，我们可以在结构体或类的定义中使用std :: is_trivially_copyable模板来确定它是否是平凡可复制的类型：

#include <type_traits>

struct MyStruct {
    int i;
    float f;
};

static_assert(std::is_trivially_copyable<MyStruct>::value, "MyStruct is not trivially copyable");

int main() {
    return 0;
}

这里，我们将MyStruct声明为平凡可复制的类型，并使用静态断言来检查MyStruct是否平凡可复制。 如果MyStruct不是平凡可复制的类型，则静态断言会导致编译器抛出错误。