私は犬のクラスのように説明した

Question

オブジェクトタイプ参照（別のインスタンスを保持する）を使用して関数を呼び出す：私は場合は、mainメソッドを持つ別のクラスのメインメソッドで今

class Dog { 
//data members 
void bark() { 
    //Bark Algorithm 
    } 
} 

を次のようになります。

Object dog = new Dog(); 
dog.bark(); 

「犬」リファレンスが犬のインスタンスを保持しているため、動作しませんか？なぜこれは有効ではないのですか？

ここで使用される言語はJavaです。

ご協力ありがとうございます。

Answer 1

Javaは非常に厳密に型指定されています。 Javaコンパイラは実行時ではなく、コンパイル時にメソッドのチェックを行います。 dogはObjectと宣言されているので、Objectクラスにbark()という名前のメソッドがあるかどうかコンパイラがチェックします。そうではないので、コンパイラエラーをスローします。これがJavaの設計方法です。

これは多型そのものの制限ではなく、Javaでの多型の実装の制限であることに注意してください。このまったく同じコードは、JVM上で動作するGroovyのようなより動的に型付けされた言語で完全にコンパイル（および動作）します。

Answer 2

私はここで解決策を得たと思います。コンパイラは、参照型に基づいて呼び出す関数を決定し、参照が保持するインスタンス型には決定しません。

この場合のように、ちょうど犬のクラスのように、他の多くの動物も）インスタンス化され、オブジェクトの参照は、ヒープ上の自分のオブジェクトを参照するために使用することができ、すべてではないが（吠えことができますすることができますすることができます。したがって、コンパイラは、関数呼び出しをインスタンス型ではなく参照型に基づいて決定する必要があります。

Answer 3

あなたがdogの種類について確認している場合は、常に型キャスト

Object dog = new Dog(); 
((Dog)dog).bark(); 

安全なバージョン行うことができます。

Object dog = new Dog(); 
if (dog instanceof Dog) 
    ((Dog)dog).bark(); 

がUPD

ポリモーフィズムの例：

interface Animal { 
} 


interface Barkable extends Animal { 
    void bark(); 
} 

class Dog implements Barkable { 
    @Override 
    public void bark() { 
     System.out.println("woof-woof"); 
    } 
} 

class Cat implements Barkable { 
    @Override 
    public void bark() { 
     System.out.println("meow"); 
    } 
} 

class SilentCreature implements Animal { 
} 

.... 


Animal animal = new Dog(); 
animal.bark(); 

animal = new Cat(); 
animal.bark(); 

animal = new SilentCreature(); 
// new SilentCreature() returns new animal, but not Barkable 
animal.bark(); // as Animal doesn't have method bark() this code won't compile 

0123を

Answer 4

Objectクラスには、barkというメソッドはありません。したがって、コードはコンパイルされません。

しかし、これはコンパイラが参照型に基づいてどのメソッドを純粋に呼び出すかを決定するわけではありません。参照タイプによって、CANコールが決定されますが、インスタンスタイプによってメソッドが決定されます。WILLが呼び出されます。これが多型の基本的なメカニズムです。例えば、

class Animal 
{ 
    void makeSound() 
    { 
     //Generic animal sound algorithm 
    } 
} 

class Dog extends Animal{ 
    void makeSound() 
    { 
     //Bark Algorithm 
    } 
} 

その後

Animal dog = new Dog(); 
Animal animal = new Animal(); 
dog.makeSound(); //calls bark 
animal.makeSound(); //generic animal sound