继承中的语法检查器
下面的语句可以运行
Pet p1 = new Dog();
而下面的语句就无法通过编译
Dog p2 = new Pet;
这是为什么呢?
编译程序会从等号右边往左读,检查是否符合“is-a”的关系
很显然,Dog类“是一种”Pet,而Pet不是Dog;
编译器编译不通过是想告诉你,Pet不一定是一种Dog
如果你非要这样写可以这样做:
Dog p2 = (Dog)new Pet;
意思就是告诉编译器别管了,编译器就会通过。但是出了事故自行负责。