>>447
いやいやいや。
そもそもA*型のポインタは、基本的にどの型のインスタンスを指してるか分からないわけ。
Aのインスタンスを指してるかもしれないし、Bのインスタンスを指してるかもしれない。
でもそれはどうでもよくて、「Aかその（publicな）派生クラスのインスタンスを指してるんだろう」
ということだけで問題なくプログラミングできるわけさ。

>>447みたいにできるならば、そもそもポリモーフィズムということの意味が全く無い。
いつでも(B*)にキャストして使えるなら、最初からB*型にすればいいじゃないか。