Cat cat=（Cat）animal；

這個語句在編譯是是Cat類型的，在運行時是Dog類型的，兩種類型不匹配，所以會報錯。

也可以? 這樣理解 ，在程序剛開始運行是，系統為Dog類開辟一塊內存地址空間，Dog類屬于animal類，所以Dog類可以轉，但是Cat類就不可以了，應為Cat類不屬于Dog類，所以? 不可以轉

簡單說，animal之所以可以強制轉換為Dog類是通過“Animal animal = dog”語句先自動轉換了的，所以animal跟Dog相匹配，如果Cat類跟Dog類一樣先通過“Animal animal2 = cat”語句自動轉換后再來強制把animal2轉換成Cat也是可以的。你可以自己上手去操作一下，你就能更好的去了解了

因為animal已經被強制轉換成Dog類，Dog類跟Cat類不匹配所以不能再進行轉換。你可以先將animal強制轉換成Cat類，那就不能再強制轉換成Dog類了。