什么是数组?
忘了在哪本书看见过一句话“理解了概念性的东西,你就学会了70%”
回到主题,什么是数组?
数组(Array)是一种线性表数据结构。它用一组连续的内存空间,来存储一组具有相同类型的数据
概念中有两个关键的地方:
- 数组是一种线性数据结构
- 数组中存储的是连续的内存空间和相同类型的数据
什么是线性数据结构
有数据结构基础的小伙伴都应该知道,线性结构就是数据排成一条线一样的数据结构,也就意味着它仅有前后两个方向,比如队列、单链表、栈等,也是线性结构
与它相对的就是非线性表,最典型的就是树和图。他们的特点就是并不是只有前后这种关系
连续的内存空间和相同类型的数据
正因为有了这个特性,使得数组可以进行“随机访问”。虽然访问数组中某个元素变得很快,但缺点就是在修改(删除、插入)数组的时候,操作会变得很麻烦,因为要保证数组内存空间的连续性,所以不得不进行繁琐的数据移动
假设有一个长度为5的int类型的数组var a [5]int,假设给这个数组分配的内存空间首地址是1000,则这个数组分配的内存空间为1000~1019,看下图
操作系统会为每一个内存单眼分配一个地址,通过这个地址来访问内存中的数据。当操作系统需要随机访问数组中的某一个元素时,它会通过下边这个寻址公式来计算出某个元素的存储地址
a[i]_address = base_address + i * data_type_size
data_type_size:表示数组中每个元素的大小。比如int类型,它占用的是4个字节,所以这里data_type_size就是4
数组和链表的区别是什么
通过上边对数组的介绍,可以看出来,数组适合查找操作。但是查找的时间复杂度并不为O(1)。即便是排好序的数组,你用二分查找,时间复杂度也是O(logn)。所以,数组支持随机访问,根据下标随机访问的时间复杂度为O(1)
数组相关操作
插入元素
数组头部插入元素
在数组的头部插入元素,为了保证空间的连续性,需要将数组中所有的元素向后移一位,然后将待插入元素放入到首部位置
代码实现
function insertIntoHead(
数组中间插入元素
在数组的中间某个位置插入元素,需要将待插入位置以后的元素均向后移动一位
代码实现
function insertIntoMid(
数组尾部插入元素
在尾部插入元素,不需要移动元素,直接放在当前的末尾元素后边即可
删除元素
数组头部删除元素
删除数组头部元素,将所有的元素向前移动一位即可
代码实现:
function delHead(
数组中间删除元素
将待删除元素后边的所有元素向前移动一位
代码实现:
function delMid(
数组尾部删除元素
直接删除即可,无需移动数组中的元素
如果在数组的末尾插入元素,那就不需要移动数据了,这时的时间复杂度为O(1)。但如果在数组的开头插入元素,那所有的数据都需要依次往后移动一位,所以最坏时间复杂度是O(n)。因为我们在每个位置插入元素的概率是一样的,所以平均情况时间复杂度为(1+2+…n)/n=O(n)。删除元素也是同理
为什么大多数编程语言中,数组要从0开始编号,而不是从1开始呢?
从数组存储的内存模型上来看,“下标”最确切的定义应该是“偏移(offset)”。前面也说到,如果用a来表示数组的首地址,a[0]就是偏移为0的位置,也就是首地址。a[k]就表示偏移k个 type_size 的位置,所以计算a[k]的内存地址只需要用这个公式
a[k]_address = base_address + k * type_size
但是,如果数组从1开始计数,那我们计算数组元素a[k]的内存地址就会变为
a[k]_address = base_address + (k-1)*type_size
对比两个公式,我们不难发现,从1开始编号,每次随机访问数组元素都多了一次减法运算,对于CPU来说,就是多了一次减法指令
数组作为非常基础的数据结构,通过下标随机访问数组元素又是其非常基础的编程操作,效率的优化就要尽可能做到极致。所以为了减少一次减法操作,数组选择了从0开始编号,而不是从1开始
参考:《数据结构与算法之美》 《零基础学数据结构》
往期文章
操作系统基础(十五)---使用fork系统调用创建进程
进程同步之共享内
时间复杂度和空间复杂度
IP协议详解
IT猿圈
不做开始爱好者