数组(Array)是一种线性表数据结构。它用一组连续的内存空间,来存储一组具有相同类型的数据。
线性表(Linear List):数据排成像一条线一样的结构。每个线性表上的数据最多只有前和后两个方向。如:数组,链表、队列、栈等也是线性表结构。
非线性表:在非线性表中,数据之间并不是简单的前后关系。比如二叉树、堆、图等。
第二个是连续的内存空间和相同类型的数据
正是因为这两个限制,它才有了一个堪称“杀手锏”的特性:“随机访问”。
长度为10的int数组举例:
计算机给数组 a[10],分配了一块连续内存空间 1000~1039,其中,内存块的首地址为 base_address = 1000。
计算机会给每个内存单元分配一个地址,计算机通过地址来访问内存中的数据。当计算机需要随机访问数组中的某个元素时,它会首先通下面的寻址公式,计算出该元素存储的内存地址:
a[i]_address = base_address + i * data_type_size
其中 data_type_size 表示数组中每个元素的大小.。
数组是适合查找操作,但是查找的时间复杂度并不为 O(1)。即便是排好序的数组,你用二分查找,时间复杂度也是 O(logn)。
数组支持随机访问,根据下标随机访问的时间复杂度为 O(1)。
低效的“插入”和“删除”
插入:最好O(1),最坏O(n),平均O(n)
数组若无序,插入新的元素时,可以将第K个位置的元素移动到数组末尾,把心的元素插入到第K个位置。此时复杂度O(1)
删除:最好O(1),最坏O(n),平均O(n)
多次删除集中在一起,,提高删除效率。记录下被删除的数据,每次删除并不是搬移数据,而是做个标记,当数组没有更多的存储容量时,再触发,做真正的删除操作。即JVM标记清除垃圾回收的算法。
下标从0开始:
从数组存储的内存模型上来看,“下标”最确切的定义应该是“偏移(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
每次随机访问数组元素都多了一次减法运算