C++에서 RAII는 C++을 C++답게 만드는 핵심 방식이다.

메모리, 파일, 락, 소켓 같은 자원의 획득과 해제를 객체 생성과 소멸에 묶는다.

생성자가 자원을 확보하고 소멸자가 해제하도록 만들면 함수가 어디서 return하든 예외가 발생하든 스코프를 벗어나는 순간 정리가 실행된다.

unique_ptr, vector, lock_guard, fstream이 모두 이 방식을 사용한다.

RAII 객체를 직접 만들 때 소멸자에서는 예외를 밖으로 던지지 않는 것이 원칙이다.

복사를 허용하면 자원이 이중 해제될 수 있으므로 단독 소유 자원은 복사를 막고 이동만 허용해야 한다.

획득과 해제가 눈에 흩어지지 않는 것이 가장 큰 장점이다.

완성 예제는 읽기 전용 /dev/null을 열어 자원 수명을 보여 준다. 함수가 중간에 반환해도 File 객체가 파괴될 때 fclose()가 호출된다.

완성 예제

#include <cstdio>
#include <memory>
#include <iostream>
using File = std::unique_ptr<FILE, decltype(&std::fclose)>;
File open_file(const char *path) {
    return File(std::fopen(path, "r"), &std::fclose);
}
int main() {
    auto file = open_file("/dev/null");
    if (!file) {
        std::perror("fopen");
        return 1;
    }
    std::cout << "opened\n";
}

이 예제를 실행한 출력은 다음과 같다.

opened

빌드하기

g++ -std=c++17 -Wall -Wextra -pedantic main.cpp -o main
./main