可平凡复制类型

1. 标量类型（算数类型/枚举/指针）
2. 可平凡复制类类型
3. 可平凡复制类型的数组
4. cv限定的可平凡复制类型（const/volatile）

Trivially copyable class

A trivially copyable class is a class that

has at least one eligible copy constructor, move constructor, copy assignment operator, or move assignment operator,

• each eligible copy constructor is trivial
• each eligible move constructor is trivial
• each eligible copy assignment operator is trivial
• each eligible move assignment operator is trivial, and
• has a non-deleted trivial destructor.

Trivial class

A trivial class is a class that

• is trivially copyable, and
• has one or more eligible default constructors such that each is trivial.

#include <iostream>
using namespace std;

class A
{                                      // trivially copyable
    ~A() = default;                    // trivially copyable
    A() {}                             // trivially copyable
    A(const A &) = default;            // trivially copyable
    A(A &&) = default;                 // trivially copyable
    A &operator=(const A &) = default; // trivially copyable
    A &operator=(A &&) = default;      // trivially copyable
};

class B
{
    virtual void foo() = 0; // not trivially copyable
    // ~B() = delete;             // not trivially copyable
    // ~B() {}                    // not trivially copyable
    // B(const B &) {}            // not trivially copyable
    // B(B &&) {}                 // not trivially copyable
    // B &operator=(const B &) {} // not trivially copyable
    // B &operator=(B &&) {}      // not trivially copyable
};

class C : public B
{
};

void TriviallyCopyableTest()
{
    cout << std::is_trivially_copyable<bool>::value << endl;           // trivially copyable
    cout << std::is_trivially_copyable<char>::value << endl;           // trivially copyable
    cout << std::is_trivially_copyable<int>::value << endl;            // trivially copyable
    cout << std::is_trivially_copyable<float>::value << endl;          // trivially copyable
    cout << std::is_trivially_copyable<double>::value << endl;         // trivially copyable
    cout << std::is_trivially_copyable<std::nullptr_t>::value << endl; // trivially copyable
    cout << std::is_trivially_copyable<int *>::value << endl;          // trivially copyable
    cout << std::is_trivially_copyable<A>::value << endl;              // trivially copyable
    cout << std::is_trivially_copyable<A *>::value << endl;            // trivially copyable
    cout << std::is_trivially_copyable<B>::value << endl;              // not trivially copyable
    cout << std::is_trivially_copyable<B *>::value << endl;            // trivially copyable
    cout << std::is_trivially_copyable<C>::value << endl;              // not trivially copyable
}

参考

https://en.cppreference.com/w/cpp/named_req/TriviallyCopyable
https://en.cppreference.com/w/cpp/language/cv
https://en.cppreference.com/w/cpp/named_req/ScalarType
https://en.cppreference.com/w/cpp/language/classes#Trivially_copyable_class