2.5　變量
　　變量(variable)是一種存儲(chǔ)位置。它有一個(gè)相應(yīng)的類型，有時(shí)稱為它的編譯期類型(compile-time-type)。這種類型或者是基本類型($2.4.1)，或者是引用類型($2.4.5)。變量總是包含一個(gè)與它的類型賦值相容($2.6.6)的值?；绢愋偷淖兞靠偸浅钟心莻€(gè)確定的基本類型的值。引用類型的變量可以持有一個(gè)null引用或者一個(gè)與該變量的類型賦值相容的($2.6.6)類的任何對(duì)象的引用。

　　變量的類型與它的值的相容性通過(guò)JAVA語(yǔ)言設(shè)計(jì)來(lái)保證，因?yàn)槿笔〉闹担?2.5.1）是相容的，并且所有對(duì)變量的賦值，為了賦值相容性，都在編譯期被檢查。

　　有七種變量：

　　(1)類變量(class variable)是在類聲明中用關(guān)鍵字static($2.9.1)，或者在接口聲明中用（或不用）關(guān)鍵字static聲明的類類型的域。類變量在類或者接口被裝載($2.16.2)時(shí)被創(chuàng)建，并且在創(chuàng)建時(shí)按照缺省值被初始化。在類的任何必需的終止函數(shù)($2.16.8)結(jié)束后、類或者接口被卸載($2.16.8)時(shí)，類變量有效的終止存在。

　　(2)實(shí)例變量(instance variable)是類聲明中不使用關(guān)鍵字static($2.9.1)聲明的域。如果類T具有實(shí)例變量a，則對(duì)類T或者它的任何子類的每個(gè)新創(chuàng)建的對(duì)象，都創(chuàng)建并按照缺省值初始化一個(gè)新的實(shí)例變量a作為每個(gè)新創(chuàng)建的對(duì)象的一部分。對(duì)對(duì)象不再被引用，在該對(duì)象的任何必需的終止函數(shù)結(jié)束之后，該對(duì)象的域?qū)嵗兞坑行У亟K止存在。

　　(3)數(shù)組成分(array components)是在一個(gè)數(shù)組新對(duì)象被創(chuàng)建時(shí)創(chuàng)建的、并且初始化為缺省值($2.5.1)的未命名變量。數(shù)組成分在數(shù)組不再被引用時(shí)有效的終止存在。

　　(4)方法參數(shù)(method parameters)指定傳遞給方法的參數(shù)值。對(duì)在方法聲明中聲明的每個(gè)參數(shù)。每次方法被調(diào)用時(shí)都創(chuàng)建一個(gè)新的參數(shù)變量。新的變量用來(lái)自方法調(diào)用的相應(yīng)參數(shù)值初始化。在方法主體執(zhí)行結(jié)束時(shí)方法參數(shù)有效地終止存在。

　　(5)構(gòu)造函數(shù)參數(shù)(construstor parameters)指定傳遞給構(gòu)造函數(shù)的參數(shù)值。對(duì)在構(gòu)造函數(shù)聲明中聲明的每個(gè)參數(shù)，每次類實(shí)例創(chuàng)建表達(dá)式或者顯式的構(gòu)造函數(shù)調(diào)用被求值時(shí)，都創(chuàng)建一個(gè)新的參數(shù)變量。新的變量用來(lái)自創(chuàng)建表達(dá)式或者構(gòu)造函數(shù)調(diào)用的相應(yīng)參數(shù)初始化。當(dāng)構(gòu)造函數(shù)主體執(zhí)行結(jié)束時(shí)，構(gòu)造函數(shù)參數(shù)有效的終止存在。

　　(6)異常處理者參數(shù)(exception-handle parameter)變量在每次異常被try語(yǔ)句($2.15.2)的catch子句($2.15.2)相應(yīng)的塊執(zhí)行結(jié)束時(shí)，異常處理者參數(shù)有效的終止存在。

　　(7)局部變量(local variables)由局部變量聲明語(yǔ)句聲明。每當(dāng)控制流進(jìn)入一個(gè)塊或者for語(yǔ)句中時(shí)，就為在直接包含在該塊或者for語(yǔ)句中的局部變量聲明語(yǔ)句中的聲明的每個(gè)局部變量創(chuàng)建一個(gè)新的變量。但是，局部變量直到聲明它的局部變量聲明語(yǔ)句被執(zhí)行時(shí)才初始化。當(dāng)該塊或者for語(yǔ)句執(zhí)行結(jié)束時(shí)，局部變量有效地終止存在。