数据结构-数组

Myth丶恋晨 2021-10-18 06:52 383阅读 0赞

## 一、什么是数组 ##

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

下面是两个值得注意的概念：

### 1. 线性表（linear list） ###

线性表，即数据的逻辑结构是线性的。每个线性表中的数据最多只有向前和向后两个方向。典型的线性表有数组、链表、队列和栈。

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2hhb3hpbjk2Mw_size_16_color_FFFFFF_t_70][]

和线性表相对应的就是非线性表，即数据之间不是简单的前后关系。如树、堆、图等。

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2hhb3hpbjk2Mw_size_16_color_FFFFFF_t_70 1][]

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

这使数组具有一个堪称“杀手锏”的特性 ——“随机访问”，即可以通过下标随机访问数组元素。我们知道，计算机会给每个内存单元分配一个地址，然后通过地址来访问内存中的数据。当计算机需要访问数组中的某个元素时，就会通过下面的寻址公式，计算出存储该元素的内存地址：

a[i]_address = base_address + i * data_type_size

其中，data\_type\_size 是数组中每个元素的大小，base\_address 是内存块的首地址。这样，就可以用 O(1) 的时间复杂度获取到下标为 i 的数组元素。

当然，有利就有弊，这一特性使得数组的很多操作变得低效，比如插入、删除操作，为了保证连续性，需要做大量的数据搬移工作。

## 二、数组的特性 ##

数组为了保持内存数据的连续性，会导致插入、删除这两个操作比较低效。现在我们就来详细说一下，究竟为什么会导致低效？又有哪些改进方法呢？

### 1. 插入 ###

假设数组长度为 n，要在第 k 位插入一个元素。那么就需要将第 k ~ n 位元素顺序后移，然后将新元素插入第 k 位。

如果 k = n - 1，则不需要再移动数据，此时时间复杂度为 O(1)；如果 k = 0，则需要移动所有的数据，此时时间复杂度为 O(n)。用前一篇文章的分析方法（[ 最好、最坏、平均、均摊时间复杂度分析][Link 1]），可知平均时间复杂度为：

(1 + 2 + ... + n) / n = O(n)

所以，数组的插入操作平均时间复杂度为 O(n)，是一项低效的操作。

但是，如果数组中存储的数据没有任何规律，插入后不需要保持原来的顺序，则可以进行如下操作：

直接将第 k 位的数据搬移到数组元素最后，然后把新的元素直接放在第 k 位。

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2hhb3hpbjk2Mw_size_16_color_FFFFFF_t_70 2][]

利用这种处理技巧，在特定场景下，在第 k 个位置插入一个元素的时间复杂度就会降为 O(1)。这个处理思想在快排中也会用到，我会在排序那一节具体来讲，这里就说到这儿。

### 2. 删除 ###

和插入操作类似，如果要删除第 k 位的元素，为了内存的连续性，也需要搬移数据，否则中间就会出现空洞，内存就不连续了。容易分析出，删除操作的平均时间复杂度也为 O(n)。

事实上，我们可以将多次删除操作集中在一起执行，先标记下已经删除的数据，然后在某些条件下（比如没有更多空间存储数据时），统一执行真正的删除操作，这样就大大减少了删除操作导致的数据搬移。

这种标记清除思想在其他地方也有所应用，比如垃圾回收中的标记清除算法。[JVM垃圾回收算法及收集器][JVM]

所以数据结构和算法的魅力就在于此，**很多时候我们并不是要去死记硬背某个数据结构或者算法，而是要学习它背后的思想和处理技巧，这些东西才是最有价值的**。

### 3.警惕数组的访问越界问题 ###

访问数组的本质是访问一段连续内存，只要数组通过偏移计算得到的内存地址都是可用的，那么程序就可能不会报任何错误。

很多计算机病毒也正是利用了代码中数组越界可以访问非法地址的漏洞来进行攻击，所以写代码时一定要警惕数组越界。

# #

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2hhb3hpbjk2Mw_size_16_color_FFFFFF_t_70]: /images/20211018/c01c2444d87f45988d698e79341d9cd1.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2hhb3hpbjk2Mw_size_16_color_FFFFFF_t_70 1]: /images/20211018/7dc34bb92b8047449db16c76f9b88666.png
[Link 1]: https://blog.csdn.net/haoxin963/article/details/99287636
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2hhb3hpbjk2Mw_size_16_color_FFFFFF_t_70 2]: /images/20211018/72e3dc09acc14c84be97e33d55f68030.png
[JVM]: https://blog.csdn.net/haoxin963/article/details/83786770