be.serious();

C 문자열 주위를 _T() 매크로로 감싸주는 Visual Studio 매크로다.

매크로 IDE(ALT+F11)에서 붙여넣고, 단축키 등록해 준 다음 쓰면 된다. 문자열을 선택한 다음 실행해도 되고, 문자열 가운데 아무데서나 그냥 실행해도 된다.

class base
{
public:
  void nvf();               // 1 <----+
  virtual void vf();        // 2      |
  ...                       //        |
};                          //        |
                            //        |
class derived : public base //        |
{                           //        |
public:                     //        |
  void nvf();               // 3      |
  virtual void vf();        // 4 <----|--+
  ...                       //        |  |
};                          //        |  |
                            //        |  |
base* ptr = new derived;    //        |  |
ptr->nvf();                 // 5 -----+  |
ptr->vf();                  // 6 --------+
delete ptr;                 // 7

5번의 경우에는 1번 함수가 호출될 것이고, 6번의 경우에는 4번 함수가 호출될 것이다.

소멸자도 이와 다를 게 없다. 7번에서 소멸자가 virtual 이라면 derived::~derived()가 호출되고, virtual이 아니라면 base::~base()가 호출된다. (자식 클래스에서 소멸자 호출시, 부모 클래스의 소멸자가 연달아 호출된다는 점은 넘어가자.)

즉 위와 같이 derived 클래스를 base 포인터에다 할당하고 삭제하는 경우에는 소멸자를 virtual로 해줘야 한다. 그렇지 않으면 ~derived() 함수가 호출되지 않아, 이 안에 있는 리소스(?) 정리 코드가 호출되지 않기 때문이다. 즉 메모리 릭이 발생할 수 있다. 하지만 아래와 같은 경우에는 굳이 소멸자를 virtual로 만들 필요가 없다.

포인터가 derived* 타입이므로, 소멸자가 virtual이든 아니든 derived::~derived() 함수가 호출되기 때문이다.

즉 소멸자를 virtual로 선언해야 하는지를 판단하기 위해서는, 해당 클래스를 상속받는 클래스가 있느냐/없느냐를 기준으로 삼을 것이 아니라, 실제로 사용할 때 베이스 클래스 포인터를 이용해 접근하는가/아닌가를 기준으로 삼아야 한다.

다만 안타깝게도, 누군가가 작성한 클래스를 다른 사람이 사용한다고 했을 때, 그 사람이 base 포인터를 이용해 작업을 할지, derived 포인터를 이용해서 작업을 할지 최초 작성자는 알 수 없다. 결국  안전빵(?)으로 가기 위해 소멸자는 무조건 virtual로 선언하는 경우가 많다.

일반적인 PC 환경에서 virtual 소멸자 마구 쓴다고 해서 딱히 크게 문제될 것은 없다. 인스턴스당 4바이트 정도의 메모리가 더 들어가고, vtable 또한 어딘가에 생성되겠지만, 시대가 어떤 시댄데...

다만 C 구조체를 상속받아서 그 구조체를 인자로 받는 함수로 전달하거나, 객체를 통채로 직렬화하려는 경우에는 주의해야 한다.