Java容器深度总结：数组

星光不问赶路人，时光不负有心人。

1.数组概念

Java的数组和容器类都是持有对象的方式，数组也是一种容器，相比于其他种类的容器有较大差异。

数组就是空间连续的、长度固定的、保存相同数据类型的容器。

2.数组初始化

数组的初始化按方式可分为动态初始化和静态初始化。

• 动态初始化（指定数组长度）

int[] arr = new int[5];
int arr[] = new int[5];

• 静态初始化（指定内容）

int[] arr = new int[]{1, 2, 3, 4, 5};
int[] arr = {1, 2, 3, 4, 5};

注意：使用 int[] arr = {1, 2, 3, 4, 5}; 进行初始化不可拆分，如：

int[] arr = null;
arr = {1, 2, 3, 4, 5}; //Error

3.数组的特点

3.1 数组本身也是引用数据类型

无论使用哪一种类型的数组，数组的标识符只是一个引用，指向堆中的一个真实对象。

public class ArrayTest {

    public static void main(String[] args) {
        
        int[] arr1 = {};
        System.out.println(arr1.getClass().getSuperclass().getName());
        int[] arr2 = {1,2,3};
        String[] strArr = {};
        
        System.out.println(arr1.getClass() == arr2.getClass());
        System.out.println((Object) arr1.getClass() == strArr.getClass());
    
    }
}

输出：
java.lang.Object
true
false

需要注意的是：

• 数组本身也是一种引用数据类型，继承自Object。
• 数组对象由JVM直接创建，所有具有相同元素类型和维数的数组才共享同一个Class对象。（与数组中的元素无关）
• length为数组对象的成员变量。

3.2 数组是协变的

数组既可以存放基本数据类型，也可以存放引用类型，并且数组是协变的，即父类型数组可以存放子类型数据，子类型数组引用可以赋值给父类型数组引用。

class Fu{}

class Zi extends Fu {}

public class ArrayTest {

    public static void main(String[] args) {

        Fu[] fus = new Fu[5];

        fus[0] = new Zi();
        fus[1] = new Fu();

        Zi[] zis = new Zi[5];
        zis[0] = new Zi();

        fus = zis; // 向上转型 OK
    }
}

3.3 数组与泛型

数组不能很好地与泛型相结合，如：不能创建泛型数组：

List<Apple>[] apples = new ArrayList<Apple>[10]; // Error: Generic array creation.

这是由于泛型擦除会导致参数类型信息丢失，而数组必须知道他所持有对象的确切类型，以强制保证类型安全。

Tip：更多关于泛型和泛型擦除的内容，请阅读：Java基础深度解析：泛型

3.4 多维数组

由于数组可以存放任意类型的数据，当数组中的元素也是数组的引用时，该数组就是多维数组。一个n维数组可以理解成一个一维数组，该数组的每个元素都是一个n-1维数组的引用。

多维数组定义时必须指定“第一维度”的长度，其他维度的长度可以缺省。如：

int[][] arrs = new int[5][];
int[][][] arrs = new int[5][][];

4.数组与容器类区别

• 数组是固定长度的，集合的长度是可变的。
• 数组可以存储基本数据类型，也可以存储引用数据类型，容器类只能存储引用数据类型。

JDK1.5引入泛型，容器类均支持泛型，而泛型必须是Object及其子类，因此泛型不支持基本数据类型，要想在容器类中使用保存基本数据类型数据，就必须用他们的包装类。

5.列表（List）优于数组

• 数组是协变的，而泛型是不可变的。

数组的协变可能导致类型转换的异常。

Object[] objects = new Long[1];//Long
objects[0] = "hello world";//字符串
System.out.println(objects[0]);

编译不报错，运行时报错。

而泛型是不可变的，即使 A 是 B 的父类，那么它们的容器类也不会有继承关系。因为泛型会在运行的过程中参数类型会被擦除，所以必须在编译期就得保证类型安全，这就不容许有协变这个性质。

List<Fruit> fruitList = new ArrayList<Apple>(); // Error: Incompatible types

对于可能潜在的类型转化异常，泛型可以将错误在编译期指出，而数组只能在运行时期发现，自然在编译期就处理更好。