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

　　變量的類型與它的值的相容性通過JAVA語言設計來保證，因為缺省的值（$2.5.1）是相容的，并且所有對變量的賦值，為了賦值相容性，都在編譯期被檢查。

　　有七種變量：

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

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

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

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

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

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

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