多形性におけるメモリ管理はどのようにして行われますか？

Question

このようなものはどのようにメモリ（スタック、ヒープなど）に保存されますか？

public class Animal { 
    // Stuff 
} 

public class Dog extends Animal { 
    // Stuff 
} 

public class Test { 
    public static void main(String[] args) { 
     Animal bello = new Dog(); 
    } 
} 

どのようにこれは、次のとおりです。Animal bello = new Dog();は、メモリの的に管理しますか？ belloはタイプAnimalの参照ですが、それが指していたオブジェクトのタイプがDog

Answer 1

とき がどのようにこれはメモリに保存されているJavaは、参照型としてクラスを定義します。 Java specificationsは、これがどのように機能するかを説明します。

4.3.1オブジェクト
オブジェクトをクラスのインスタンスまたは配列です。
これらのオブジェクトへの参照値（参照のみ）は、ポインタ で、特別なヌル参照は、 オブジェクトを参照していません。

言語はこの実装の詳細を完全に隠しますが、参照は（パラメータとして、またはスタック上のローカル変数として、またはヒープ内のオブジェクトフィールドとして）渡され、実際の値メモリ内のオブジェクト（ヒープ内）。だから、書くとき：

Animal bello = new Dog(); 

JVMは、ヒープメモリにDogオブジェクトを割り当てますとnewはそれを見つけるために参照を返します。代入は参照をローカル変数belloにコピーするだけです（コンパイラは型が互換性があることをチェックしています）。

トリックはオブジェクトレイアウト内にあります。単純にするために、オブジェクトは実際のクラスを追跡します。コンパイラはDogオブジェクトのレイアウトがAnimalレイアウトの拡張である巧妙なレイアウトを作成します。メソッドを呼び出すと、実際のオブジェクトのクラスに対応するメソッドが呼び出されます。もちろん、実際にはこれはすべてa little more complexです。