变数的种类 （蔡学墉）

本文章尝试着为变数的种类做一个总整理，以期让读者能充分掌握每一种变数的特性。

根据宣告方式来为变数分类
根据宣告方式详细来区分，Java 的变数有七种，下面的程式码展示了这七种变数的宣告方式：

class MyClass {
static int a;
int b;
public static void myMethod(int c) {
try {
int d;
} catch (Exception e) {
}
}
MyClass(int f) {
int[] g = new int[100];
}
}

class variable：宣告在 class 内，method 之外，且使用 static 修饰的变数，例如上面程式码的 a。
instance variable：宣告在 class 内，method 之外，且未使用 static 修饰的变数，例如上面程式码的 b。
method parameter：宣告在 method 小括号内的变数，例如上面程式码的 c。
狭义的区域变数（local variable）：宣告在 method 内的变数，例如上面程式码的 d 与 g。
exception-handler parameter：宣告在 catch 小括号内的变数，例如上面程式码的 e。
constructor parameter：宣告在 constructor 小括号内的变数，例如上面程式码的 f。
阵列元素（array component）：阵列的元素值没有识别名称，必须透过阵列和索引值（index）来识别。例如上面程式码的 g[0]。
根据变数记忆体来分类
根据变数记忆体位置来区分，Java 的变数有两种，包括了：

heap variable：占用的记忆体在 heap 中，这类变数包括了 class variable、instance variable、array component，即前面程式的 a, b, g[0]。这类变数会自动被 JVM 初始化成预设值。
stack variable：通称广义的区域变数（pan-local variable），其占用的记忆体在 stack 中，这类变数包括了狭义的区域变数、method parameter、exception-handler parameter、constructor parameter，即前面程式的 c, d, e, f。狭义的区域变数不会被 JVM 初始化成预设值，使用者必须自行初始化该变数，但是 parameter 类（包括 method parameter、exception-handler parameter、constructor parameter）会被 JVM 初始化成传入值。
根据使用方式来为变数分类
根据使用方式，只要分成三类即可，分别是：

class variable：即上例的 a。
instance variable：即上例的 b。
广义的区域变数：包含上例的 c、d、e、f。这四者的差别很小，直接归为一类。
至于「阵列元素」（array component）则不在此三类中，但是「阵列元素」并不常被注意到，为它多分出一类的用处不高。我通常将阵列视为物件，将 array component 视为物件的 instance variable。