C++11 POD类型

一 POD

POD类型（Plain Old Data）简旧数据类型.
POD类型与用于C程序语言的类型兼容，即能直接以其二进制形式与C库交互。C++20弃用。

检查类型是否为POD类型的方式如下（头文件<type_traits>）：

template<class T>
struct is_pod; (C++11 起)(C++20 中弃用)

二 C++11中满足POD的类类型(class 或 struct 或 union)的要求

平凡类型（trivial type）；
标准布局类型（standard layout type）；
没有非POD的非静态成员；

三 平凡类型

1 检查类型是否平凡（头文件<type_traits>）

template<class T>
struct is_trivial;(C++11 起)

2 平凡类型的要求

可平凡复制 (TriviallyCopyable)
拥有一个或多个默认构造函数，全部均为平凡或被删除，至少有一个未被删除。

3 什么是可平凡复制

每个复制构造函数为平凡或被删除；
每个移动构造函数为平凡或被删除；
每个复制赋值运算符为平凡或被删除；
每个移动赋值运算符平凡或被删除；
至少一个复制构造函数、移动构造函数、复制赋值运算符或移动赋值运算符未被删除；
平凡而未被删除的析构函数。

这隐含该类无虚函数或虚基类。
标量类型和可平凡复制 (TriviallyCopyable) 对象的数组，还有这些类型的 const 限定（但非 volatile 限定）版本，也是可平凡复制 (TriviallyCopyable) 的。

四 标准布局类型

1 检查是否为标准布局类型（头文件<type_traits>）

template<class T>
struct is_standard_layout;(C++11 起)

2 标准布局类型要求

全部非静态数据成员必须拥有同一访问控制；
无虚函数或虚基类；
无引用类型的非静态数据成员；
所有非静态数据成员和基类自身是标准布局类型；

（C++14前）

无带非静态数据成员的基类，或在最后导出类无非静态数据成员，且至多有一个基类拥有非静态数据成员；
无与首个非静态数据成员同类型的基类；

（C++14起）

无二个拥有相同类型的（可能间接的）基类子对象；
    struct Q {};
    struct S : Q { };
    struct T : Q { };
    struct U : S, T { }; // 非标准布局类：二个 Q 类型的基类子对象
在同一类中声明所有非静态数据成员和位域（要么全在导出类，要么在某个基类）；
    struct B { int i; };         // 标准布局类
    struct C : B { };            // 标准布局类
    struct D : C { };            // 标准布局类
    struct E : D { char : 4; };  // 非标准布局类

无拥有与如下者相同类型的基类子对象：
    对于非联合类型，为首个非静态数据成员（见空基类优化），若该数据成员拥有非联合类类型，则为其首个数据成员，或者若该数据成员为联合体类型，则为其所有非静态数据成员，或者若该数据成员为数组类型，则为其元素类型，依此递归。
    对于联合体类型，为任何非静态数据成员，若该数据成员拥有非联合类类型，则为其首个数据成员，或者若该数据成员为联合体类型，则为其所有非静态数据成员，或者若该数据成员为数组类型，则为其元素类型，依此递归。
    对于数组类型，为数组元素的类型，若该数据成员拥有非联合类类型，则为其首个数据成员，或者若该数据成员为联合体类型，则为其所有非静态数据成员，或者若该数据成员为数组类型，则为其元素类型，依此递归。

五 参考

POD

平凡类型

标准布局类型