編程語言是仿照現實情況做處理的。Animal animal = dog，anmimal指針可以指向子集中的一部分。這個沒問題。你說的dog包含的多，只是特征多。父類包含的是大家共有的信息，是抽象，肯定特征少。比如動物都會吃，不一定都會象狗一樣看門。animal指向dog的過程中，它的類型還是animal，不是dog。所以重載不會丟失。

Dog dog =animal，這句，如果不把animal強制轉型，這句話會報錯。因為兩者類型不同。而且，如果這個animal不是事先已經指向子類的指針，在Dog dog =（Dog）animal；轉型過程中也是錯誤的，即使編譯不報錯，運行也會報錯。也就是說：Animal animal = Animal();Dog dog =（Dog）animal；運行時會報錯。只有Animal animal = Dog();Dog dog =（Dog）animal；才會不報錯。所以向下轉型本身意義不大，不是都能轉的。

父類的指針可以指向子類的對象。這個沒錯。因為Dog肯定是Animal。反過來。Animal一定是Dog嗎？肯定不是。