调用被子类重写的方法

在访问权限允许的情况下,子类可以调用父类方法,这是因为子类继承父类会获得父类定义的成员变量和方法;但父类不能调用子类的方法,因为父类根本无从知道它将被哪个子类继承,它的子类将会增加怎样的方法.

但有一种特殊情况,当子类方法重写了父类方法后,父类表面上只是调用属于自己的,被子类重写的方法,但随着执行context的改变,将会变成父类实际调用子类的方法.

下面程序中定义了两个具有父子关系的类Animal和Wolf,其中Wolf重写了Animal的getDesc()方法.

package com.lic.array;

public class Demo15 {
	public static void main(String[] args) {
		System.out.println(new Wolf_15("灰太狼",32.3)); // 1
	}
}
class Animal_15{
	// desc 实例变量保存对象toString 方法的返回值
	private String desc;
	public Animal_15(){
		// 调用getDdesc()方法初始化desc实例变量
		this.desc = getDesc();  // 2
	}
	public String getDesc(){
		return "Animal";
	}
	public String toString(){
		return desc;
	}
}
class Wolf_15 extends Animal_15{
	// 定义name, weight两个实例变量
	private String name;
	private double weight;
	public Wolf_15(String name, double weight){
		// 为name,weight两个实例变量赋值
		this.name = name;   // 3
		this.weight = weight;
	}
	// 重写父类的getDesc()方法
	@Override
	public String getDesc(){
		return "Wolf_15[name="+name+", weight="+weight+"]";
	}
}

上面程序中,Animal类的2行代码将desc实例变量的值赋为getDesc()方法的返回值,Animal的Wolf子类重写了Animal类的getDesc()方法.其中Animal的getDesc()方法只是一个返回"Animal"字符串,但Wolf的getDesc()方法则返回形如Wolf[name=value, weight=value]的字符串.

程序在1行代码处创建一个Wolf对象,并为Wolf对象的name实例变量,weight实例变量指定值.运行该程序,输出结果是什么呢?Wolf[name=灰太狼,weight=32.3]?世纪运行改程序,会发现输出Wolf_15[name=null, weight=0.0],那么为name,weight实例变量指定的值呢?

理解这个程序的关键在于2行代码,表面上此处是调用父类中定义的getDesc()方法,但实际运行过程中,此处会变为调用被子类重写的getDesc()方法.

程序从1行代码处开始执行,也就是调用Wolf类对应的构造器来初始化该Wolf对象.但在执行Wolf构造器里的代码(即3行代码)之前,系统会隐式执行其父类无参数的构造器,也就是说,程序在执行3行代码之前会先执行2行代码.执行2行代码时,不再是调用父类的getDesc()方法,而是调用Wolf类的getDesc()方法.此时,程序还没有执行3行代码,因此Wolf的name,weight实例变量将保持默认值----name的值为null,weight的值为0.0;

因此Wolf的getDesc()方法返回值是Wolf[name=null, weight=0.0], 于是desc实例变量将赋为Wolf[name=null, weight=0.0],这就是看到的输出结果.

当执行完2行代码的赋值语句之后,程序会对Wolf对象的name,weight两个实例变量进行赋值,也就是说,最终得到Wolf对象的name实例变量的值是灰太狼,weight实例变量的值是32.3,只是它的desc实例变量的值是Wolf[name=null, weight=0.0].

通过上面分析可以看到,该程序产生这种输出的原因在于,2行代码处调用的getDesc()方法是被子类重写过的方法.这样使得对Wolf对象的实例变量赋值的语句 this.name = name;,this.weight = weight; 在getDesc()方法之后被执行,因此getDesc()方法不能得到Wolf对象的name,weight实例变量的值.

为了避免这种不希望看到的结果,应该避免在Animal类的构造器中调用被子类重写过的方法,因此将类改写为如下形式即可:

class Animal_15_1{
	// desc 实例变量保存对象toString 方法的返回值
	private String desc;
	public String getDesc(){
		return "Animal";
	}
	public String toString(){
		return getDesc();
	}
}

经过改写的Animal_15_1类不再提供构造器(系统会为之提供一个无参数的构造器),程序改由toString()方法来调用被重写的getDesc()方法.这就保证了对Wolf对象的实例变量赋值的语句this.name = name;, this.weight = weight; 在getDesc()方法之前被执行,从而使得getDesc()方法得到 Wolf对象的name,weight实例变量的值.

如果父类构造器调用了被子类重写的方法,且通过子类构造器来创建子类对象,调用(不管是显式还是隐式)了这个父类构造器,就会导致子类的重写方法在子类构造器的所有代码之前被执行,从而导致子类的重写方法访问不到子类的实例变量的值的情形.