Java继承中的多态性

多态的概念：
一个对象变量可以指示多种实际类型的现象被称为多态（polymorphism）。
例如：

public class Test02 {
	public static void main(String[] args) {
		Student s = new Student("张三",1235,'M');
		College c = new College();
//		c.study();
//		s.study();
		s = c ;//多态 父类引用指向子类对象
		c.study();
		s.study();
		s.setName(" austin");
		s.setId(515);
		s.setSex('M');
		c.setSubject(165164);
	}
}

在运行时能够自动的选择调用哪个方法的现象称为动态绑定（dynamic binding）。
注：在Java中，不需要将方法申明为虚拟方法。动态绑定是默认的处理方式。如果不希望让一个方法具有虚拟特征，可以将它标记为final（关键字）。

"is-a"规则：用来判断是否应该设计为继承关系，它表明子类的每个对象也是父类的每个对象。
例如，Cat和Dog都是哺乳动物，他们具有毛，腿等相同的属性。因此，Dog和Cat其中任意一个作为父类，另一个作为子类均可。不妨将Cat作为父类，Dog作为子类。

示例如下：

public class Cat {
   		...
}

public class Dog extends Cat
{
   			...
}

"is-a"的另一种另一种表达法是置换规则。它表明程序中出现任何父类对象的任何地方都可以用子类对象置换。
例如，可以将一个子类的子类对象赋给父类变量。

		Cat q1 = new Cat("黑色",4);
		q1=new Dog("白色",4);

在Java程序设计语言中，对象变量是多态的。一个Cat变量既可以引用一个Cat类对象，又可以引用一个Cat类的任何一个子类的对象（例如Dog等）。