一、Array 是一個是對象嗎？

首先可以肯定的是，數組是一個對象；但是在推導的過程中還是有些難以理解的問題，比如對于任意一個引用對象A,

創(chuàng)新互聯專業(yè)成都網站設計、成都網站建設，集網站策劃、網站設計、網站制作于一體，網站seo、網站優(yōu)化、網站營銷、軟文推廣等專業(yè)人才根據搜索規(guī)律編程設計，讓網站在運行后，在搜索中有好的表現，專業(yè)設計制作為您帶來效益的網站！讓網站建設為您創(chuàng)造效益。

• 數組是協(xié)變的，所以Object[]是A[]的父類，即Object[] o = A[];

• 數組是一個對象，所以數組的父類是Object，即Object oo = o;

• 那么A[]、Object[]和Object是什么關系呢？

是這樣嗎？

我們可以通過反射來觀察一下：

private?static?void?test05()?{
??Object[]?o?=?new?String[2];
??System.out.println(o.getClass().getName());
??System.out.println(o.getClass().getSuperclass().getName());
??String[]?s?=?(String[])?o;
??System.out.println(s.getClass().getSuperclass().getName());
??Object?oo?=?s;?
}

打?。?[Ljava.lang.String;
java.lang.Object
java.lang.Object

可以看見A[]和Object[]的直接父類都是Object，所以他們之間的關系也一定不是上圖中的多繼承關系，那么數組協(xié)變產生的關系一定不同于extends關鍵字產生的關系；

extends關鍵字產生的繼承關系是怎么定義呢？
這里我們可以從《Virtual Machine Specifications》中找到答案：

//?ClassFile?結構ClassFile?{
??u4????????????????magic;
??u2????????????????minor_version；
??u2????????????????major_version;
??u2????????????????constant_pool_count；
??cp_info???????????constant_pool[constant_pool_count-1];
??u2????????????????access_flags;
??u2????????????????this_class;
??u2????????????????super_class;
??u2????????????????interfaces_count;
??u2????????????????interfaces[interfaces_count];
??u2????????????????fields_count;
??field_info????????fields[fields_count]；
??u2????????????????methods_count;
??method_info???????methods[methods_count];
??u2????????????????attribute_count;
??attributes_info;??attributes[attributes_count]；?
}

可以看到extends關鍵字產生的繼承關系是記錄在class文件中的super_class里面的。我這里還沒有在 JDK 源碼里面找到數組協(xié)變關系的產生，但是可以猜想這個應該是后來加的類似語法關系的結構。這里先留著以后看源碼的時候確認吧。

二、Array 的 length 域相關

在準備看Array源碼的時候，我直接就點開了java.lang.reflect.Array，后來才知道這根本不是Array的源碼，看包名就知道，這是使用反射操作數組的一些方法。Array的class是在運行過程中動態(tài)生成的。
那么在Array的class中到底包含了什么呢？在很多的資料中都寫了，Array中有類似public final int length的成員變量。但是在《Java Language Specifications》10.1. Array Types中明確寫了，length不是類型的一部分；

• An array's length is not part of its type.

private?static?void?test06()?{
??String[]?s?=?new?String[2];
??System.out.println(s.length);
??System.out.println(s.getClass().getDeclaredFields().length);??try?{
??System.out.println(s.getClass().getDeclaredField("length"));
??}?catch?(NoSuchFieldException?e)?{
??System.out.println(e.toString());
??}?
}

打?。?0java.lang.NoSuchFieldException:?length

可以看到length并不是Array的成員變量，那么length是從哪里來的呢？
同樣我們可以從ClassFile結構中找打答案；

可以看到Array的length信息是記錄在對象頭中的，而讀取length信息的時候，是使用的arraylength字節(jié)碼指令來讀取的。

三、Array 的創(chuàng)建流程

//?數組創(chuàng)建的幾種形式String[]?s?=?{"a",?"b",?"c"};??//?初始化器String[]?s1?=?new?String[3];???//?有維度表達式String[]?s2?=?(String[])?Array.newInstance(String.class,?3);?//?有維度表達式

數組創(chuàng)建流程

是否有維度表達式：
??無：
????創(chuàng)建的時候每個元素遞歸深入初始化，失敗則退出
????變量類型檢查?->?與數組類型不兼容?->?編譯錯誤
????不是可具化類型(如：null)?->?編譯錯誤?
????空間不足?->?OutOfMemoryError
??有：
????創(chuàng)建的時候，從左向右地計算，任意維度表達式計算失敗則退出
????檢查所有維度值，有小于0?->?NegativeArraySizeException?
????分配空間，若空間不足?->?OutOfMemoryError
????只有一個維度表達式，創(chuàng)建一維數組，每個元素初始化化為初始值
????有n個維度表達式，執(zhí)行深度為n-1的循環(huán)

四、協(xié)變數組

1. 逆變與協(xié)變

逆變與協(xié)變用來描述類型轉換（type transformation）后的繼承關系
如果A、B表示類型，f(?)表示類型轉換，≤表示繼承關系（比如，A≤B表示A是由B派生出來的子類）

• f(?)是逆變的，當A≤B時有f(B)≤f(A)成立；

• f(?)是協(xié)變的，當A≤B時有f(A)≤f(B)成立；

• f(?)是不變的，當A≤B時上述兩個式子均不成立，即f(A)與f(B)相互之間沒有繼承關系。

正因為數組是協(xié)變的，所以Object[] o = new A[];

2. 為什么要設計為協(xié)變數組

有種看法認為這是在泛型產生之前的妥協(xié)產物，比如在 JDK5 之前還沒有泛型，但是很多地方需要用泛型來解決，比如：

//?java.util.Arrayspublic?static?boolean?equals(Object[]?a,?Object[]?a2)?{??if?(a==a2)????return?true;????
??if?(a==null?||?a2==null)????return?false;????
??int?length?=?a.length;??if?(a2.length?!=?length)????return?false;????
??for?(int?i=0;?i
最后調用的是Object.equals()方法，但是不想全部都重寫equals，這里最簡單的就是讓數組實現協(xié)變的特性；
3. 為什么不能使用泛型數組
這里簡單的講是因為泛型是不變的，而數組是協(xié)變的，所以不能使用泛型數組；
//?如果泛型也是協(xié)變的private?static?void?test07()?{
??List