一、定義
在計算機科學中,數(shù)組是由一組元素(值或變量)組成的數(shù)據(jù)結構,每個元素有至少一個索引或鍵來標識
因為數(shù)組內的元素是連續(xù)存儲的,所以數(shù)組中元素的地址,可以通過其索引計算出來,例如:int[] array = {1,2,3,4,5}
知道了數(shù)組的數(shù)據(jù)起始地址 ,就可以由公式
計算出索引
元素的地址
-
即索引,在 Java、C 等語言都是從 0 開始
-
是每個元素占用字節(jié),例如
占
,
占
二、空間占用
Java 中數(shù)組結構為
- 8 字節(jié) markword
- 4 字節(jié) class 指針(壓縮 class 指針的情況)
- 4 字節(jié) 數(shù)組大?。Q定了數(shù)組最大容量是
)
- 數(shù)組元素 + 對齊字節(jié)(java 中所有對象大小都是 8 字節(jié)的整數(shù)倍[^12],不足的要用對齊字節(jié)補足)
int[] array = {1, 2, 3, 4, 5};的大小為 40 個字節(jié),組成如下

8 + 4 + 4 + 5*4 + 4(alignment)
數(shù)組隨機訪問性能:即根據(jù)索引查找元素,時間復雜度是
三、動態(tài)數(shù)組
動態(tài)數(shù)組的增刪改查
package com.hcx.algorithm.arr;
import java.util.Arrays;
import java.util.Iterator;
import java.util.function.Consumer;
import java.util.stream.IntStream;
/**
* @Title: DynamicArray.java
* @Package com.hcx.algorithm.arr
* @Description: 動態(tài)數(shù)組
* @Author: hongcaixia
* @Date: 2024/12/26 17:02
* @Version V1.0
*/
public class DynamicArray implements Iterable<Integer>{
// 邏輯大小
private int size = 0;
// 容量
private int capacity = 8;
private int[] arr = {};
/**
* 往最后位置插入元素
* @param element
*/
public void addLast(int element) {
// arr[size] = element;
// size++;
addIndex(size, element);
}
/**
* 按照索引添加元素
* @param index
* @param element
*/
public void addIndex(int index, int element) {
//檢查容量
checkAndGrow();
if(index>0 && index<size){
System.arraycopy(arr,index,arr,index+1,size-index);
}
arr[index]=element;
size++;
}
/**
* 檢查容量并擴容
*/
private void checkAndGrow() {
//第一次添加 創(chuàng)建初始容量的數(shù)組
if (size == 0) {
arr = new int[capacity];
} else if (size == capacity) {
//擴容為原來的1.5倍
capacity += capacity >> 1;
int[] newArr = new int[capacity];
System.arraycopy(arr, 0, newArr, 0, size);
arr = newArr;
}
}
/**
* 根據(jù)索引移除元素
* @param index
* @return
*/
public int remove(int index) {
int removed = arr[index];
// 不是最后一個元素才需要移動
if (index < size - 1) {
System.arraycopy(arr, index + 1, arr, index, size - index - 1);
}
size--;
return removed;
}
/**
* 遍歷數(shù)組
* @param consumer
*/
public void foreach(Consumer<Integer> consumer){
for (int i = 0; i < size; i++) {
consumer.accept(arr[i]);
}
}
/**
* 迭代器遍歷
* @return
*/
@Override
public Iterator<Integer> iterator() {
return new Iterator<Integer>() {
int i = 0;
//有沒有下一個元素
@Override
public boolean hasNext() {
return i < size;
}
//返回當前元素,指針移動到下一個元素
@Override
public Integer next() {
return arr[i++];
}
};
}
/**
* stream 遍歷
* @return
*/
public IntStream stream() {
return IntStream.of(Arrays.copyOfRange(arr, 0, size));
}
}
插入或刪除性能
頭部位置,時間復雜度是
中間位置,時間復雜度是
尾部位置,時間復雜度是 (均攤來說)
四、二維數(shù)組
int[][] array = {
{11, 12, 13, 14, 15},
{21, 22, 23, 24, 25},
{31, 32, 33, 34, 35},
};

