子クラスのインスタンスを生成し、そのメソッドを呼び出したときの動き方・構造が知りたいです。

Question

前提・実現したいこと

記載の2つのコードを実行したときの動き方・構造についてご教授頂ければ幸いです。

発生している問題・エラーメッセージ

この2つのコードを実行した場合、コンソールには「Parent」が表示されます。
私の予測では「Child」と表示されるものと考えていました。
childインスタンスの中にはないout()が呼び出されているのが不思議です。

以下私が考えるchildインスタンスの構造です。
privateなメソッドは継承されていないので親インスタンス部にout()はありません。

親インスタンス部	子インスタンス部
+parent()	-out()

以下予測の動き方です。
0. Childクラスの10行目でChildインスタンスの中にある継承された親インスタンス部のparent()が呼び出される。
0. Parentクラスのout()はprivateなので、childインスタンスには継承されていないため、親インスタンス部にout()はない。子インスタンス部のout()が呼び出される。
0. Childが表示される。

該当のソースコード

package sample;

public class Parent {
	private void out() {
		System.out.println("Parent");
	}
	
	public void parent() {
		out();
	}
}

package sample;

public class Child extends Parent {
	private void out() {
		System.out.println("Child");
	}
	
	public static void main(String[] args) {
		Child child = new Child();
		child.parent();
	}
}

Answer 1

該当のoutメソッドがprivateのため発生している事象になります。
オーバーライドしてもprivateの場合は動的にバインドされない仕様になります。
以下などが参考になるかと思います

https://www.kishiro.com/programming/java/private_override.html
https://teratail.com/questions/11415

Comments

[hoge1110100]

ありがとうございます。動的バインドとはポリモーフィズム的なインスタンスによって動作が決まる話ですよね？privateメソッドはそれが適用されないということだと解釈しました。

Answer 2

https://docs.oracle.com/javase/specs/jls/se16/html/jls-15.html#jls-15.12.4.4-200-B-C.1

If the method m of class or interface C is private, then it is the method to be invoked.

Otherwise, overriding may occur. A dynamic method lookup, specified below, is used to locate the method to invoke. The lookup procedure starts from class R, the actual run-time class of the target object.

Locate Method to Invoke のところで、

• メソッドがprivateならそれを実行する
• そうでなければ、実行するメソッドの決定のために動的なルックアップがおこなわれる

と書かれています。
明確です。

Comments

[hoge1110100]

英文から解釈していただき感謝します。インスタンスがどんなものであろうと、privateがあるなら問答無用でprivateを実行するんですね。

Answer 3

1. Parentクラスのout()はprivateなので、(中略) 子インスタンス部のout()が呼び出される。

これでは (継承されないように private にしたのに) 継承されてしまったような動作ですね^^;

Answer 4

以下予測の動き方です。
...
2. Parentクラスのout()はprivateなので、childインスタンスには継承されていないため、親インスタンス部にout()はない。子インスタンス部のout()が呼び出される。

「親インスタンス部にout()はない」なんで？この理解が間違い。
親クラス(Parent)に、インスタンスメソッドout()メソッドを定義しているじゃないですか。parent()メソッドから見えるout()メソッドは、Parentクラスのout()メソッド。だから標準出力に"Parent"と出力される。

---

たとえば、java.util.ArrayListを継承したMyListを作るとする。

public MyList extends java.util.ArrayList{}

ふつう、ArrayListクラスのソースは読まなない。読まずにprivateなgrow()メソッドを書いたとする。

public MyList extends java.util.ArrayList{
 private Object[] grow() {
   return new Object[0];
 }
}

java.util.ArrayListにもgrow()メソッドがある。

pubic class ArrayList ...
 private Object[] grow() {
   return grow(size + 1);
 }

privateなgrow()メソッドが上書きされて、MyListクラスが動かなくなったら、困るわ。

Comments

[hoge1110100]

ありがとうございます。privateメソッドは継承されているということでしょうか？