C++ POD类型

C++ POD类型

https://mp.weixin.qq.com/s/kuerkGFu-XWDKUzLv3PgQA

在C++11标准中， POD出现的概率特别高，目测是非常重要的一个概念，以往都是看的一知半解。今天抽空专门研究下POD究竟是什么，到底有多重要，有什么作用呢？

POD  (Plain Old Data) ，是C++语言的标准中定义的一类数据结构，通常用于说明一个类型的属性，尤其是自定义用户类型的属性，同时POD 属性在C++11往往又是构建其他C++概念的从基础。

百度百科中定义：POD适用于需要明确的数据底层操作的系统中。POD通常被用在系统的边界处，即指不同系统之间只能以底层数据的形式进行交互，系统的高层逻辑不能互相兼容。比如当对象的字段值是从外部数据中构建时，系统还没有办法对对象进行语义检查和解释，这时就适用POD来存储数据。啥意思呢，就是说，数据类型太复杂，不能兼容语义层面的检查，于是就需要POD类型。

顾名思义，PlainOld Data, 就表示POD是个普通的类型，朴素而又平凡，在C++常见的类型，标量类型和POD类类型都有这样的属性，而不像一些存在着复杂特性的类型，比如有这虚函数虚继承这样的类的类型这么特别。Old，则体现了其与C的兼容性。比如可以用memset函数初始化，memcpy函数进行复制。

具体的说，POD被分为两个基本概念的合集，即平凡的（trivial）和标准布局（standard layout）。

1）平凡的

一个平凡的类或者结构体应包含以下定义

• 有平凡的缺省构造函数，可用这样的默认语法：(SomeConstructor() = default;)

• 有平凡的copy与move构造函数，可用默认语法.

• 有平凡的copy与move运算符，可用默认语法.

• 有平凡的destructor，不能是虚函数.

• 不包含虚函数和虚基类

2）标准布局的

• 所有非静态成员有相同的访问权限（public protected privete）

• 派生类中有非静态成员，且只有一个仅包含静态成员的基类。

• 基类有非静态成员，派生类中没有非静态成员

• 类中的第一个非静态成员的类型与其基类不同

• 没有虚函数与虚基类

• 所有非静态数据成员均符合标准布局类型，基类也符合标准布局

在C++中如何判断符合以上属性？

• template<typename T> struct std::is_trivial

类模板is_trivial的成员value可以用于判断是否是一个平凡的类型，除了类、结构体，is_trivial还可以对标量类型（如int float以及数组类型（元素是平凡类型的数组总是平凡的））来判断。

• template<typename T> struct std::is_standard_layout

类模板is_standard_layout的成员value可以用于判断类型是否是一个标准布局的类型。

• template<typename T> struct std::is_pod

  类模板is_standard_layout的成员value可以用于判断类型是否是一个标准的POD

总结：

其实在C++1`1中，很多内置类型默认都是POD类型的。那么用POD究竟有什么好处呢？

1. 字节赋值。可以安全的使用 memset memcpy对POD类型初始化和拷贝操作。

2. 提供对C内存布局兼容。C++程序可以与C函数进行互操作，POD类型的数据在C和C++间的操作总是安全的。

3. 保证了静态初始化的安全有效。静态初始化的时在很多时候能够提高程序性能，而POD类型的对象初始化更简单，（比如放入目标文件的.bss段，在初始化直接赋0）