[1898] diksamの実装に関して
投稿者:lang
2015/02/22 19:08:07
立て続けに質問して申し訳ございません。
"プログラミング言語を作る"の8-4-9章の
A instance of B
の記載に関してです。
A、Bがクラスの場合、
AとBが同じクラスか、AがBのスーパークラスの場合のみ、
真になる可能性がある、
とあります。
A instance of B
のAというのはオブジェクトという理解で良いでしょうか。
AがBのスーパークラスの場合に真という点に疑問を持ちました。
Aが右辺のBのクラスのサブクラスのオブジェクトであれば
真だという理解ですが、
AがBのスーパークラスの場合に真というのはなぜでしょうか?