注意，该头文件仅在C++11中标准才开始出现。

与语言内置的数组一样， array类模版支持几乎所有内置数组包含的特性：

那既然与内置数组一样，为什么还要定义这样一个模版呢？C++委员会是想造轮子吗（-_-)?当然不是！

array模版类实际上是内置数组的聚合，外加一层封装。正是由于这层接口，才使得数组能与STL接轨，真正成为一个container。

简单通用的array接口，让数组使用起来更加得心应手。 例如size()成员函数返回数组的大小，在内置数组中则只能查看数组定义或者借助外部函数。

Iterator作为C++中沟通Algorithm与Container的桥梁，起着不可或缺的作用。然而内置类型不支持迭代器的概念，虽然对于算法来说有合适的重载能够解决这个问题，但在语法上存在明显的差别(vec为vector

其实不需要变量定义声明就可以猜到，vec是container而arr不是。 这也许会阻碍代码后期的重构与修改。使用array类模版的话就不会存在这种问题，统一的语法，多棒！

我们都知道，C++沿袭了C语言的设计，在access数组元素时不对数组变量进行边界检查。array解决了这个问题，在元素读写越界时会抛出异常。

array与内置数组的一个明显的差异就是----允许空数组的定义。

至于为什么要允许这样一个特性，也许是：

然而，空数组在语义上是不允许解引用的，因此在使用时规避那些需要解引用的操作。

该方面的差异主要体现在swap成员函数上。就像我们知道的，其他容器调用swap函数时，为了保证高效，该函数实际上执行的操作相当于交换指向实际容器内容的指针。但是array的swap函数却是进行逐成员交换，这也许是为了保持与内置数组相同的性质----数组地址不可变。

出于上述语义上的差别，array与其他容器的迭代器，在swap后会有不同的结果（深色方框代表容器对象, 方框内文字代表容器内容; 箭头代表迭代器变量, 都指向头元素）：

swap前：

swap后：

从图上看更为直接：

array还提供了一套独特的tuple接口，使其能够像使用元组那样使用。 当然，这种可能性的前提是它本身就非常像元组。

这种特性是通过重载tuple接口的get函数，并且特化tuple_element和tuple_size类模版实现的。