Java中數組的特性


數組是基本上所有語言都會有的一種數據類型,它表示一組相同類型的數據的集合,具有固定的長度,並且在內存中占據連續的空間。在C,C++等語言中,數組的定義簡潔清晰,而在java中確有一些會讓人迷惑的特性。本文就嘗試分析這些特性。

Java中的數組是對象嗎?

 

Java和C++都是面向對象的語言。在使用這些語言的時候,我們可以直接使用標准的類庫,也可以使用組合和繼承等面向對象的特性構建自己的類,並且根據自己構建的類創建對象。那么,我們是不是應該考慮這樣一個問題:在面向對象的語言中,數組是對象嗎?

 

要判斷數組是不是對象,那么首先明確什么是對象,也就是對象的定義。在較高的層面上,對象是根據某個類創建出來的一個實例,表示某類事物中一個具體的個體。對象具有各種屬性,並且具有一些特定的行為。而在較低的層面上,站在計算機的角度,對象就是內存中的一個內存塊,在這個內存塊封裝了一些數據,也就是類中定義的各個屬性,所以,對象是用來封裝數據的。以下為一個Person對象在內存中的表示:

注意:

1)小的紅色矩形表示一個引用(地址)或一個基本類型的數據,大的紅色矩形表示一個對象,多個小的紅色矩形組合在一塊,可組成一個對象。

2)name在對象中只表示一個引用, 也就是一個地址值,它指向一個真實存在的字符串對象。在這里嚴格區分了引用和對象。

 

那么在Java中,數組滿足以上的條件嗎?在較高的層面上,數組不是某類事物中的一個具體的個體,而是多個個體的集合。那么它應該不是對象。而在計算機的角度,數組也是一個內存塊,也封裝了一些數據,這樣的話也可以稱之為對象。以下是一個數組在內存中的表示:

這樣的話, 數組既可以是對象, 也可以不是對象。至於到底是不是把數組當做對象,全憑Java的設計者決定。數組到底是不是對象, 通過代碼驗證:

 

[java]  view plain  copy
 
  1. int[] a = new int[4];  
  2. //a.length;  //對屬性的引用不能當成語句  
  3. int len = a.length;  //數組中保存一個字段, 表示數組的長度  
  4.   
  5. //以下方法說明數組可以調用方法,java中的數組是對象.這些方法是Object中的方法,所以可以肯定,數組的最頂層父類也是Object  
  6. a.clone();  
  7. a.toString();  

 

在數組a上, 可以訪問他的屬性,也可以調用一些方法。這基本上可以認定,java中的數組也是對象,它具有java中其他對象的一些基本特點:封裝了一些數據,可以訪問屬性,也可以調用方法。所以,數組是對象。

 

而在C++中,數組雖然封裝了數據,但數組名只是一個指針,指向數組中的首個元素,既沒有屬性,也沒有方法可以調用。如下代碼所示:

 

[cpp]  view plain  copy
 
  1. int main(){  
  2.     int a[] = {1, 2, 3, 4};  
  3.     int* pa = a;  
  4.     //無法訪問屬性,也不能調用方法。  
  5.     return 0;  
  6. }  


所以C++中的數組不是對象,只是一個數據的集合,而不能當做對象來使用。

 

 

Java中數組的類型

 
Java是一種強類型的語言。既然是對象, 那么就必須屬於一個類型,比如根據Person類創建一個對象,這個對象的類型就是Person。那么數組的類型是什么呢?看下面的代碼:
[java]  view plain  copy
 
  1. int[] a1 = {1, 2, 3, 4};  
  2. System.out.println(a1.getClass().getName());  
  3. //打印出的數組類的名字為[I  
  4.   
  5. String[] s = new String[2];  
  6. System.out.println(s.getClass().getName());  
  7. //打印出的數組類的名字為  [Ljava.lang.String;  
  8.   
  9. String[][] ss = new String[2][3];  
  10. System.out.println(ss.getClass().getName());  
  11. //打印出的數組類的名字為    [[Ljava.lang.String;  

