Javaのクラスとインスタンスの動きがわかりません

Question

以下コードについての質問です。クラスとインスタンスの動きが理解できません。

①についてです。
こちらがerrorになるのはなぜでしょうか？
変数hはSuperHeroクラスのインスタンス化しているので、
SuperHeroのメソッドが使えるのではないでしょうか？

②についてです。
逆にこちらが正しく出力される意味がわかりません。
型はインスタンスと必ず合わせる必要があるってことですかね？

③
こちらの出力結果が「ミナトは逃げ出した！」になる理由がわかりません。
・そもそもインスタンスを生成しただけで、Mainメソッドで変数nameを指定していないのになぜミナトとでるのか？
そもそもSuperHeroクラスのインスタンスなのに、なぜ継承先のnameが呼ばれるのか？
読み込み順は
「自分のクラス」　→　なければ　→　「親クラス」
ではないのでしょうか？

Mainメソッド(メインクラス)

public class Main {
	public static void main(String[] args) {

		Hero h = new SuperHero(); // ①
		h.fly();

		SuperHero sh = new SuperHero(); // ②
		sh.fly();

		sh.run();　③
	}

}

ヒーロークラス

public class Hero {

	String name = "ミナト";
	int hp = 100;

	// 戦う
	public void attack(Matango m) {
		System.out.println(this.name + "の攻撃！");
		m.hp -= 5;
		System.out.println("5ポイントのダメージを与えた！");
	}

	// 逃げる
	public void run() {
		System.out.println(this.name + "は逃げ出した");
	}

}

スーパーヒーロークラス

public class SuperHero extends Hero {

	String name = "コンマ";
	int hp = 100;
	boolean filying;

	// 飛ぶ
	public void fly() {
		this.filying = true;
		System.out.println("飛び上がった！");
	}

	// 着地
	public void lang() {
		this.filying = false;
		System.out.println("着地した！");
	}
}

Answer 1

いち
SuperHeroの型はあくまでSuperHeroです。

に
ただしくインスタンス化され、自身のメソッドを呼んでいますし、うまくいかない理由がありません。

さん
呼び出している自身だからです。

Heroにコンストラクタでsuper.nameを上書きするかHeroでrunをオーバーライドするかどちらかで対応します。

Answer 2

変数hはSuperHeroクラスのインスタンス化しているので、

SuperHeroのメソッドが使えるのではないでしょうか？

使えません。Hero型の変数なので、Heroにあるものにしかアクセスできません。

逆にこちらが正しく出力される意味がわかりません。

何がわからないのかわかりません。SuperHero型にあるメソッドをSuperHero型の変数に対して使っているだけです。

型はインスタンスと必ず合わせる必要があるってことですかね？

必ずしもありません。

そもそもインスタンスを生成しただけで、Mainメソッドで変数nameを指定していないのに

インスタンス変数のthis.nameは"ミナト"です。

読み込み順は

「自分のクラス」　→　なければ　→　「親クラス」
ではないのでしょうか？

nameはアクセス制御子がない（package private）なので、このプロパティは継承されません。Heroから見たときのthis.name = "ミナト"、SuperHeroから見たときはthis.name = "コンマ"です。

Answer 3

変数hはSuperHeroクラスのインスタンス化しているので、

SuperHeroのメソッドが使えるのではないでしょうか？

どのメソッドが呼び出せるかについては、変数の型に依存します。
実際に入っているオブジェクトには関係ありません。

註： 処理の内容自体はオーバーライドの有無に依って変化し得ます。

型はインスタンスと必ず合わせる必要があるってことですかね？

いいえ。
flyメソッドを呼ぶためにSuperHero型の変数を用意する必要があるだけです。

そもそもインスタンスを生成しただけで、Mainメソッドで変数nameを指定していないのになぜミナトとでるのか？

nameの初期値が"ミナト"だからです。

そもそもSuperHeroクラスのインスタンスなのに、なぜ継承先のnameが呼ばれるのか？

呼び出されているメソッドがHeroのものだからです。

Comments

[Aya_nishimura]

ありがとうございます。以下質問です。
仰られているオブジェクトとはインスタンスという認識でよろしいですか？

> どのメソッドが呼び出せるかについては、変数の型に依存します。
実際に入っているオブジェクトには関係ありません。
# つまりインスタンス生成して、そのインスタンスにあるメソッドを使用したければ
代入する変数の型は、インスタンスのクラスに合わせる必要がある。
という事でしょうか？

>いいえ。
flyメソッドを呼ぶためにSuperHero型の変数を用意する必要があるだけです。
# つまり、必ず使用したいクラスの型に合わせる必要があるという事でしょうか？

[maisumakun]

どちらも「いいえ」です。親クラスやインターフェースから継承・オーバーライドしたメソッドしか使わないなら、その親クラスやインターフェースの型のまま使えます。

[Aya_nishimura]

>その親クラスやインターフェースの型のまま使えます。

# すみません詳しくわかりませんでした。
親クラスの型をしていしてるのにerrorになるためです。
Hero h = new SuperHero(); // ①
h.fly();

[LouiS0616]

@nishimura_tochi さん

maisumakunさんがコメントされていない一か所だけ。

> 仰られているオブジェクトとはインスタンスという認識でよろしいですか？
本回答では特に区別しておりませんので、置き換えて読んでも問題ありません。

---
@maisumakun さん
コメントありがとうございます。

[LouiS0616]

> 親クラスの型をしていしてるのにerrorになるためです。
Hero h = new SuperHero(); // ①
h.fly();

Heroクラスにはflyメソッドが無いので、呼び出せません。
attackやrunならば呼び出せます。

[maisumakun]

> 親クラスの型をしていしてるのにerrorになるためです。

「親クラスやインターフェースから継承・オーバーライドしたメソッドしか使わないなら」という条件を満たしていません。

[Aya_nishimura]

LouiS0616さん
ご回答ありがとうございます。

#Heroクラスにはflyメソッドが無いので、呼び出せません。
attackやrunならば呼び出せます。
>
Hero h = new SuperHero(); // ①
h.fly();
これはHeroクラスになるのでしょうか？SuperHeroクラスになると思っていました。

[LouiS0616]

ややこしい話なんですが、変数とオブジェクトは別物です。
たとえオブジェクトがSuperHero型であろうと、変数がHero型ならばHero型が提供している機能しか使えません。

[Aya_nishimura]

LouiS0616さん
ありがとうございました。
復唱に近い形になり恐縮ですが、型名にあるメソッドしか扱えないという認識で大丈夫でしょうか？

[LouiS0616]

そうですね。
敢えて細かいところをつつくとすれば、クラスとそのスーパークラスの提供するメソッドが利用できます。

Heroクラスの変数hからは、HeroクラスのそのスーパークラスであるObjectのメソッドしか使えません。
SuperHeroクラスの変数shからは、SuperHeroクラスとそのスーパークラスであるHeroと、さらにそのスーパークラスであるObjectのメソッドしか使えません。

[Aya_nishimura]

LouiS0616さん
ありがとうございます！理解できました。