RAII로 C++ 리소스 수명 묶기: Rule of 0/5와 guard 패턴

완성할 예제

다음 네 가지 패턴을 코드로 구성합니다.

• ProcessEnvGuard: 프로세스 시작 시 환경 변수를 고정하는 단방향 guard

• FileGuard: FILE*를 생성·이동·소멸에 묶기

• SocketHandle: 정수 파일 디스크립터를 RAII로 관리하기

• unique_ptr custom deleter: C API 포인터를 표준 스마트 포인터로 감싸기

읽고 나면 raw handle이 보일 때 Rule of 5를 적용할지, 표준 타입만으로 Rule of 0에 맡길지 판단할 수 있습니다.

왜 수동 반납이 자주 깨지는가

전형적인 실패 경로는 다음과 같습니다.

1. 파일을 연다.

2. 파싱 중 예외가 발생하거나 중간에 return한다.

3. fclose에 도달하지 못해 핸들이 남는다.

goto cleanup이나 중첩 if로 정리 경로를 맞출 수는 있지만, 함수가 커질수록 누락 확률이 올라갑니다. RAII는 ​정리 코드를 소멸자에 한 번만 적어 두고, 모든 탈출 경로에서 컴파일러가 호출하게 만듭니다.

스코프와 소멸자의 관계는 단순합니다.

1. 스코프에 진입하면 생성자가 자원을 획득합니다.

2. 정상 사용이 이어집니다.

3. return이든 예외든 스코프를 벗어나면 소멸자가 반납합니다.

Rule of 0과 Rule of 5

환경 변수 guard

복원이 필요 없는 프로세스 전역 설정은, 생성자에서만 값을 쓰는 단방향 guard로 충분합니다.

Cpp
#include <cstdlib>

#if defined(_WIN32)
namespace {
struct ProcessEnvGuard {
    ProcessEnvGuard() {
        _putenv_s("APP_LOG_LEVEL", "debug");
        _putenv_s("OMP_NUM_THREADS", "4");
    }
};
ProcessEnvGuard process_env_guard;
}
#endif

전역 객체는 main보다 먼저 생성될 수 있어 ​초기화 순서 의존 이 생깁니다. 가능하면 main() 첫 줄에서 스택 지역 객체로 두는 편이 예측 가능합니다. 이전 값을 되돌려야 한다면 생성자에서 old value를 저장하고 소멸자에서 복원하세요.

파일 핸들 guard

FILE*는 획득과 반납 쌍이 명확하므로 RAII 예제로 적합합니다. 복사는 금지하고, 이동 시 원본 포인터를 비웁니다.

Cpp
#include <cstdio>
#include <utility>

struct FileGuard {
    FILE* fp = nullptr;

    explicit FileGuard(const char* path, const char* mode)
        : fp(std::fopen(path, mode)) {}

    ~FileGuard() {
        if (fp) {
            std::fclose(fp);
        }
    }

    FileGuard(const FileGuard&) = delete;
    FileGuard& operator=(const FileGuard&) = delete;

    FileGuard(FileGuard&& other) noexcept : fp(other.fp) {
        other.fp = nullptr;
    }

    FileGuard& operator=(FileGuard&& other) noexcept {
        if (this != &other) {
            if (fp) {
                std::fclose(fp);
            }
            fp = other.fp;
            other.fp = nullptr;
        }
        return *this;
    }

    explicit operator bool() const { return fp != nullptr; }
};

사용부는 스코프만 지키면 됩니다.

Cpp
void write_greeting(const char* path) {
    FileGuard file(path, "w");
    if (!file) {
        return;
    }
    std::fputs("hello\n", file.fp);
}  // 여기서 fclose

예외가 나거나 중간에 return해도 소멸자가 fclose를 호출합니다.

소켓·디스크립터 핸들

POSIX 스타일 정수 디스크립터도 같은 규칙입니다. 유효하지 않은 값을 -1로 두고, 이동 후 원본을 무효화합니다.

Cpp
#include <unistd.h>

struct SocketHandle {
    int fd = -1;

    ~SocketHandle() {
        if (fd >= 0) {
            ::close(fd);
        }
    }

    SocketHandle(const SocketHandle&) = delete;
    SocketHandle& operator=(const SocketHandle&) = delete;

    SocketHandle(SocketHandle&& other) noexcept : fd(other.fd) {
        other.fd = -1;
    }

    SocketHandle& operator=(SocketHandle&& other) noexcept {
        if (this != &other) {
            if (fd >= 0) {
                ::close(fd);
            }
            fd = other.fd;
            other.fd = -1;
        }
        return *this;
    }
};

unique_ptr와 custom deleter

직접 Rule of 5를 쓰기보다, 이미 RAII인 std::unique_ptr에 삭제자를 넘기는 방법이 종종 더 짧습니다. C 라이브러리 포인터에 특히 유용합니다.

Cpp
#include <memory>

template <typename T, void (*Deleter)(T*)>
using CHandle = std::unique_ptr<T, decltype(Deleter)>;

// 예: OpenSSL EVP_CIPHER_CTX* 를 감싸는 형태
// CHandle<EVP_CIPHER_CTX, EVP_CIPHER_CTX_free> ctx{
//     EVP_CIPHER_CTX_new(), EVP_CIPHER_CTX_free};

struct FileCloser {
    void operator()(FILE* fp) const {
        if (fp) {
            std::fclose(fp);
        }
    }
};

using UniqueFile = std::unique_ptr<FILE, FileCloser>;

UniqueFile open_unique_file(const char* path, const char* mode) {
    return UniqueFile(std::fopen(path, mode));
}

UniqueFile은 Rule of 0에 가깝습니다. 복사·이동·소멸을 클래스에 다시 적을 필요가 거의 없습니다.

설계 체크리스트

1. 새 타입은 가능하면 Rule of 0(표준 RAII 멤버만)으로 만듭니다.

2. raw handle을 직접 소유할 때만 Rule of 5를 적용합니다.

3. 복사가 불필요하면 = delete하고 이동만 허용합니다.

4. 이동 후 원본 핸들은 무효 값(nullptr, -1)으로 만듭니다.

5. 소멸자에서는 예외를 던지지 않습니다.

6. 전역 guard보다 main 근처의 지역 guard를 선호합니다.

7. C API 포인터는 unique_ptr + custom deleter를 먼저 검토합니다.

자주 발생하는 문제

다음 단계

RAII guard가 익숙해지면 다음으로 확장하기 좋습니다.

• std::fstream / std::unique_ptr만으로 Rule of 0 클래스 설계하기

• 스레드 수명을 소멸자 join에 묶기 (이 시리즈의 thread·mutex 글)

• C 라이브러리(curl, OpenSSL 등)를 extern "C" + RAII로 감싸기

• shared_ptr 순환 참조를 weak_ptr로 끊는 소유권 그래프 정리하기

C++ Core Guidelines의 리소스 관리 절과 cppreference의 Rule of Three/Five/Zero, std::unique_ptr 문서를 함께 보면 API 세부 규칙을 놓치지 않습니다.