4. 基础：数组

什么是数组（Array）

是一种线性数据结构，它使用一组连续的存储空间，来存储一组具有相同数据类型的数据, 且初始化后大小固定。

出现了线性的概念，在第一节介绍过数据结构的逻辑分类，大类上可分为线性结构和非线性结构。线性结构即指线性表。

什么是线性表（Linear List）？

即每一个元素除了第一个和最后一个，都只有一个前驱和一个后继。
常见的线性表数据结构：数组，链表，队列，栈。

数组除了是线性数据结构，还有一个特征：存储空间连续，且数据类型相同。这个特性非常重要，这样可以实现数组的随机访问（即通过下标可快速访问到目标对象）。

但因为此限制，像删除，新增操作为了保证连续需要元素的挪动，会耗费大量的时间。

平均情况下，数组（普通数组）执行操作时间复杂度如下：

• 插入：O(n)
• 查找：随机访问：O(1), 非随机访问：O(n)
• 删除：O(n)

大小固定：指的是申请连续的内存空间后不能再扩容。

容器类

对于高级语言，为了开发效率会内置好用的容器类，如Java中的ArrayList, 可以将很多数组操作的细节封装起来，如挪位操作，并且增强了功能，如可自动扩容。但并不能完全替代，如：

• 性能要求高的场合，希望只用基础数据类型时
• 场景简单，用不到容器类的高级功能，用数组反而简洁

思考：数组下标为何从0开始

很多编程语言从C发展而来，因此借鉴了C的用法。那C为何是从0开始？
原因是C中数组名本质是指针，表示第一个元素的首地址，当寻址数组中第n个元素时，假设数组名array，对应的地址是：p + n * size。 这样写法会比较简洁，如果下标从1开始，那地址是：p + (n - 1) * size; 这也是数组为何能实现随机访问的原因，根据下标可迅速定位到目标元素的地址。