Java开发笔记（五十五）关键字static的用法

前面介绍嵌套类的时候讲到了关键字static，用static修饰类，该类就变成了嵌套类。从嵌套类的用法可知，其它地方访问嵌套类之时，无需动态创建外层类的实例，直接创建嵌套类的实例就行。
其实static不光修饰类，还能用来修饰方法、修饰属性等等，例如大家学习java一开始就遇到的main方法，便为static所修饰。当一个成员方法被static修饰之后，该方法就成为静态方法；当一个成员属性被static修饰之后，该属性就成为静态属性。静态方法和静态属性，它俩同嵌套类一样不依赖于所在类的实例。外部若要访问某个类的静态方法，只需通过“类名.静态方法名”即可；同理，通过“类名.静态属性名”就能访问该类的静态属性。由于静态方法和静态属性拥有独立调用的特性，因此它们常常出现在一些通用的工具场景，例如系统的数学函数库math，便提供了大量的静态方法和静态属性。其中常见的静态方法包括四舍五入函数math.round、取绝对值函数math.abs、求平方根函数math.sqrt等，常见的静态属性则有圆周率近似值math.pi等。
那么开发者自己定义一个新类，如何得知哪些属性需要声明为静态属性，哪些方法需要声明为静态方法呢？在多数情况下，静态属性的取值一般要求是固定不变的，而静态方法只允许对输入参数进行加工，不允许操作其它的成员变量（静态属性除外）。以树木类为例，凡是会动态变化着的性状与事情，显然不适合声明为静态成员；只有与生长过程无关的概念，才适合声明为静态成员。譬如树木可分为乔木与灌木两大类，可想而知乔木与灌木的类型取值，与每棵树木的生长情况没有关联，这两种树木类型就适合作为静态属性。根据树木的类型，推断该树木的类型名称是“乔木”还是“灌木”，这个类型名称的判断方法就适合作为静态方法。如此一来，tree类便可添加下面的静态成员声明代码：

	// static的字面意思是“静态的”，意味着无需动态创建即可直接使用。
	// 利用static修饰成员属性，外部即可通过“类名.属性名”直接访问静态属性。
	public static int type_arbor = 1;
	public static int type_bush = 2;

	// 利用static修饰成员方法，外部即可通过“类名.方法名”直接访问静态方法。
	public static string gettypename(int type) {
		string type_name = "";
		if (type == type_arbor) {
			type_name = "乔木";
		} else if (type == type_bush) {
			type_name = "灌木";
		}
		return type_name;
	}

外部访问树木类的静态成员，只要按照“类名.静态成员名”的格式就好，具体的调用代码如下所示：

	// 演示静态成员的调用方式
	private static void teststaticmember() {
		// 使用静态属性无需创建该类的实例，只要通过“类名.静态属性名”即可访问静态属性
		system.out.println("类型type_arbor的取值为"+treestatic.type_arbor);
		system.out.println("类型type_bush的取值为"+treestatic.type_bush);
		// 使用静态方法无需创建该类的实例，只要通过“类名.静态方法名”即可访问静态方法
		string arbor_name = treestatic.gettypename(treestatic.type_arbor);
		system.out.println("类型type_arbor对应的名称是"+arbor_name);
		string bush_name = treestatic.gettypename(treestatic.type_bush);
		system.out.println("类型type_bush对应的名称是"+bush_name);
	}

神通广大的static不仅可以修饰类、属性、方法，它居然还能修饰一段代码块！被static修饰的代码段样例如下：

	static {
		// 这里是被static修饰的代码段内容
	}

 

