ポリモーフィズムについて：内容が真逆でわけがわからない

Question

Java SE7 Silver の資格を目指し勉強中です。
分からない点はポリモーフィズムです。
１．「インスタンスがどのようなメソッドやフィールドを持っていたとしても、
扱っている型で定義されているもの以外は使えない」という文と
２．「何型で扱っていてもインスタンスが持つメソッドが実行される」という文があります。

どちらも黒本（P272とｐ519）に書かれているのですが真逆のように思えます。

１に関しては
public class A{
public void hello(){
//any code
}
}

public class B extends A{
public void sample(){
//any code
}
}

public class Main{
public static void main(String[] args){
A a = new B();
a.sample(); //←Aには存在しないメソッドでコンパイルエラーとなる
｝
｝
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
一方、2に関しては
public class A{
public void sample(){
System.out.println("A");
}
}

public class B extends A{
public void sample(){
System.out.println("B");
}
}

public class Main{
public static void main(String[] args){
A a = new B();
a.sample();
}
}
では、「B」と表示される、というのが答えです。

何がどう違うのかが全く分かりません。
これから席を外すので、返信は夜になると思いますが、
どうか、よろしくお願いします。

追記：修正依頼を受け、修正済みです。

Comments

[swordone]

2.のコードで、Aのメソッド名がsample()になっているとか、そういうコードの見間違いはありませんか？もしこの通り書かれているとしたらその本は真っ赤な嘘を書いてることになります。あるいは本の発行社のサイトなどで正誤表が出ていないか確認するべきかと思います。

Answer 1

結論からいえば、矛盾してないように見えます。

ただ、ちょっと２つめの答えのコードは
「何型で扱っていてもインスタンスが持つメソッドが実行される」を説明するには
「何型で扱っていても」と言っているのに、Aでしか扱ってないので、例として弱い気がします。

・変数宣言をしたメソッドしか呼べない。
・違うインターフェースでメソッドを呼んだ場合に、それぞれの実装クラスで定義された同一のメソッドが実行される。

ひとつめは、変数で「働く人」を宣言したなら、彼らに言えることは「稼げ！」というだけで、それぞれに魚を釣れだとか、木を切れと言うことはできません。

ふたつめは、私の例だと誰に稼げと言われても、それぞれが、やることは同じで、木こりは木を切るし、漁師は魚を釣るだけです。

public class Boss {
	public static void main(String[] args) throws Exception {
		WorkingPerson one;
		
		//Only what you can say is just earn. 
		one = new Lumberjack();
		//Each people earn with their own way.
		System.out.println(one.earn());
		
		one = new Fisherman();
		System.out.println(one.earn());
		//You cannot say row a boat to fisherman when you declare one as a working person.
		//one.rowABoat(); //oops!
		
		//When children say earn to their father..
		Dad dad;
		dad = new Lumberjack();
		//Fathers do just same thing.
		System.out.println(dad.earn());
		dad = new Fisherman();
		System.out.println(dad.earn());
	}
}
interface WorkingPerson {
	public String earn();
}
interface Dad {
	public String earn();	
}

class Lumberjack implements WorkingPerson,Dad {
	public String earn() {
		return "I'll hew down a tree.";
	}
	public void climbATree() {
		
	}
}

class Fisherman implements WorkingPerson,Dad {
	public String earn() {
		return "I'll catch a fish.";
	}
	public void rowABoat() {
		
	}
}

Comments

[k_mail]

丁寧な例も挙げていただいて勉強が深まりました。
有難うございました。

Answer 2

a.sample();
と書かれていたら

1.の場合
aの(宣言上の)型を見ます。→Aでした。
Aにsample()が存在するか見ます。→ありませんでした。
ないものを使おうとしたのでコンパイルエラーです。

2.の場合
aの(宣言上の)型を見ます。→Aでした。
Aにsample()が存在するか見ます。→ありました。
aに、「aが持っている」sample()を実行させます。

aの中身はa=new B()、Bクラスでsample()の内容がオーバーライドされているので、
aの持っているsample()の内容はBクラスに書かれているほうのsample()です。

Comments

[k_mail]

順序立てて説明していただき、非常に分かりやすかったです。
オーバーライドをしていれば、そちらを優先するということですね。
有難うございました。

Answer 3

本の記述は正しいです。

まず、1のこの部分ですが、

A a = new B(); 

変数aは型がAになっているので、
class Bにはあるがclass Aには無いsample()メソッドは呼び出せません。

2について

public class A{ 
    public void sample(){ 
       System.out.println("A");     
    } 
} 

と定義されているので、1とはまったく別の話になっています。
これはオーバーライド(override)と呼ばれる仕組みで、
class Aを継承した class B でsampleメソッドを上書きしています。
この時、

A a = new B(); 
a.sample();  

にあるようにBのインスタンスが、A型の変数に入っていても、
Bで上書きしたsampleメソッドが呼び出されるため出力はBという結果になります。

Comments

[k_mail]

オーバーライドをしていれば、そちらが優先すされるということですね。
有難うございました。