>>828
それは理解してます。

変数bからしたら実体が何かというのはBという型情報だけ知ってればよくて、メッセージ送信先で問題があれば例外が発生すればいいのにと思いました。

すみません、ダウンキャストって多相性とはちょっと違いますね。