以上为static所包裹的代码段，又被称作“静态代码块”，其作用是在系统加载该类之时立即执行这部分代码。因为此处的代码被static包括，所以静态代码块内部只能操作同类的静态属性和静态方法，而不能操作普通的成员属性和成员方法。可是这里有个问题，早先提到构造方法才是创建实例之时的初始操作，那么静态代码块与构造方法比起来，它们的执行顺序孰先孰后？倘若从java的运行机制来解答该问题，不但费口舌而且伤脑筋，都说实践出真知，接下来不如做个实验，看看它们究竟是怎样的先来后到。
首先在树木类中声明一个静态的整型变量leaf_count，之所以添加static修饰符，是因为要给静态代码块使用；接着在静态代码块内部对该变量做自增操作，并将变量值打印到日志；同时在树木类的构造方法里面也进行leaf_count的自增运算，以及往控制台输出它的变量值。修改后的相关代码片段示例如下：

	// 叶子数量，用来演示构造方法与初始静态代码块的执行顺序
	public static int leaf_count = 0;
	
	// static还能用来包裹某个代码块，一旦当前类加载进内存，静态代码块就立即执行
	static {
		leaf_count++;
		system.out.println("这里是初始的静态代码块，此时叶子数量为"+leaf_count);
	}

	public treestatic(string tree_name) {
		this.tree_name = tree_name;
		leaf_count++;
		system.out.println("这里是构造方法，此时叶子数量为"+leaf_count);
	}

最后回到外部创建该树木类的新实例，对应代码如下所示：

	// 演示静态代码块与构造方法的执行顺序
	private static void teststaticblock() {
		system.out.println("开始创建树木类的实例");
		treestatic tree = new treestatic("月桂");
		system.out.println("结束创建树木类的实例");
	}

 

运行以上的演示代码，观察到下列的日志信息：

这里是初始的静态代码块，此时叶子数量为1
开始创建树木类的实例
这里是构造方法，此时叶子数量为2
结束创建树木类的实例

 

从日志结果可见，静态代码块的内部代码早早就得到执行了，而构造方法的内部代码要等到外部调用new的时候才会执行，这证明了静态代码块的执行时机确实先于该类的构造方法。

静态修饰符一边给开发者带来了便利，一边也带来了不大不小的困惑。为了说明问题的迷惑性，接下来照例做个代码实验。仍旧在树木类中先声明一个静态的整型变量annual_ring，再补充一个成员方法grow，该方法内部对annual_ring自增的同时也打印日志。依据上述步骤给树木类新增了如下代码：

	// 树木年轮，用来演示静态属性的持久性
	public static int annual_ring = 0;
	
	// 注意每次读取静态属性，得到的都是该属性最近一次的数值
	public void grow() {
		annual_ring++;
		system.out.println(tree_name+"的树龄为"+annual_ring);
	}

 

然后其它地方先后创建这个树木类的两个实例，就像下面代码示范的那样：

	// 演示静态属性的持久性
	private static void teststaticproperty() {
		treestatic bigtree = new treestatic("大树");
		bigtree.grow();
		treestatic littletree = new treestatic("小树");
		littletree.grow();
	}

 

继续运行上面的测试代码，发现打印的日志如下：

这里是构造方法，此时叶子数量为3
大树的树龄为1
这里是构造方法，此时叶子数量为4
小树的树龄为2

 

虽然bigtree和littletree是新创建的实例，但是从日志结果看它们的annual_ring数值竟然是递增的，这可真是咄咄怪事，两个实例分明都是通过new出来的呀！产生怪异现象的罪魁祸首，原来就是static这个始作俑者，凡是被static修饰的静态变量，它在内存中占据了一块固定的区域，不管所在类被创建了多少个实例，每个实例引用的静态变量依然是最初分配的那个。于是后面创建的树木实例littletree，其内部的annual_ring与之前实例bigtree的annual_ring保持一致，无怪乎前后两实例的annual_ring数值是依序递增的了。
由此可见，静态属性总是保存最后一次的数值，倘若它的取值每次都发生变化，即使创建新实例也得不到静态属性最初的数值。这种后果显而易见违背了静态变量的设计初衷，在多数时候，开发者定义一个静态属性，原本是想作为取值不变的常量使用，而不希望它变来变去。对于此类用于常量定义的静态属性，可以在static前头再添加修饰符final，表示该属性只允许赋值一次，从而避免了多次赋值导致取值更改的尴尬。下面是联合修饰final和static的属性定义代码例子：

	// 若想静态属性始终如一保持不变，就得给该属性添加final修饰符，表示终态属性只能被赋值一次
	public final static int final_type_arbor = 1;
	public final static int final_type_bush = 2;

　　

更多java技术文章参见《java开发笔记（序）章节目录》