2. 가상 함수

면접에나옴 !

이번엔 객체를 heap에 만들어 보겠습니다.

1) heap에 할당된 객체

#include <iostream>

class A {

private:

    int A_num;

    int A_sum;

public:

    A() { printf("A 생성자\n"); }

    ~A() { printf("A 소멸자\n"); }

    void fun1() { printf("A의 fun1\n"); }

};

class B : public A {

private:

    int B_num;

    int B_sum;

public:

    B() { printf("B 생성자\n"); }

    ~B() { printf("B 소멸자\n"); }

    void fun2() { printf("B의 fun1\n"); }

};

int main(void) {

    A* a = new A();

    delete a;

    printf("------\n");

    B* b = new B();

    delete b;

    printf("------\n");

    A* c = new B(); //여기에 집중!!

    delete c;

    return 0;

}

결과를 보면 다소 이상한점을 확인할 수 있습니다.

바로 A* c = new B(); 부분 입니다.

생성자는 정상 호출됬지만 소멸자는 호출되지 않았습니다.

왜그럴까요??

new B()를 통해 B객체를 선언 했지만 포인터 타입을 A* 로 받았기 때문에

해당 포인터로 선언된 객체 c는 A클래스의 정보밖엔 볼 수 없습니다.

이해를 돕기위해 그림을 그려보겠습니다.

위 그림을 보면 이렇게 생각할 수 있습니다.

"포인터 자료형은 A라면서?? 근데 왜 heap에는 B객체의 맴버변수가 들어있냐?"

new B()로 할당받았기 때문입니다......

이런게 가능하느냐?? 가능합니다.

그리고 이런걸 upcasting 이라고 합니다. downcasting도 있지요.

또한 heap에 사용할 수 없는 자식의 맴버변수가 잡히는 이유도 downcasting으로 인해

접근이 가능해 지기 때문입니다.

정리하자면.

1. A* c = new B(); 에서 new로 생성된 자료형에 따라 해당 자료형에 맞게 메모리가 할당된다.

2. 할당은 되지만 포인터 자료형이 A 이므로 A클래스의 맴버 변수와 맴버 함수만 볼 수 있다.

3. 사용할 수 없는 자식클래스의 맴버 변수들까지 할당되는 이유는 downcasting을 위해서다.

(사실 new를 통해 B객체를 생성했으니 당연히 B클래스의 내용이 들어가지만, 이 부분을 햇갈려 하는 분들이

많기에 위 설명처럼 설명했습니다. 사실 맞는 말이기도 하구요.)

다시 본론으로 들어와서 생성자와 소멸자 호출을 보겠습니다.

A생성자 -> B 생성자 -> A 소멸자 순으로 호출이 됐습니다.

생성자는 A와 B가 호출됐는데, 왜 소멸자는 A만 호출이 되었을까??

이는 코드가 실행되면서 호출되는 관계를 살펴보면 됩니다.

코드에 new B(); 만 실행시켜 보세요. 출력결과는 다음과 같이 나올 것입니다.

A생성자

B생성자

이렇게 말이죠.

왜그런지 이해를 돕기위해 그림을 다시한번 가져와 보겠습니다.

때문에 upcast를 통한 객체 선언은 이런 문제점이 있습니다.

이를 해결하기 위해 virtual이라는 키워드가 등장합니다.

(드디어 나왔네요.... virtual...)

virtual 키워드를 함수에 붙여주면 해당 클래스에는 v-table이란 것이 생성되게 됩니다.

우선 코드를 살펴보겠습니다.

1) virtual 키워드가 붙은 소멸자

#include <iostream>

class A {

private:

    int A_num;

    int A_sum;

public:

    A() { printf("A 생성자\n"); }

    virtual ~A() { printf("A 소멸자\n"); }

    void fun1() { printf("A의 fun1\n"); }

};

class B : public A {

private:

    int B_num;

    int B_sum;

public:

    B() { printf("B 생성자\n"); }

    ~B() { printf("B 소멸자\n"); }

    void fun2() { printf("B의 fun1\n"); }

};

int main(void) {

    A* c = new B();

    delete c;

    printf("A클래스의 크기 = %d, B클래스의 크기= %d\n", sizeof(A), sizeof(B));

    return 0;

}