数组包含给定类型的一些对象，并将这些对象依次存储在连续的内存空间中。每个独立的对象被称为数组的元素（element）。元素的类型可以是任何对象类型，但函数类型或不完整类型不能作为数组元素。
数组本身也是一个对象，其类型由它的元素类型延伸而来。更具体地说，数组的类型由元素的类型和数量所决定。
如果一个数组的元素是 T 类型，那么该数组就称为“T 数组”。例如，如果元素类型为 int，那么该数组的类型就是“int 数组”。然而，int 数组类型是不完整的类型，除非指定了数组元素的数量。如果一个 int 数组有 16 个元素，那么它就是一个完整的对象类型，即“16 个 int 元素数组”。
