在阅读《深刻理解C++11》时对POD的理解有些疑惑，stack overflow上有一篇高分回答写得很是棒，如今我把它翻译一遍加深一下本身的理解（原文）： ##如何阅读这篇文章 这篇文章有点长，若是你想同时了解aggregates和PODs（Plain Old Date），就请花点时间把这篇文章读完。若是你仅仅对aggregates感兴趣，则只需阅读第一部分就好。若是你只对PODs感兴趣，你必须首先搞清楚aggregates的定义、含义和示例，而后你就能够跳到PODs部分阅读，但我依然建议仍是把第一部分阅读完毕。Aggregates的概念对于定义PODs来讲是必不可少的。c++
##什么是aggregates以及它的特殊性 在C++标准中的正式定义（C++03 8.5.1 §1）：数组
Aggregate是一个数组或者是一个没有用户定义的构造函数、没有private和protected的非静态成员变量、没有基类和虚函数的类。
让咱们来解析一下这个定义。首先，任何数组都是一个aggregate类型。一个类若是知足如下条件也能够是aggregate类型。。。等待，咱们好像忘记说结构体和联合体，它们能够成为aggregate类型吗？答案是他们也能够成为aggregate类型。在C++中，class术语指的是全部的类、结构体和联合体。因此说，一个类（或者结构体，或者联合体）知足上述定义的条件时，就是aggregate类型的。这些条件意味着什么？函数
- 这并不意味着aggregate类不能拥有构造函数，事实上它能够拥有默认的构造函数和/或赋值构造函数，只要它们是编译器隐式声明，而不是用户显示声明；
- 没有private和protected的非静态成员变量，你能够定义不少private和protected的成员函数（构造函数除外）和private和protected的静态成员变量，这都不违背aggregate的规则；
- aggregate类能够拥有用户声明/用户定义的赋值操做和/或析构函数；
- 数组都是aggregate类型，即使数组元素是非aggregate类型。 如今让咱们来看一些例子：
class NotAggregate1
{
virtual void f() {} //remember? no virtual functions
};
class NotAggregate2
{
int x; //x is private by default and non-static
};
class NotAggregate3
{
public:
NotAggregate3(int) {} //oops, user-defined constructor
};
class Aggregate1
{
public:
NotAggregate1 member1; //ok, public member
Aggregate1& operator=(Aggregate1 const & rhs) {/* */} //ok, copy-assignment
private:
void f() {} // ok, just a private function
};
你已经明白了aggregates的含义。如今让咱们来看下aggregates有什么特别之处。与非aggregate类不一样的是，aggregates类型能够用{}进行初始化。这种初始化语法一般被用于数组，但咱们如今了解到的是aggregates。因此让咱们先从数组开始：oop
Type array_name[n] = {a1, a2, …, am};
若是 m==n 第i个元素用a<sub>i</sub>初始化； 若是 m<n 前m个元素分别用a<sub>1</sub>、a<sub>2</sub>、a<sub>3</sub>... a<sub>m</sub>；剩余n-m个元素若是可能的话会用值初始化（后面会解释这个名词）； 若是 m>n 编译器将报出一个错误； 其他的状况如a[] = {1,2,3}; 会假设数组(n)的大小为m，所以int a[] = {1,2,3}; 等同于a[3] = {1,2,3};翻译
当一个对象是标量类型（bool, int, char, double, 指针等）时，它的值初始化指得是用0进行初始化（bool类型值为false，double类型值为0等）。指针
数组初始化的例子：code
class A
{
public:
A(int) {} //no default constructor
};
class B
{
public:
B() {} //default constructor available
};
int main()
{
A a1[3] = {A(2), A(1), A(14)}; //OK，n == m
A a2[3] = {A(2)}; //ERROR，A没有默认构造函数，不能够用值初始化a2[1]和a2[2]
B b1[3] = {B()}; //OK， b1[1] and b1[2]用值初始化，在这个例子中用的默认构造函数
int Array1[1000] = {0}; //全部的元素都被初始化为0
int Array2[1000] = {1}; //只有第1个元素初始化为1，其他的元素都初始化为0
bool Array3[1000] = {}; //大括号能够为空，全部元素初始化为false
int Array4[1000]; //没有初始化，这和空初始化{}不一样
//在这个例子中元素没有值初始化，拥有不肯定的值
//(除非Array4是一个全局数组)
int array[2] = {1, 2, 3, 4}; //ERROR，太多元素被初始化
}
如今让咱们看下如何使用打括号初始化aggregates类。与上述大体相同。咱们将按照非静态数据成员在类定义中的出现顺序初始化它们，而不是数组元素(根据定义，它们都是公共的)。若是须要初始化的比成员变量少，那么其余元素都是进行值初始化。若是没法对未进行显式初始化的某个成员变量进行值初始化，则在编译时会遇到错误。若是初始化成员变量的数量超过所需的数量，咱们仍是会在编译的时候遇到错误。对象
struct X
{
int i1;
int i2;
};
struct Y
{
char c;
X x;
int i[2];
float f;
protected:
static double d;
private:
void g(){}
};
Y y = {'a', {10, 20}, {20, 30}};
在上述例子中y.c被初始化为'a'，y.x.i1为10，y.x.i2为20，y.i[0]为20，y.i[1]为30，y.f则被值初始化，即被初始化为0.0。protected的static类型的成员变量没有被初始化。ci
Aggregate联合体则不一样，只有第一个成员变量能够用大括号进行初始化。我认为，若是您在c++方面高级到能够考虑使用union(它们的使用可能很是危险，必须仔细考虑)的地步，那么您能够本身在标准中查找union的规则:-)。rem
如今咱们已经知道了aggregates类型的特殊之处，如今咱们尝试理解一下它对类型的限制，也就是说为何会有这些限制。咱们应该理解，带大括号的成员初始化意味着类只不过是其成员变量的集合。若是用户定义了构造函数，这意味着徐虎须要在初始化成员变量时须要作额外的工做，因此使用大括号初始化会出错。若是存在虚函数，则意味着该类的对象有一个叫作虚函数表的指针（在大多数实现当中），该指针会在构造函数中进行设置，所以使用大括号初始化是不够的。做为练习，你能够用这种方法理解其余条件限制的含义:-)。
未完待续。。。