继承中的语法检查器

继承中的语法检查器
下面的语句可以运行
Pet p1 = new Dog();
而下面的语句就无法通过编译
Dog p2 = new Pet;
这是为什么呢？
编译程序会从等号右边往左读，检查是否符合“is-a”的关系
很显然，Dog类“是一种”Pet，而Pet不是Dog;

编译器编译不通过是想告诉你，Pet不一定是一种Dog如果你非要这样写可以这样做：    Dog p2 = (Dog)new Pet;意思就是告诉编译器别管了，编译器就会通过。但是出了事故自行负责。