8. 多态——编译时类型&运行时类型

一、引用变量的两种类型

1. 编译时类型:由声明该变量时使用的类型决定

2. 运行时类型:由实际赋给该变量的对象决定

如果编译时类型和运行时类型不一致,就可能出现多态。

class BaseClass
{
	public int val = 6;
	public void base()
	{
		System.out.println("父类的普通方法");
	}
	public void test()
	{
		System.out.println("父类的被覆盖的方法");
	}
}

public class SubClass extends BaseClass
{
	public String val = "测试多态";
	public void test()
	{
		System.out.println("子类的覆盖父类的方法");
	}
	public void sub()
	{
		System.out.println("子类的普通方法");
	}

	public static void main(String[] args)
	{
		// 编译时类型为BaseClass,运行时类型为SubClass
		BaseClass bc = new SubClass();

		// 访问的是父类对象的实例变量,即输出6
		System.out.println(bc.val);
		// 调用从父类继承到的base()
		bc.base();
		// 调用当前类的test()
		bc.test();
		// 因为bc的编译时类型是BaseClass,而该类没有提供sub(),所以下面代码编译时会出错
		// bc.sub();
	}
}

注:上面程序中定义的引用变量bc,其编译时类型为BaseClass,而运行时类型为SubClass。当调用引用变量bc的test()方法时,实际执行的是SubClass类中覆盖后的test()方法,这就可能出现多态了。此外,虽然引用变量bc实际所引用的对象确实包含sub()方法(例如,可以通过反射来执行该方法),但由于引用变量在编译阶段只能调用其编译时类型所具有的方法,因此编译时无法调用sub()方法。即引用变量只能调用它编译时类型的方法,而不能调用它运行时类型的方法,即使它实际所引用的对象确实包含该方法。

3. 引用变量在编译阶段只能调用其编译时类型所具有的方法,但运行时则执行它运行时类型所具有的方法

 

二、多态的原理

1. Java允许把一个子类对象直接赋给一个父类引用对象,这也被称为向上转型

2. 当调用这种引用对象的方法时,其方法行为总是表现出子类方法的行为特征,而不是父类方法的行为特征

3. 这就导致:相同类型的变量调用同一个方法时呈现出多种不同的行为特征,这就是多态

 

三、引用变量的强制类型转换

1. 如果需要让某个引用变量调用它运行时类型的方法,则必须把它强制转换成运行时类型,即将一个引用类型变量强制转换成其子类类型

  • 引用类型之间的转换只能在具有继承关系的两个类型之间进行,否则编译时就会出现错误
  • 如果试图把一个父类实例转换成子类类型,则这个对象必须实际上是子类实例才行(即其运行时类型是子类类型)
public class ConversionTest
{
	public static void main(String[] args)
	{
		double d = 3.14;
		long l = (long)d;

		// objStr变量的编译时类型为Object,运行时类型为String
		Object objStr = "Hello";
		// 由于Object与String存在继承关系,可以强制类型转换
		String str = (String)objStr;
		
		// objInt变量的编译时类型为Object,运行时类型为Integer
		Object objInt = Integer.valueOf(5);
		// 由于Object与Integer存在继承关系,可以强制类型转换
		Integer intNum = (Integer)objInt;
		// 虽然Object与String存在继承关系,可以强制类型转换
		// 但是objInt的运行时类型不是String,故下面代码运行时引发ClassCastException异常
		// String str = (String)objInt;
	}
}

2. 由于进行强制类型转换时可能出现异常,因此进行类型转换之前应先通过instanceof运算符来判断是否可以成功转换,使程序更健壮

  • 通常先用instanceof判断一个对象是否可以强制类型转换,然后再使用(type)运算符进行强制类型转换,从而保证程序不会出现错误
		if(objInt instanceof String)
		{
			String str = (String)objInt;
		}

 

四、instanceof运算符

1. instanceof是Java提供的运算符,与+、-等算术运算符的用法大致相似

2. 用法:实例 instanceof 类名(或接口名)

  • 实例的编译时类型要么与后面的类相同,要么与后面的类具有父子继承关系,否则会引起编译错误

3. 作用:判断其左侧的实例是否是右侧的类(或者其子类、实现类)的实例

  • 在进行instanceof运算时,左侧的实例以其运行时类型为判断依据
public class InstanceofTest
{
	public static void main(String[] args)
	{
		Object objStr = "Hello";

		// objStr的编译时类型是Object,故可进行instanceof运算
		if(objStr instanceof Object)	// 返回true
		{
			System.out.println("字符串是Object类的实例");
		}

		// objStr的编译时类型是Object,Object类与String类存在继承关系
		// 所以可以进行instanceof运算
		if(objStr instanceof String)	// 返回true
		{
			System.out.println("字符串是String类的实例");
		}

		// objStr的编译时类型是Object,Object类与Math类存在继承关系
		// 所以可以进行instanceof运算
		if(objStr instanceof Math)		// 返回false
		{
		}
		else
		{
			System.out.println("字符串不是Math类的实例");
		}

		String str = "Hello";
		// String类与Math类没有继承关系,所以下面的代码无法编译通过
		// if(str instanceof Math) { ... }
	}
}

 

posted @ 2019-05-28 21:42  GGBeng  阅读(825)  评论(0编辑  收藏  举报