当我们用一个类型的构造器构造一个对象时候,这个对象的类型就已经确定了
也就是说它的本质是不会再发生变化了。
Father father = new Son();
son对象实例被向上转型为father了,但是这个Son对象实例在内存中的本质还是Son类型的,只不过它的能力被虚弱了而已。
Son son = (Son)father;
这条语句是可行的,其实father引用任然是Father类型的,只不过是将它的能力加强了,将其加强后转交给Son引用了。Son对象实例在Son的变量的引用下,恢复真身,可以使用全部功能了。
Father father = new Father();
Son son = (Son) father;
这个系统会抛出ClassCastException异常信息。
所以编译器在编译时只会检查类型之间是否存在继承关系,有则通过;而在运行时就会检查它的真实类型,是则通过,否则抛出ClassCastException异常。
所以在继承中,子类可以自动转型为父类,但是父类强制转换为子类时只有当引用类型真正的身份为子类时才会强制转换成功,否则失败。