打印出a1的類型為[ I ,s 的類型是[Ljava.lang.String;  ,  ss的類型是[[Ljava.lang.String;  
 
所以,數組也是有類型的。只是這個類型顯得比較奇怪。你可以說a1的類型是int[],這也無可厚非。但是我們沒有自己創建這個類,也沒有在Java的標准庫中找到這個類。也就是說不管是我們自己的代碼,還是在JDK中,都沒有如下定義:
[java]  view plain  copy
 
  1. public class int[] {  
  2.       
  3.     // ...  
  4.       
  5.     // ...  
  6.       
  7.     // ...  
  8. }  

這只能有一個解釋,那就是虛擬機自動創建了數組類型,可以把數組類型和8種基本數據類型一樣, 當做java的內建類型。這種類型的命名規則是這樣的:
 
*  每一維度用一個[表示;開頭兩個[,就代表是二維數組。
* [后面是數組中元素的類型(包括基本數據類型和引用數據類型)
 
在java語言層面上,s是數組,也是一個對象,那么他的類型應該是String[],這樣說是合理的。但是在JVM中,他的類型為[java.lang.String。順便說一句普通的類在JVM里的類型為 包名+類名,也就是全限定名。同一個類型在java語言中和在虛擬機中的表示可能是不一樣的。
 

Java中數組的繼承關系

 

上面已經驗證了,數組是對象,也就是說可以以操作對象的方式來操作數組。並且數組在虛擬機中有它特別的類型。既然是對象,遵循Java語言中的規則 -- Object是上帝, 也就是說所有類的頂層父類都是Object。數組的頂層父類也必須是Object,這就說明數組對象可以向上直接轉型到Object,也可以向下強制類型轉換,也可以使用instanceof關鍵字做類型判定。 這一切都和普通對象一樣。如下代碼所示:

 

[java]  view plain  copy
 
  1. //1     在test1()中已經測試得到以下結論: 數組也是對象, 數組的頂層父類是Object, 所以可以向上轉型  
  2. int[] a = new int[8];  
  3. Object obj = a ; //數組的父類也是Object,可以將a向上轉型到Object  
  4.   
  5. //2     那么能向下轉型嗎?  
  6. int[] b = (int[])obj;  //可以進行向下轉型  
  7.   
  8. //3     能使用instanceof關鍵字判定嗎?  
  9. if(obj instanceof int[]){  //可以用instanceof關鍵字進行類型判定  
  10.     System.out.println("obj的真實類型是int[]");  
  11. }  
 

 

 

Java中數組的另一種“繼承”關系

 
如下代碼是正確的,卻很容易讓我們疑惑:
[java]  view plain  copy
 
  1. String[] s = new String[5];  
  2. Object[] obja = s;   //成立,說明可以用Object[]的引用來接收String[]的對象  

Object[]類型的引用可以指向String[]類型的數組對象? 由上文的驗證可以得知數組類型的頂層父類一定是Object,那么上面代碼中s的直接父類是誰呢?難道說String[]繼承自Object[],而Object[]又繼承自Object? 讓我們通過反射的方式來驗證這個問題:
[java]  view plain  copy
 
  1. //5     那么String[] 的直接父類是Object[] 還是 Object?  
  2. System.out.println(s.getClass().getSuperclass().getName());  
  3. //打印結果為java.lang.Object,說明String[] 的直接父類是 Object而不是Object[]  

由代碼可知,String[]的直接父類就是Object而不是Object[]。可是Object[]的引用明明可以指向String[]類型的對象。那么他們的繼承關系有點像這樣:
這樣的話就違背了Java單繼承的原則。String[]不可能即繼承Object,又繼承Object[]。上面的類圖肯定是錯誤的。那么只能這樣解釋:數組類直接繼承了Object,關於Object[]類型的引用能夠指向String[]類型的對象,這種情況只能是Java語法之中的一個特例,並不是嚴格意義上的繼承。也就是說,String[]不繼承自Object[],但是我可以允許你向上轉型到Object[],這種特性是賦予你的一項特權。
 
其實這種關系可以這樣表述:如果有兩個類A和B,如果B繼承(extends)了A,那么A[]類型的引用就可以指向B[]類型的對象。如下代碼所示:
[java]  view plain  copy
 
  1. public static class Father {  
  2.   
  3. }  
  4.   
  5. public static class Son extends Father {  
  6.   
  7. }  
[java]  view plain  copy
 
  1. //6   下面成立嗎?  Father是Son的直接父類  
  2. Son[] sons = new Son[3];  
  3. Father[] fa = sons;  //成立  
  4.   
  5. //7     那么Son[] 的直接父類是Father[] 還是  Object[] 或者是Object?  
  6. System.out.println(sons.getClass().getSuperclass().getName());  
  7. //打印結果為java.lang.Object,說明Son[]的直接父類是Object  

上面的結論可以擴展到二維數組和多維數組:
[java]  view plain  copy
 
  1. Son[][] sonss = new Son[2][4];  
  2. Father[][] fathers = sonss;  
上面的代碼可以這樣理解:
 
將Father[][]數組看成是一維數組, 這是個數組中的元素為Father[],將Son[][]數組看成是一維數組, 這是個數組中的元素為Son[],因為Father[]類型的引用可以指向Son[]類型的對象,所以,根據上面的結論,Father[][]的引用可以指向Son[][]類型的對象。
 
數組的這種用法不能作用於基本類型數據:
[java]  view plain  copy
 
  1. int[] aa = new int[4];  
  2. //Object[] objaa = aa;  //錯誤的,不能通過編譯  

這是錯誤的, 因為int不是引用類型,Object不是int的父類,在這里自動裝箱不起作用。但是這種方式是可以的:
[java]  view plain  copy
 
  1. Object[] objss = {"aaa", 1, 2.5};  

這種情況下自動裝箱可以工作,也就是說,Object數組中可以存放任何值,包括基本數據類型。


Java為什么會為數組提供這樣一種語法特性呢?也就是說這種語法有什么作用?編寫過Android中Sqlite數據庫操作程序的同學可能發現過這種現象,用一個Object[]引用接收所有的數組對象,在編譯SQL語句時,為SQL語句中的占位符提供對應的值。
[java]  view plain  copy
 
  1. db.execSQL("INSERT INTO person VALUES (NULL, ?, ?)", new Object[]{person.name, person.age});   
 
所以這種特性主要是用於方法中參數的傳遞。如果不傳遞數組,而是依次傳遞各個值,會使方法參數列表變得冗長。如果使用具體的數組類型,如String[],那么就限定了類型,失去了靈活性。所以傳遞數組類型是一種比較好的方式。但是如果沒有上面的數組特性(如果有兩個類A和B,如果B繼承(extends)了A,那么A[]類型的引用就可以指向B[]類型的對象),那么數組類型就只能通過Object類型接收,這樣就無法在方法內部訪問或遍歷數組中的各個元素。如下代碼:
[java]  view plain  copy
 
  1. private static void test3() {  
  2.     String[] a = new String[3];  
  3.     doArray(a);  
  4. }  
  5.   
  6. private static void doArray(Object[] objs){  
  7.       
  8. }  
  9.   
  10. private static void doArray1(Object obj){  
  11.     //不能用Object接收數組,因為這樣無法對數組的元素進行訪問  
  12.     // obj[1]  //錯誤  
  13.       
  14.     //如果在方法內部對obj轉型到數組,存在類型轉換異常的風險  
  15.     // Object[] objs = (Object[]) obj;  
  16. }  
  17.   
  18. private static void doArray2(String[] strs){  
  19.     //如果適用特定類型的數組,就限制了類型,失去靈活性和通用性  
  20. }  
  21.   
  22. private static void doArray3(String name, int age, String id, float account){  
  23.     //如果不適用數組而是依次傳遞參數,會使參數列表變得冗長,難以閱讀  
  24. }  

到此為止,數組的特性就總結完了。上文中加粗的部分為重要結論。下面貼出整個源碼:
 

源碼

[java]  view plain  copy
 
  1. package com.pansoft.zhangjg.testarray;  
  2.   
  3. public class ArrayTest {  
  4.   
  5.     /** 
  6.      * @param args 
  7.      */  
  8.     public static void main(String[] args) {  
  9.         test1();  
  10.         test2();  
  11.         test3();  
  12.     }  
  13.   
  14.     /** 
  15.      * 數組具有這種特性: 
  16.      * 如果有兩個類A和B,如果B繼承(extends)了A,那么A[]類型的引用就可以指向B[]類型的對象 
  17.      * 測試數組的特殊特性對參數傳遞的便利性 
  18.      */  
  19.     private static void test3() {  
  20.         String[] a = new String[3];  
  21.         doArray(a);  
  22.     }  
  23.   
  24.     private static void doArray(Object[] objs){  
  25.           
  26.     }  
  27.       
  28.     private static void doArray1(Object obj){  
  29.         //不能用Object接收數組,因為這樣無法對數組的元素進行訪問  
  30.         // obj[1]  //錯誤  
  31.           
  32.         //如果在方法內部對obj轉型到數組,存在類型轉換異常的風險  
  33.         // Object[] objs = (Object[]) obj;  
  34.     }  
  35.       
  36.     private static void doArray2(String[] strs){  
  37.         //如果適用特定類型的數組,就限制了類型,失去靈活性和通用性  
  38.     }  
  39.       
  40.     private static void doArray3(String name, int age, String id, float account){  
  41.         //如果不適用數組而是依次傳遞參數,會使參數列表變得冗長,難以閱讀  
  42.     }  
  43.     /** 
  44.      * 測試數組的集成關系, 並且他的繼承關系是否和數組中元素的類型有關 
  45.      */  
  46.     private static void test2() {  
  47.           
  48.         //1     在test1()中已經測試得到以下結論: 數組也是對象, 數組的頂層父類是Object, 所以可以向上轉型  
  49.         int[] a = new int[8];  
  50.         Object obj = a ; //數組的父類也是Object,可以將a向上轉型到Object  
  51.           
  52.         //2     那么能向下轉型嗎?  
  53.         int[] b = (int[])obj;  //可以進行向下轉型  
  54.           
  55.         //3     能使用instanceof關鍵字判定嗎?  
  56.         if(obj instanceof int[]){  //可以用instanceof關鍵字進行類型判定  
  57.             System.out.println("obj的真實類型是int[]");  
  58.         }  
  59.           
  60.         //4     下面代碼成立嗎?  
  61.         String[] s = new String[5];  
  62.         Object[] obja = s;   //成立,說明可以用Object[]的引用來接收String[]的對象  
  63.           
  64.         //5     那么String[] 的直接父類是Object[] 還是 Object?  
  65.         System.out.println(s.getClass().getSuperclass().getName());  
  66.         //打印結果為java.lang.Object,說明String[] 的直接父類是 Object而不是Object[]  
  67.           
  68.         //6   下面成立嗎?  Father是Son的直接父類  
  69.         Son[] sons = new Son[3];  
  70.         Father[] fa = sons;  //成立  
  71.           
  72.         //7     那么Son[] 的直接父類是Father[] 還是  Object[] 或者是Object?  
  73.         System.out.println(sons.getClass().getSuperclass().getName());  
  74.         //打印結果為java.lang.Object,說明Son[]的直接父類是Object  
  75.           
  76.         /** 
  77.          * 做一下總結, 如果A是B的父類, 那么A[] 類型的引用可以指向 B[]類型的變量 
  78.          * 但是B[]的直接父類是Object, 所有數組的父類都是Object 
  79.          */  
  80.           
  81.         //8     上面的結論可以擴展到二維數組  
  82.         Son[][] sonss = new Son[2][4];  
  83.         Father[][] fathers = sonss;  
  84.         //將Father[][]數組看成是一維數組, 這是個數組中的元素為Father[]  
  85.         //將Son[][]數組看成是一維數組, 這是個數組中的元素為Son[]  
  86.         //因為Father[]類型的引用可以指向Son[]類型的對象  
  87.         //所以,根據上面的結論,Father[][]的引用可以指向Son[][]類型的對象  
  88.           
  89.         /** 
  90.          * 擴展結論: 
  91.          * 因為Object是所有引用類型的父類 
  92.          * 所以Object[]的引用可以指向任何引用數據類型的數組的對象. 如: 
  93.          * Object[] objs = new String[1]; 
  94.          * Object[] objs = new Son[1]; 
  95.          * 
  96.          */  
  97.           
  98.         //9     下面的代碼成立嗎?  
  99.         int[] aa = new int[4];  
  100.         //Object[] objaa = aa;  //錯誤的,不能通過編譯  
  101.         //這是錯誤的, 因為Object不是int的父類,在這里自動裝箱不起作用  
  102.           
  103.         //10    這樣可以嗎?  
  104.         Object[] objss = {"aaa", 1, 2.5};//成立  
  105.     }  
  106.   
  107.     /** 
  108.      * 測試在java語言中,數組是不是對象 
  109.      * 如果是對象, 那么他的類型是什么? 
  110.      */  
  111.     private static void test1() {  
  112.         int[] a = new int[4];  
  113.         //a.length;  //對屬性的引用不能當成語句  
  114.         int len = a.length;  //數組中保存一個字段, 表示數組的長度  
  115.           
  116.         //以下方法說明數組可以調用方法,java中的數組是對象.這些方法是Object中的方法,所以可以肯定,數組的最頂層父類也是Object  
  117.         a.clone();  
  118.         a.toString();  
  119.           
  120.           
  121.         /** 
  122.          * java是強類型的語言,一個對象總會有一個特定的類型,例如 Person p = new Person(); 
  123.          * 對象p(確切的說是引用)的類型是Person類, 這個Person類是我們自己編寫的 
  124.          * 那么數組的類型是什么呢? 下面使用反射的方式進行驗證 
  125.          */  
  126.         int[] a1 = {1, 2, 3, 4};  
  127.         System.out.println(a1.getClass().getName());  
  128.         //打印出的數組類的名字為[I  
  129.           
  130.         String[] s = new String[2];  
  131.         System.out.println(s.getClass().getName());  
  132.         //打印出的數組類的名字為  [Ljava.lang.String;  
  133.           
  134.         String[][] ss = new String[2][3];  
  135.         System.out.println(ss.getClass().getName());  
  136.         //打印出的數組類的名字為    [[Ljava.lang.String;  
  137.           
  138.         /** 
  139.          * 所以,數組也是有類型的,只不過這個類型不是有程序員自己定義的類, 也不是jdk里面 
  140.          * 的類, 而是虛擬機在運行時專門創建的類 
  141.          * 類型的命名規則是: 
  142.          *      每一維度用一個[表示; 
  143.          *      [后面是數組中元素的類型(包括基本數據類型和引用數據類型) 
  144.          *  
  145.          * 在java語言層面上,s是數組,也是一個對象,那么他的類型應該是String[], 
  146.          * 但是在JVM中,他的類型為[java.lang.String 
  147.          *  
  148.          * 順便說一句普通的類在JVM里的類型為 包名+類名, 也就是全限定名 
  149.          */  
  150.     }  
  151.       
  152.     public static class Father {  
  153.   
  154.     }  
  155.       
  156.     public static class Son extends Father {  
  157.   
  158.     }  
  159. }  
 
 
轉: http://blog.csdn.net/zhangjg_blog/article/details/16116613


免責聲明!

本站轉載的文章為個人學習借鑒使用,本站對版權不負任何法律責任。如果侵犯了您的隱私權益,請聯系本站郵箱yoyou2525@163.com刪除。



 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM