下表列出了原始類型以及它們的對象封裝類。
原始類型和封裝類
|
|
boolean | Boolean |
char | Character |
byte | Byte |
short | Short |
int | Integer |
long | Long |
float | Float |
double | Double |
引用類型和原始類型的行爲完全不同,並且它們具有不同的語義。例如,假定一個方法中有兩個局部變量,一個變量爲 int
原始類型,另一個變量是對一個 Integer
對象的對象引用:
|
這兩個變量都存儲在局部變量表中,並且都是在 Java 操作數堆棧中操作的,但對它們的表示卻完全不同。(本文中以下部分將用通用術語堆棧代替操作數堆棧或局部變量表。)原始類型 int
和對象引用各佔堆棧的 32 位。(要表示一個 int
或一個對象引用,Java 虛擬機實現至少需要使用 32 位存儲。)Integer
對象的堆棧項並不是對象本身,而是一個對象引用。
Java 中的所有對象都要通過對象引用訪問。對象引用是指向對象存儲所在堆中的某個區域的指針。當聲明一個原始類型時,就爲類型本身聲明瞭存儲。前面的兩行代碼表示如下:
引用類型和原始類型具有不同的特徵和用法,它們包括:大小和速度問題,這種類型以哪種類型的數據結構存儲,當引用類型和原始類型用作某個類的實例數據時所指定的缺省值。對象引用實例變量的缺省值爲 null
,而原始類型實例變量的缺省值與它們的類型有關。
許多程序的代碼將同時包含原始類型以及它們的對象封裝。當檢查它們是否相等時,同時使用這兩種類型並瞭解它們如何正確相互作用和共存將成爲問題。程序員必須瞭解這兩種類型是如何工作和相互作用的,以避免代碼出錯。
例如,不能對原始類型調用方法,但可以對對象調用方法:
|
使用原始類型無須調用 new
,也無須創建對象。這節省了時間和空間。混合使用原始類型和對象也可能導致與賦值有關的意外結果。看起來沒有錯誤的代碼可能無法完成您希望做的工作。例如:
|
這段代碼生成以下輸出:
|
修改整數 a
和 b
的結果沒什麼意外的地方。b
的值被賦予整型變量 a
,結果 a
的值增加了 1。這一輸出反映了我們希望發生的情況。但是,令人感到意外的,是在賦值並調用 setLocation
之後 x
和 y
對象的輸出。我們在完成 x = y
賦值之後特意對 x
調用了 setLocation
,x
和 y
的值怎麼會相同呢?我們畢竟將 y
賦予 x
,然後更改了 x
,這與我們對整數 a
和 b
進行的操作沒什麼不同。
這種混淆是由原始類型和對象的使用造成的。賦值對這兩種類型所起的作用沒什麼不同。但它可能看起來所有不同。賦值使等號 (=) 左邊的值等於右邊的值。這一點對於原始類型(如前面的 int a
和 b
)是顯而易見的。對於非原始類型(如 Point
對象),賦值修改的是對象引用,而不是對象本身。因此,在語句
x = y; |
之後,x
等於 y
。換句話說,因爲 x
和 y
是對象引用,它們現在引用同一個對象。因此,對 x
所作的任何更改也會更改 y
。下面是 //1 處的代碼執行以後的情況:
執行 //2 處的賦值以後情況如下:
當在 //3 處調用 setLocation
時,這一方法是對 x
引用的對象執行的。因爲 x
引用的 Point
對象也正是 y
所引用的對象,所以我們現在得到以下結果:
因爲 x
和 y
引用同一個對象,所以對 x
執行的所有方法與對 y
執行的方法都作用於同一個對象。
區分引用類型和原始類型並理解引用的語義是很重要的。若做不到這一點,則會使編寫的代碼無法完成預定工作。