HashMapのインスタンス化について

Question

Javaでプログラムを作っているものです。

HashMapのインスタンス化についての質問ですがどうして左辺と右辺の型が違うのに＝が成り立つのでしょうか？
Map map = new HashMap();
できるだけ詳しく教えていただきたいです。

HashMapがmapを実装しているからとざっくりとは理解していますが、あっているでしょうか？

もしくはどこかでキャストを行っている可能性があったりしますか？
よろしくお願いします。

Answer 1

リスコフの置換原則によるものです。

ざっくり言えばあるスーパークラスから派生したサブクラスはスーパークラスの特性(メソッドや変数等)を全て持つため、スーパークラスの参照型変数に代入できる。同様にインターフェイスを実装したクラスはインターフェイスの参照型変数に代入できるようになります。

Comments

[sssssss]

早々の回答ありがとうございました。

リスコフの置換原則というものがあるのですね。勉強になりました。