[c++] 什么是平凡类型，标准布局类型，POD类型，聚合体

这些类型的详细定义都枝词蔓语看，并且随着C++标准的不断发展其含义也不断在修订；因此本文从定性的角度去认识他们。

1. Trivial Type

这种类型构建的时候可以什么事情都不做(平凡构造)，这种类型拷贝的时候只需要递归地复制每个标量就可以(平凡复制)。这样做有什么好处呢，随便找块能用的内存std::memmove一下就得到了一个对象。

这种类型真是平凡啊，构造他的时候不用考虑虚表引用什么的初始化，复制的时候简单的内存copy一下就行了，大道至简呀。

Trivial Type的定义：

1. scalar types

2. trivial class

is trivially copyable

has one or more eligible default constructors such that each is trivial

3. 上面类型的数组

4. 上面类型的cv限定版本

2. Standard-Layout Type

如果说Trivail Type是C++中的平民，他长什么样子(Object Representations，内存模型)只有他母亲(C++编译器)知道。那么Standard-Layout Type就是程序界的透明人，他长什么样子大家都一清二楚。这种类型有什么好处呢，在不同的编程语言之间大家都可以拿来使用进行交流。

如果说Trivial Type类型关注C++怎么创造他，那么Standard-Layout Type是关注怎么去使用它的身体。因为它的内存布局要确定，因此它的定义比较严格一切跟编译器实现相关的不确定因素都不能有，比如：

1. 子类和父类不能都有非静态成员，因为子类和基类内存布局不确定。

2. 非静态成员必须有相同的访问权限，不同的访问权限段之间内存布局不确定(c++11)。

3. 不能有虚函数，虚继承，引用等跟编译器实现不确定的东西。

4. 不能有有两个一样的基类等影响空基类优化的东西。

5. 所有成员得到内存布局也得是Standard-Layout Type等

3. POD Type

POD是为了C++和C类型兼容而设的概念，同时包含Trivial Type和Standard-Layout Type的含义，随着时代的发展，POD的概念逐渐被更细致的Trivial Type，Standard-Layout Type概念所替代。

4. 聚合体

Aggregate 其实应该跟上面的概念区分开，它是一个纯粹跟C++初始化相关的概念。聚合体可以直接使用花括号对相应的成员进行聚合初始化。

为了能够聚合初始化，其存在一些限制条件：

1. 不能有用户定义继承的构造函数，让编译器负责聚合初始化规则。

2. 对象模型中成员拥有公共访问权限。

3. 没有虚函数等需要特殊初始化处理的操作。