- 二維數(shù)組占 32 個字節(jié),其中 array[0],array[1],array[2] 三個元素分別保存了指向三個一維數(shù)組的引用
- 三個一維數(shù)組各占 40 個字節(jié)
- 它們在內層布局上是連續(xù)的
對一個二維數(shù)組
-
是外層數(shù)組的長度,可以看作 row 行
-
是內層數(shù)組的長度,可以看作 column 列
- 當訪問
,
時,就相當于
- 先找到第
個內層數(shù)組(行)
- 再找到此內層數(shù)組中第
個元素(列)
- 先找到第
byte[][] array = {
{11, 12, 13, 14, 15},
{21, 22, 23, 24, 25},
{31, 32, 33, 34, 35},
};
已知 array 對象起始地址是 0x1000,那么 23 這個元素的地址:
- 起始地址 0x1000
- 外層數(shù)組大小:16字節(jié)對象頭 + 3元素 * 每個引用4字節(jié) + 4 對齊字節(jié) = 32 = 0x20
- 第一個內層數(shù)組大?。?6字節(jié)對象頭 + 5元素 * 每個byte1字節(jié) + 3 對齊字節(jié) = 24 = 0x18
- 第二個內層數(shù)組,16字節(jié)對象頭 = 0x10,待查找元素索引為 2
- 最后結果 = 0x1000 + 0x20 + 0x18 + 0x10 + 2*1 = 0x104a
五、局部性原理
只討論空間局部性
- cpu 讀取內存(速度慢)數(shù)據(jù)后,會將其放入高速緩存(速度快)當中,如果后來的計算再用到此數(shù)據(jù),在緩存中能讀到的話,就不必讀內存了
- 緩存的最小存儲單位是緩存行(cache line),一般是 64 bytes,一次讀的數(shù)據(jù)少了不劃算,因此最少讀 64 bytes 填滿一個緩存行,因此讀入某個數(shù)據(jù)時也會讀取其臨近的數(shù)據(jù),這就是所謂空間局部性
對效率的影響
比較 ij 和 ji 兩個方法的執(zhí)行效率
public class TestCacheLine {
/**
* 二維數(shù)組遍歷,先行后列
* @param a
* @param rows
* @param cols
*/
public static void ij(int[][] a, int rows, int cols) {
long sum = 0L;
for (int i = 0; i < rows; i++) {
for (int j = 0; j < cols; j++) {
sum += a[i][j];
}
}
System.out.println(sum);
}
/**
* 二維數(shù)組遍歷,先列后行
* @param a
* @param rows
* @param cols
*/
public static void ji(int[][] a, int rows, int cols) {
long sum = 0L;
for (int j = 0; j < cols; j++) {
for (int i = 0; i < rows; i++) {
sum += a[i][j];
}
}
System.out.println(sum);
}
public static void main(String[] args) {
int rows = 1000000;
int cols = 15;
int[][] arr = new int[rows][cols];
StopWatch sw = new StopWatch();
sw.start();
ij(arr, rows, cols);
sw.stop();
System.out.println("=====ij: "+sw.getElapsedTimeInNanos()); //15531671
sw.start();
ji(arr, rows, cols);
sw.stop();
System.out.println("=====ji: "+sw.getElapsedTimeInNanos()); // 77156768
}
}
ij 的效率比 ji 快很多:
- 緩存是有限的,當新數(shù)據(jù)來了后,一些舊的緩存行數(shù)據(jù)就會被覆蓋
- 如果不能充分利用緩存的數(shù)據(jù),就會造成效率低下
以 ji 執(zhí)行為例,第一次內循環(huán)要讀入 這條數(shù)據(jù),由于局部性原理,讀入
的同時也讀入了
,如圖所示(但是這個數(shù)據(jù)對于ij的執(zhí)行,是用上了的)

但很遺憾,第二次內循環(huán)要的是 這條數(shù)據(jù),緩存中沒有,于是再讀入了下圖的數(shù)據(jù)

因為 包括
這些數(shù)據(jù)雖然讀入了緩存,卻沒有及時用上,而緩存的大小是有限的,等執(zhí)行到第九次內循環(huán)時

緩存的第一行數(shù)據(jù)已經(jīng)被新的數(shù)據(jù) 覆蓋掉了,以后如果再想讀,比如
,又得到內存去讀了
同理可以分析 ij 函數(shù)則能充分利用局部性原理加載到的緩存數(shù)據(jù)
六、越界檢查
java 中對數(shù)組元素的讀寫都有越界檢查,類似于下面的代碼
bool is_within_bounds(int index) const {
return 0 <= index && index < length();
}
此檢查代碼,不需要由程序員自己來調用,JVM 會幫我們調用