数据结构：数组讲解

数据结构：数组讲解

一、概念：

数组（Array）是一种线性表数据结构。它用一组连续的内存空间，来存储一组具有相同类型的数据。

1.线性表与非线性表：

线性表就是数据排成像一条线一样的结构。每个线性表上的数据最多只有前和后两个方向。其实除了数组，链表、队列、栈等也是线性表结构。

非线性表，比如二叉树、堆、图等。之所以叫非线性，是因为，在非线性表中，数据之间并不是简单的前后关系。

2.连续内存空间和相同类型的数据：

连续内存空间，相同的数据类型，所以数组可随机访问。

• 优点：具有随机访问的特性；

• 缺点：删除，插入数据效率低；

  因为删除、插入操作。为了保证数组的连续性，都需要做大量的数据搬移工作；

二、数组如何实现下标随机访问元素？

1. 首先我们用长度位10的 int 类型数组来举例；
2. 计算机给数组 a[10]，分配了一块连续内存空间 1000 ~ 1039；
3. 内存块的首地址位 base_address = 1000；
4. 数组中存储的是 int 类型数据，所以类型的大小为 4个字节；

计算机会给每个内存单元分配一个地址，通过地址来访问内存中的数据。当计算机随机访问数组中的某个元素时，它会首先通过下面的寻址公式，计算出该元素存储的内存地址：

a[i]_address = base_address + i * data_type_size

1. base_address：内存块首地址位；
2. i：下标位置；
3. data_type_size：数组中元素的大小；

数组在什么情况下时间复杂度为O(1)？

• 正确的表述，数组支持随机访问，根据下标随机访问的时间复杂度为O(1)。

三、数组的插入、删除：

数组为了保持内存数据的连续性，会导致插入、删除这两个操作比较低效。

1.插入操作：

1. 往数组中，随机插入一个数据，比如下面操作：

   1. 假设数组的长度为n;
   2. 现在，需要将一个数据插入到数组中的第 k 个位置;
   3. 为了把第 k 个位置腾出来，给新的数据占用，我们需要将第 k～n 这部分的元素都顺序地往后挪一位；

   时间复杂度O(n)

2. 往数组末尾插入元素：

   1. 往数组末尾插入数据，就不需要移动数据了；

   时间复杂度O(1)

3. 往数组头部插入元素：

   1. 往数组头部插入数据，那所有的数据都需要依次往后移动一位；

   最坏的时间复杂度O(n)

那么有没有办法提高数组的插入效率？

• 答案当然是有的。前提是数组只是被当作存储数据的集合，不考虑存储的有序性。要将某个数据插入到第 k 个位置，为了避免大规模的数据搬移，可直接将第 k 位 的数据搬移到数据元素的最后，把心的元素直接放入第 k 个位置。

• 如图所示：

  
  1. 数组中存储 5 个元素：a，b，c，d，e；
  2. 将元素 x 插入到 第 3 个位置，只需将 c 放入 a[5]，将 a[2] 赋值为 x；
  3. 在 第 k 个位置插入一个元素的时间复杂度就会降为O(1)；

2.删除操作：

跟插入数据类似，如果要删除第 k 个位置的数据，为了内存的连续性，需要搬移数据，不然中间就会出现空洞，内存就不连续了。

1. 随机删除数据；

   平均情况时间复杂度为O(n)

2. 删除末尾数据：

   最好情况时间复杂度O(1)

3. 删除开头的数据：

   最坏情况时间复杂度为O(n)

那么有没有办法提高数组的删除效率呢？

• 插入都有办法，删除也不类外。数组a[10] 中存储 8 个元素：a，b，c，d，e，f，g，h。现在我们依次删除a，b，c三个元素；

• 如图所示：

  
  1. 为了避免d，e，f，g，h 这几个数据都会被搬移三次，我们可以先记录下已经删除的数据；
  2. 每次删除操作，并不是真正的搬移数据，只是记录数据已经被删除；
  3. 当数组没有更多空间存储数据时，再触发一次真正的删除操作，这样就减少了删除操作导致的数据搬移；

四、数组是如何动态扩容的？

数组本身在定义的时候需要预先指定大小，因为需要分配连续的内存空间。如果申请了大小为 10 的数组， 当 第 11 个数据存储到数组中，我们就需要重新分配一块更大的空间，将原来的数据复制过去，然后再将新的数据插入。需要注意，扩容操作涉及内存申请和数据搬移，是比较耗时的。

五、为什么大多数编程语言中，数组都是从0开始编号，而不是从1开始呢？

首先看上述已经提到过的寻址公式：

a[i]_address = base_address + i * data_type_size

1. a 来表示数组的首地址；
2. a[0] 就是偏移为 0 的位置，也就是首地址；
3. a[i] 就表示偏移 i 个 bada_type_size的位置；

如果数组从 1 开始计数，那么我们计算数组元素 a[i] 的内存地址就会变为：

a[i]_address = base_address + (i-1) * data_type_size

比较两个公式，可发现，从1开始编号，每次随机访问数组元素都多了一次减法运算，对CPU来说，就是多了一次减法指令。

数组作为很基础的数据结构，通过下标随机访问数组元素也是非常基础的操作，效率的优化就要做到极致。所以为了减少一次减法操作，数组选择从0开始编号，而不是1。

参考资料：

《数据结构与算法之美》