예외처리(try, catch)와 함수리턴값..

예외는 비정상적인 상황이 발생했을 때 이를 감지하는 부분과 처리하는 부분을
분리하기 위한 것입니다. 이 두 부분이 섞여버리면 코드가 복잡해지고 그것은
바로 잘못된 코딩을 하기 쉽다는 뜻이 됩니다. 정상적인 상황에서의 코드와 비정상적인
상황에서의 코드를 분리함으로써 가독성이 좋아지고 유지보수에 도움이 되지요.
그리고 stack unwinding도 기존의 방법과 큰 차이입니다.
그런데 예외 메커니즘을 제대로 쓰기는 쉽지 않습니다. 예외에 안전한 코드를
작성하는 것은 생각보다 까다롭고 그 자체로 큰 이슈가 됩니다. 이와 관련하여
흔히 RAII(resource acquisition is initialization)라고 하는 테크닉이 중요하게
다루어집니다. 다음은 TC++PL에 실려있는 예입니다.

void use_file(const char* fn)
{
    FILE* f = fopen(fn, "r");
    try {
        // use f
    }
    catch (...) {
        fclose(f);
        throw;
    }
    fclose(f);
}

보시면 예외가 발생했을 때와 정상적인 상황에서 모두 fclose()를 해주어야 하는데
이런 식의 코딩은 실수를 하기 쉽습니다. RAII를 적용하여 자원의 획득과 반환을
자동적으로 처리하는 방법은 아래와 같습니다.

class File_ptr
{
    FILE* p;
public:
    File_ptr(const char* n, const char* a) { p = fopen(n, a); }
    File_ptr(FILE* pp) { p = pp; }
    ~File_ptr() { fclose(p); }
    operator FILE*() { return p; }
};

void use_file(const char* fn)
{
    File_ptr f(fn, "r");
    // use f
}

이렇게 하면 예외가 발생해도 자원의 획득과 반환이 자동적으로 처리됩니다.
스마트 포인터도 이와 비슷한 맥락이라고 볼 수 있습니다.