[JVM] 자바와 T 메모리 구조 2편

[JVM] 자바와 T 메모리 구조 1편에서는 main(), 변수, block, static 변수, 멀티 프로세스, 멀티 쓰레드, 스프링에서의 T 메모리에 대해 살펴보았다.

본 포스팅에서는 추상화, 상속, 다형성 코드에 대해서 T 메모리에 어떻게 저장되는지 살펴보자.

추상화와 T 메모리

[Mouse.java]

public class Mouse {
    public String name;
    public void sing() { }
}

[MouseDriver.java]

public class MouseDriver {
    public static void main(String [] args){
        Mouse mickey = new Mouse();
        mickey.name = "미키";
        mickey = null;
    }
}

MouseDriver.java의 public static void main(String [] args) 가 실행되기 전 T 메모리 스냅샷은 위의 그림과 같다.
java.lang 패키지와 클래스들이 T 메모리의 스태틱 영역에 배치된다.
자세히 보면 name에는 변수 저장 공간이 보이지 않고 이름만 존재한다. 즉, 클래스 구조에 해당되는 정보들만 저장된 것이다.
객체가 생성되어야만 속성의 값을 저장하기 위한 메모리 공간이 스태틱 영역이 아닌 힙 영역에 할당된다.

객체 변수 mickey는 Mouse 객체에 대한 참조 변수이다. 객체 변수 mickey가 Mouse 객체의 주소(포인터)를 가지고 있다는 것을 화살표로 표현하였다.

mickey = null이 실행되면 객체 참조 변수 mickey가 더 이상 힙 영역에 존재하는 Mouse 객체를 참조하지 않는다.
가비지 컬렉터는 아무도 참조해 주지 않는 Mouse 객체를 쓰레기로 인지하고 수거해 간다.
가비지 컬랙터가 실행된 후의 T 메모리 상태는 위의 그림과 같다.

상속과 T 메모리

[Animal.java]

public class Animal {
    public String name;
 
    public void showName(){
        System.out.println("안녕 나는 %s야.", name );
    }
}

[Penguin.java]

public class Penguin extends Animal {
    public String habitat;
 
    public void showHabitat(){
        System.out.printf("%s는 $s에 살아", name, habitat);
    }
}

[Driver.java]

public class Driver {
    public static void main(String [] args){
        Penguin pororo = new Penguin();
 
        pororo.name = "뽀로로";
        poeoeo.habitat = "남극";
 
        pororo.showName();
        pororo.showHabitat();
 
        Animal pingu = new Penguin();
        pingu.name = "핑구";
        //pingu.habitat = "EBS";
 
        pingu.showName();
        //pingu.showHabitat();
    }
}

Penguin 클래스의 인스턴스만 힙 영역에 생기는 것이 아니라 Animal 클래스의 인스턴스도 함께 힙 영역에 생성된다.
- 그림에서는 생략되었지만 모든 클래스의 최상위 클래스인 Object 클래스의 인스턴스도 함께 생성된다.
pingu 객체 참조 변수가 가리키고 있는 것은 Penguin 인스턴스가 아닌 Animal 인스턴스이다.
pingu 객체 참조 변수는 사실 펭귄이지만 동물이라는 것만 인식하고 있다. (업캐스팅)
따라서 pingu 객체 참조 변수는 habitat 속성과 showHabitat() 메서드는 사용할 수 없다.

다형성과 T 메모리