The Winner Takes It All

소프트웨어 디자인 패턴에 대해 공부하기 위해 웹을 헤매던 중.. Exception Handling에 대한 내용을 다룬 Article을 읽었다. 거기에 소개된 내용이 바로 RAII란 개념이다.

쉽게 얘기하면, Stack-based 변수와 Heap-based 변수와 관련 있는 얘기다.
다음과 같은 코드를 생각해보자.
<Example #1>
CSomething something("Stack");                                 // Stack-based 변수
CSomething* pSomething = new CSomething("Heap");   // Heap-based 변수

// 생략 ...

delete pSomething;
pSomething = NULL;

<Example#1>에서 알 수 있듯이, Stack-based 변수는 소멸자 해제를 Runtime이 관리해주고, Heap-based 변수는 프로그래머 자신이 관리해야된다. (다 아는 얘기지만.. new를 했으면, delete를 해줘야 하는 법...)

이걸 깜빡하면, 결국 메모리 누수(Memory Leak)이란 재앙을 만나게 된다.

근데, 이렇게 다 아는 얘기를 왜?! 하고 싶은 얘기는 지금 부터다.
학교 숙제를 할 때 우리는 예외 처리(Exception Handling)에 대한 중요성을 소홀히 할 때가 많다.
물론, 조환규 교수님께서는 늘 프로그램의 가장 중요한 덕목은 땐땐함(Robust)이라고 하셨지만..ㅎ 숙제 마감에 시달리게 되다보면, 그걸 지키지 못하는 경우가 허다하다.

<Example #1>을 다음과 같이 수정해보자.
<Example #2>
CSomething something("Stack");                                 // Stack-based 변수
CSomething* pSomething = new CSomething("Heap");   // Heap-based 변수

try{
// 생략 ...
}
catch(int exception_code)
{
     cout << "Exception Occured." << endl;
     delete pSomething;
     pSomething = NULL;
}

delete pSomething;
pSomething = NULL;

자, 예외 처리가 들어가면서, 코드가 뒤죽박죽이 되어버렸다. 동일한 코드가 반복적으로 사용되었고, 예외처리 부분과 자료구조 부분도 섞여버렸다. 이런 부분이 꼭 나중에 문제를 일으키기 쉽다.

깜빡하고, delete를 안해줘서 메모리 누수가 발생하거나, 아니면, 나중에 코드를 유지보수해야할 때도 골치아프게 된다.

이렇게, 골치가 아프게 되는 원인은, Heap-based 변수에 있다. Heap-based 변수는 바로 프로그래머가 관리해줘야 하기 때문이다. 그래서 가급적이면 Heap-based 변수를 사용하지 말자. (포인터를 쓰지 않겠다는 말이냐고?!)

당근, 그건 아니다. 그래서, 필요한 것이 바로 Smart Pointer~!
다음과 같은 코드를 만들어보자.
<Example #3>
class CSomethingPtr
{
public:
CSomethingPtr(CSomething* pSomething);
~CSomethingPtr();

private:
CSomething* m_pSomething;
};

CSomethingPtr::CSomethingPtr(CSomething* pSomething)
: m_pSomething(pSomething)
{
}

CSomethingPtr::~CSomethingPtr()
{
delete pSomething;
pSomething = NULL;
}

그럼, <Example #3>를 이용해 <Example #2>를 수정해보자.
<Example #4>
CSomething something("Stack");                                           // Stack-based 변수
CSomethingPtr pSomethingPtr(new CSomething("Stack"));       // Stack-based 변수

try{
// 생략 ...
}
catch(int exception_code)
{
     cout << "Exception." << endl;
}

이런 식의 기법을 바로 Smart Pointer(포인터처럼 동작하는 객체)라고 한다.
바로 지역객체(Stack-based 변수)를 사용하여 자원을 관리한다고 해서 이를 RAII라고 한다.

RAII에 대해서 공부하면서, 문득 생각난.. 왜 DirectShow SDK에서 Pointer 대신 CComPtr과 같은 형식의 클래스가 많은지 이제 깨달았다. (그 때는 별 생각없이 썼는데.. 돌이켜보면 바로 이런 관점에서 작성한 것이었으리라..)
아무튼, 앞으로도 이런 내용을 보다 열심히 공부할 필요가 있겠다.

보다 자세한 내용은 고형호님의 블로그(http://www.innosigma.com)에 가시면 찾아볼 수 있습니다..^^

크리에이티브 커먼즈 라이센스

이 저작물은 크리에이티브 커먼즈 코리아 저작자표시-비영리-변경금지 2.0 대한민국 라이센스에 따라 이용하실 수 있습니다.