数组是线性数据结构。
- 由一块连续的内存空间组成
- 用于储存相同类型的数据元素
数组分成2种类型:
- 固定数组:
- 初始化的时候,分配一块内存空间,之后不会重新分配内存空间
- 长度的含义是指数组容纳最多元素的数量,并且必须包含这么多的元素
- 动态数组:
- 初始化的时候,分配一块内存空间,之后可能重新分配空间
- 长度的含义是指当前包含元素的数量,元素数量可以小于数组最大容量,并且允许不断地新增元素
- 如果元素数量超过现有的数组容量,会重新给数组分配内存空间,并拷贝已有元素。这称之为扩容。
结合数组的结构,其最大的特点是基于下标的内存寻址操作,通过该地址访问对应的元素,其公式如下。
address(i) = base + i * data_size
下标i
是相对基地址的偏移量。下标可以从0开始,那计算出来的结果就是基地址,这也是数组下标从0开始的原因。
分析上述公式,可以得到2个结论。
- 通过下标访问数据,时间复杂度是
O(1)
- 下标越界,本质是访问了不属于数组的内存空间
固定数组的操作
固定数组,基于下标的操作,其时间复杂度都是O(1)
。
如果是查找指定的元素,需要遍历数组,其时间复杂度是O(n)
。