Blog

클래스의 특징은?

이런 시험 문제가 나오면 다형성을 비롯한 여러 대답이 나올 수 있지만, 뭐니뭐니 해도 상속이야말로 클래스의 백미가 아닌가 싶다. C++ 클래스 다형성의 상당 부분은 상속으로(나머지는 템플릿으로) 구현되기 때문이다.

한데, 클래스라고 무턱대고 상속 받으면 곤란하다. STL 컨테이너처럼 멋진 클래스를 보면 당장에 상속 받아서 그 기능을 맘껏 뽐내고 싶겠지만, 세상에는 상속세란 게 있다.

C++ 클래스를 상속 받으려면 먼저 부모님이 상속해줄 마음이 있는지부터 확인해야 한다. 달리 말해 소멸자가 virtual 로 선언되어 있는지 봐야 한다. 특히 STL이 제공하는 클래스는 가상 소멸자가 없다고 봐도 된다. 무턱대고 이를 상속 받으면 참 난감하다.

허나 여태까지 이렇게 잘 살아온 사람이 많을 게다. 그도 그럴 것이 가상 소멸자가 없어도 파생 클래스의 기능이 제대로 작동하는 듯 보이기 때문이다. vector를 상속해서 이런저런 테스트를 해보면 아무런 이상이 없는 것 같다. push_back도 잘 되고 iterator도 문제 없다. 그렇다면 도대체 뭐가 문제인가?

Effective C++ 중 항목 7은 ‘다형성을 가진 클래스에서는 소멸자를 반드시 가상 소멸자로 선언하자’라며 다음과 같이 설명한다.

C++ 규정에 의하면, 기본 클래스 포인터를 통해 파생 클래스 객체가 삭제될 때 그 기본 클래스에 비가상 소멸자가 들어 있으면 프로그램 동작은 미정의 사항이라고 되어 있습니다.

이를 검증해보려고 단위 테스트 코드를 짜봤다.

class MapMock : public map<String,String>
{
public:
	typedef xmap<String, String>::iterator Iterator;
	typedef xmap<String, String>::const_iterator ConstIterator;
	typedef pair<String, String> Pair;

	static BOOL m_Deleted;
};

BOOL MapMock::m_Deleted = FALSE;


class MapMock2 : public MapMock
{
public:
	explicit MapMock2()
	{
		m_Deleted = FALSE;
	}

	~MapMock2()
	{
		m_Deleted = TRUE;
	}
};


SUITE(Trivial)
{
	TEST(MapInheritance)
	{
		MapMock* mock = new MapMock2();
		CHECK(mock->m_Deleted == FALSE);
		delete mock;
		CHECK(mock->m_Deleted == TRUE);  //! 여전히 FALSE인 게 문제다.
	}
}

참고 문헌

• C++0x 미리보기 3, 템플릿 별칭 (1부)

첨언하자면, 당장 문제가 되지 않는다고 잠재적인 버그를 남겨 놓는 사람들은 반성해야 한다. 예를 들어 vector를 상속 받은 myvector가 있더라도 vector의 포인터로 myvector 인스턴스를 지우지 않으면 큰 문제가 되지 않는다. 그래서 문제가 없다고 말하는 일이 잦다. 실용주의 프로그래머 같은 책을 읽을 때는 방어적 프로그래밍이 중요하다는 주장에 공감하던 사람도 막상 자기 일이 되면 어영부영 넘어가려고 한다. 당장 문제 없다고 넘어가면 이런 문제가 있었다는 사실조차 잊어먹었을 때 문제가 다시 나타나 당신의 발목을 잡게 된다. 그 무렵엔 똑같은 문제가 예전에 발생했었단 사실조차 잊었을 테니 자기 반성할 기회도 없을 것이다.

• Author Details

Author Details

최 재훈

Kubernetes, DevSecOps, AWS, 클라우드 보안, 클라우드 비용관리, SaaS 의 활용과 내재화 등 소프트웨어 개발 전반에 도움이 필요하다면 도움을 요청하세요. 지인이라면 가볍게 도와드리겠습니다. 전문적인 도움이 필요하다면 저의 현업에 방해가 되지 않는 선에서 협의가능합니다.

https://twitter.com/andromedarabbit

plaintext@andromedarabbit.net