>>24
>型変換の法則性
意味がなんとなくしかわからんが
class Thinko extends Seiki
class Manko extends Seiki
Seiki　s;
Thinko　t;
Manko　m;
が、あったとして
(Seiki)t;とキャストできるけど
（Thinko）s;とはできない

こういう質問じゃないのか？