数组

 数组是C++语言中类似标准库vector（功能类似）类型的内置数据结构。他与vector类型相比，数组的显著缺陷在于：数组长度确定。数组没有获取容量大小的size操作，也不提供push_back操作添加元素。若要更改数组长度，则必须创建一个更大的新数组，然后将旧数组中的元素复制到新数组空间去。

  数组由类型名（存放在数组中的元素类型，可以内置数据类型也可以是类类型，除了引用外，它还可以是其他的复合类型），标识符和维数（数组包含的个数）组成的复合数据类型。

  复合数据类型的定义在前面的文章《变量和基本类型二》中的引用部分解释过。

1. 数组的定义与初始化

数组的维数必须用值大于等1的常量表达式。此常量表达式只能包含整型字面值常量，枚举常量，用常量表达式初始化的整型const对象。之const对象和运行阶段才知道其值的const变量不能定义数组维数。

 

1.1显式初始化数组元素

  定义数组时，可为其元素提供一组用逗号分隔的初值，这些初值用花括号{}括起来，称为初始化列表。显式初始化的数组不需要指定数组的维数值，编译器会根据列出的元素个数来确定长度

 

如果没有显式提供元素初值，则元素会像普通变量那样初始化：

1 在函数体外定义的内置数组，其元素均初始化为 0。

2 在函数体内定义的内置数组，其元素无初始化。

3 不管数组在哪里定义，如果其元素为类类型，则自动调用该类的默认构造函数进行初始化；如果该类没有默认构造函数，则必须为该数组的元素提供显式初始化。

注意：除非显式地提供元素初值，否则内置类型的局部数组的元素没有初始化。此时，除了给元素赋值外，其他使用这些元素的操作没有定义。

1.2字符数组初始化

  字符数组既可以用一组由花括号括起来、逗号隔开的字符字面值进行初始化，也可以用一个字符串字面值进行初始化。然而，要注意这两种初始化形式是不一样的，字符串字面值包含一个额外的空字符(\0)。当使用字符串字面值来初始化创建的新数组时，将在新数组中加入空字符：

 

1.3 数组操作

  不允许数组直接复制和赋值。数组元素可用下标操作符来访问，数组元素从0开始计数。

在用下标访问元素时，vector 使用 vector::size_type 作为下标的类型，而数组下标的正确类型则是 size_t（这和C语言有些不同，其实他也是一个unsigned类型，size_t定义在cstddef头文件中）。如下图

 

注意：在使用数组时，不需保证其下标值在正确范围内，因为除了自己测试的程序外，没有别的方法可以检测数组越界。