[C++] RTTI(Run Time Type Information)

RTTI(Run Time Type Information)

C++에서는 런타임에 기초 클래스의 객체 포인터가 어떤 객체를 가리키고 있는지 정보를 알려주는 RTTI 기능을 제공한다.

객체 지향에선 클래스 간 상속을 구현할 수 있고, 다형성을 가지게 되어 기초 클래스는 자신의 멤버를 위임한 파생 클래스를 자신의 객체 포인터로 가리킬 수 있다.

Base *pBase = new Derived();

컴파일 당시에는 pBase가 어떤 객체를 가리키고 있는지 알 수 없다. 그저 기초 클래스와 파생 클래스 중 어떤 객체를 가리키고 있는지 짐작만 할 수 있다. 이러한 정보를 알려주는 것이 RTTI이고 현재 객체 포인터가 가리키고 있는 객체 타입 정보를 type_info라는 이름으로 vftable에 저장한다.

1. dynamic_cast()

dynamic_cast는 다운 캐스팅에서 자주 사용되는 함수이다. 기초 클래스에 파생 클래스를 업 캐스팅해서 선언했다면, dynamic_cast로 다시 원래 형태로 돌아갈 수 있다. 만약 실패한다면 nullptr를 리턴한다.

Base *pBase = new Derived();
Derived *pDerived = dynamic_cast<Derived *>(pBase);

실패를 방지하거나 다른 파생 클래스 타입으로 다운 캐스팅하는 것을 방지하기 위해 예외 처리를 통해 사용하기도 한다.

if(pDerived = dynamic<Derived*>(pBase)){
	pDerived->print();
}
else{
	std::cout << "Failed cast to [Derived]" << std::endl;
    exit(0);
}

2. typeid 연산자, type_info 클래스

typeid 연산자를 이용해 객체의 데이터형이 동일한지를 파악할 수 있으며, 이는 type_info 객체에 대한 참조를 리턴한다.

int main(void) {
    
    A* a = new A();
    B* b = new B();
    
    A* arr[2];
    arr[0] = a;
    arr[1] = b;
    
    for (int i = 0; i < 2; ++i)
    {
        arr[i]->foo();
        if (typeid(B) == typeid(*arr[i]))
        {
            B* bb = (B*)arr[i];
            bb->foo();
            cout << "현재 타입 : " << typeid(*arr[i]).name() << endl;
        }
    }
}