C++의 소멸자는 자동으로 작동하지 않는다.

C++ 의 소멸자는 자동으로 작동하는 것이 아니라, 암묵적(implicitly)으로 호출되며, 계층적 (hierarchically)으로 호출된다. 그것이 쓰레기 수집기 (GC, Garbage Collector)가 아닌 이상 자동으로 작동한다고 볼 수 없다.

마치 자동으로 작동하는 것처럼 보이는 전역 개체나 지역개체의 소멸자들은 모두, 컴파일러에 의해 개체가 해당 scope 를 벗어나는 시점에서 암묵적으로 호출된다. 만일 소멸자가 없는 언어로 동일한 루틴을 작성한다면 scope 에 의해 명확히 드러나는 소멸 시점에서 적절히 소멸자에 해당하는 함수를 호출해주면 된다.

때로는 이러한 암묵적인 생성자/소멸자 호출이 성능 문제와 연결되기도 한다.

{
        for( i=0; i<n; i++ ) {
                MyObject object;
                object.doSomething();
                // destructor for 'object' is implicitly called here
        }
}

만일 이 루틴을 해당 개체의 특성에 따라 다음과 같이 수정할 수 있다면 성능은 증가할 수 있다.

{
        MyObject object;
        for( i=0; i<n; i++ ) {
                object.doSomething();
        }
        // destructor for 'object' is implicitly called here
}

최적화 컴파일러가 MyObject 의 생성자와 소멸자를 루프 밖으로 보내도 되는지 판단할 수 있을만큼 똑똑해져있지 않다. 또한 생성자 소멸자 호출이 암묵적으로 행해지는 C++ 같은 언어는 개발자가 위와 같은 판단을 하는 것을 방해한다.

전역 개체나 지역 개체의 생성과 소멸 문제는 이 글에서 다루려는 소멸자 문제의 핵심이 아니다. new 에 의해 동적할당되는 개체를 소멸시키기 위해서는 분명히 어느 시점에서 개발자가 delete 를 호출해주어야 한다. 이것은 delete 가 없는 언어에서, 개체를 소멸시키는 함수를 만들고 그것을 적절한 시점에서 호출해야 하는 것과 다를 바 없는 상황이 된다. 만일, '소멸자가 자동으로 작동한다'라는 말이 C++ 의 언어적 특성에 대한 환상을 준다면, C++ 을 잘 못 이해할 충분한 가능성을 제공해 줄 것이다.

이 글은 언어 논쟁을 유발하려는 의도로 쓴 글이 결코 아니다. 단지, C++ 소멸자의 작동 방식을 좀 더 적절하게 묘사하는 방법에 대해 의견을 제시한 것 뿐이다. 나는 C 를 주 개발 언어로 사용하지만, C++ 도 좋아한다. 뿐만아니라 Assembly, JAVA 나 C#, 나아가 모든 프로그램 언어들을 좋아한다. 그것들은 모두 내가 원하는 목적을 얻을 수 있을 정도의 충분한 기능들을 가지고 있기 때문이다.

홈페이지 글 주소:
http://home.megapass.net/~heesc22/orion/h_cxxdel.htm