C++ 예외 처리(Exception Handling) 가이드: try catch throw와 주의점

C++ 프로그램을 빌드하여 필드에 배포한 이후, 런타임 동작 과정에서 예기치 못한 사용자 입력 오류, 네트워크 단선, 혹은 시스템 메모리 고갈과 같은 다양한 하드웨어 자원 부족 현상을 마주하게 됩니다. 이러한 제어 불가능한 오류 상황을 고려하지 않고 코드를 설계하면 프로그램은 세그멘테이션 오류를 일으키며 그 자리에서 갑자기 종료되어 버립니다. 시스템의 비정상 종료는 서비스 신뢰도에 치명적인 타격을 주기 때문에, 발생한 결함을 감지하고 안전하게 제어 흐름을 복구하는 방어적 코딩이 필수적입니다. C++은 오류 발생 시점과 이를 수습하는 처리 시점을 논리적으로 분리하여 코드를 우아하게 복구할 수 있는 예외 처리 메커니즘을 제공합니다. 이번 글에서는 예외 처리의 3대 핵심 키워드인 try, catch, throw의 구동 원리부터 상황별 표준 예외 클래스 적용법, 그리고 시스템 성능 저하를 막기 위한 실무 규칙들을 자세히 정리해 보겠습니다.

Generated by Gemini AI.

핵심 요약 3줄

• 예외 처리는 실행 중 예기치 못한 결함이 발생했을 때 프로그램의 즉각적인 강제 종료를 막고 지정된 안전 경로로 흐름을 우회시키는 시스템 제어 기법입니다.
• throw 키워드로 오류 객체를 던지면 try 블록이 이를 감지하고, 일치하는 데이터 타입을 찾아 catch 블록이 연쇄적으로 실행되며 문제를 수습합니다.
• 다중 예외 처리 시에는 상속 계층 구조에 맞추어 하위 자식 클래스를 상단에 먼저 배치해야 하며, 참조자 형태의 매개변수 접수를 원칙으로 삼아야 합니다.

---

1. 예외 처리 3단계 구성 요소와 역할

C++ 예외 처리는 오류를 인지하고 전달하며 수습하는 세 가지 단계가 명확한 역할 분담을 통해 유기적으로 맞물려 구동됩니다.

예외 제어 단계	핵심 키워드	시스템 내부 매커니즘 및 역할	실무 구현 시 조치 사항
예외 발생 (던지기)	throw	정상적인 프로그램 흐름이 불가능한 오류 시점에 도달했을 때, 결함 정보를 담은 예외 객체를 생성하여 상위 호출 스택으로 던짐	오류 원인을 직관적으로 파악할 수 있는 문자열이나 표준 예외 객체를 지정함
감지 영역 (시도하기)	try	예외가 발생할 가능성이 있는 연산 로직이나 외부 라이브러리 호출 함수들을 하나의 감시 영역 블록으로 묶음	실행 비용을 고려하여 정상 흐름과 오류 가능성이 있는 영역을 논리적으로 분리함
예외 수습 (받기)	catch	throw에 의해 던져진 예외 객체의 데이터 타입을 판별하여 일치하는 블록 내부의 에러 대응 로직(로그 기록, 리소스 해제)을 실행함	예외 객체의 복사 오버헤드를 막기 위해 반드시 상수 참조자 형식을 사용함

---

2. 예외 처리 기본 문법과 동작 실습

현업에서 가장 빈번하게 발생하는 논리적 오류인 0으로 나누기(Divide by Zero) 상황을 예시로 하여, 예외가 어떻게 던져지고 잡히는지 구현한 예제 코드를 살펴보겠습니다.

C++

 

#include <iostream>
#include <string>

int main() {
    try {
        int divisor;
        std::cout << "나눌 숫자를 입력하세요: ";
        std::cin >> divisor;

        // 0으로 나누는 수학적 위기 상황을 감지합니다.
        if (divisor == 0) {
            // 문제를 알리기 위해 string 객체 타입의 예외를 던집니다.
            throw std::string("0으로 연산할 수 없는 올바르지 않은 입력값입니다."); 
        }

        // 예외가 발생하면 아래 코드는 실행되지 않고 즉시 catch 블록으로 도망칩니다.
        std::cout << "연산 결과: " << 100 / divisor << std::endl;
    } 
    catch (const std::string& errorUnicorn) { 
        // 던져진 std::string 타입과 일치하는 catch 문이 활성화됩니다.
        std::cerr << "런타임 에러 감지: " << errorUnicorn << std::endl;
    }

    std::cout << "프로그램이 죽지 않고 안전하게 다음 로직을 이어 나갑니다." << std::endl;
    return 0;
}

---

3. 다중 예외 처리와 표준 예외 클래스 활용법

실무 아키텍처에서는 한 가지 종류가 아닌 다발적인 유형의 에러가 쏟아집니다. C++은 <stdexcept> 헤더를 통해 직관적으로 분류된 표준 예외 클래스 계층 구조를 제공합니다.

표준 예외 클래스 종류	발생 원인 및 주요 매치 상황	실무 적용 예시
std::invalid_argument	함수에 전달된 인자의 값 자체가 유효하지 않을 때	음수 나이를 입력하거나 빈 문자열 데이터를 전송한 경우
std::out_of_range	배열이나 컨테이너의 인덱스 접근 범위를 초과했을 때	크기가 5인 벡터에서 10번째 요소에 접근을 시도하는 경우
std::runtime_error	논리적 예측이 어렵고 프로그램 실행 중에만 판별되는 오류	파일 개방 실패, 네트워크 통신 연결 끊김 현상 등
std::exception	모든 C++ 표준 예외 클래스들의 최상위 부모 클래스	미처 예측하지 못한 기타 모든 예외 상황을 일괄 처리할 때

C++

 

#include <iostream>
#include <stdexcept>

void verifySystemStatus(int level) {
    if (level < 0) {
        throw std::invalid_argument("시스템 레벨은 음수일 수 없습니다.");
    }
    if (level > 999) {
        throw std::runtime_error("허용 범위를 초과한 치명적인 시스템 수치입니다.");
    }
}

int main() {
    try {
        verifySystemStatus(-10); // 에러 발생 유도
    } 
    catch (const std::invalid_argument& e) {
        // 구체적인 하위 클래스 예외를 가장 먼저 배치하여 정밀하게 대응합니다.
        std::cerr << "인수 입력 오류 유형: " << e.what() << std::endl;
    } 
    catch (const std::runtime_error& e) {
        std::cerr << "실행 환경 오류 유형: " << e.what() << std::endl;
    }
    catch (const std::exception& e) { 
        // 최상위 부모 클래스를 마지막에 배치하여 필터링되지 않은 잔여 예외를 방어합니다.
        std::cerr << "분류되지 않은 공통 예외: " << e.what() << std::endl;
    }
    return 0;
}

---

4. 프로젝트 전용 사용자 정의 예외 클래스 구축

엔터프라이즈급 프로젝트나 독자적인 라이브러리를 구축할 때는 표준 예외를 그대로 쓰기보다, std::exception을 상속받아 프로젝트 성격에 맞는 커스텀 예외 클래스를 직접 설계하는 것이 훨씬 체계적입니다.

C++

 

#include <iostream>
#include <stdexcept>

// 표준 exception 클래스를 상속받아 고유한 네트워크 예외를 정의합니다.
class ConnectionTimeoutException : public std::exception {
public:
    // 가상 함수인 what() 메서드를 오버라이딩하여 고유한 에러 메시지를 반환합니다.
    // noexcept는 이 함수 내부에서는 절대로 예외를 다시 던지지 않음을 보장하는 키워드입니다.
    const char* what() const noexcept override {
        return "서버 응답 시간이 초과되어 네트워크 연결에 실패했습니다.";
    }
};

int main() {
    try {
        throw ConnectionTimeoutException();
    }
    catch (const std::exception& e) {
        // 커스텀 객체도 부모 클래스 타입 참조자로 안전하게 수습하여 다형성을 실현합니다.
        std::cerr << "네트워크 모듈 에러: " << e.what() << std::endl;
    }
    return 0;
}

---

5. 개발을 위한 유용한 팁

• 스마트 포인터와 RAII 패턴을 결합하여 메모리 누수를 원천 차단하세요: try 블록 내부에서 int* data = new int[100];과 같이 수동으로 메모리를 동적 할당한 뒤 하단에서 throw가 발생하면, 뒤쪽에 적어둔 delete[] data; 구문이 실행되지 않고 건너뛰어지면서 치명적인 메모리 누수(Memory Leak)가 발생합니다. 예외가 던져질 때 지역 변수들이 해제되는 과정에서 자원이 버려지는 현상을 막기 위해, 자원 획득은 초기화와 동시에 이루어져야 한다는 RAII(Resource Acquisition Is Initialization) 디자인 패턴을 준수해야 합니다. 동적 메모리는 일반 포인터 대신 std::unique_ptr나 std::shared_ptr 같은 스마트 포인터에 담아 제어해야 합니다. 스마트 포인터는 예외가 발생해 블록을 급히 빠져나가는 상황에서도 자체 소멸자가 자동으로 호출되므로 할당되어 있던 힙 메모리를 안전하게 수거해 줍니다.
• 함수 선언부에 noexcept를 적극적으로 명시하여 컴파일러 최적화를 유도하세요: 함수를 설계할 때 내부적으로 예외를 절대로 던지지 않거나 예외가 발생하더라도 상위로 전파하지 않는 안전한 함수라면 함수 원형 뒤에 noexcept 키워드를 반드시 붙여주는 것이 좋습니다. 컴파일러는 noexcept가 보장된 함수를 빌드할 때, 예외 발생 시 스택을 역추적하여 지역 객체들을 파괴하는 스택 풀기(Stack Unwinding)를 위한 추가적인 제어 바이너리 코드를 생성하지 않습니다. 결과적으로 실행 파일의 크기가 줄어들고 최적화 연산 효율이 극대화되므로 시스템 자원이 한정된 임베디드 펌웨어나 고성능 엔진 개발 시 필수적인 규칙입니다.

---

6. 처음 시작할 때 흔히 하는 실수

• 다중 catch 블록 구성 시 부모 클래스를 상단에 먼저 배치하는 실수: 다중 catch 문을 작성할 때 최상위 부모 클래스인 std::exception을 가장 첫 번째 catch 블록에 배치하는 실수를 자주 범하곤 합니다. C++의 예외 매칭 시스템은 위에서부터 순차적으로 타입을 검사하며 일치하는 블록을 실행합니다. 부모 클래스가 맨 위에 버티고 있으면 하위의 구체적인 예외 객체들(invalid_argument 등)까지 부모 타입으로 상향 형변환되어 첫 번째 블록에서 전부 흡수해 버립니다. 이로 인해 정밀하게 분리해 둔 하단 catch 코드가 실행되지 않는 논리적 사각지대가 생기므로 반드시 자식 클래스를 위에 쓰고 부모 클래스는 가장 아래에 배치해야 합니다.
• 객체의 소멸자(Destructor) 내부에서 외부로 예외를 던지는 가혹한 행위: 객체가 수명을 다해 파괴되는 단계인 소멸자 안에서 throw를 실행하여 예외를 밖으로 전파하는 것은 프로그램 안정성에 치명적입니다. 만약 어떤 예외가 이미 발생하여 스택 풀기가 진행되는 도중에, 파괴되던 또 다른 객체의 소멸자에서 새로운 예외가 중복으로 터져 나오면 C++ 런타임 시스템은 제어 불능 상태에 빠집니다. 복수의 예외를 동시에 처리할 수 없기 때문에 시스템은 std::terminate()를 호출하여 프로그램을 강제 종료시킵니다. 소멸자 내부에서 발생하는 오류는 절대 외부로 던지지 말고 반드시 소멸자 안에서 try-catch로 감싸 자체적으로 소멸시키거나 로그만 남긴 뒤 조용히 마무리해야 합니다.
• 일반적인 제어 흐름(if-else)을 대체하는 목적으로 예외 처리를 남발하는 버릇: 예외 처리는 단어 뜻 그대로 정상적인 시나리오를 완전히 벗어난 치명적이고 예외적인 순간에만 사용하는 도구입니다. 단순한 값의 대소 비교나 일반적인 유효성 검사 루프를 if 문 대신 try-catch 구조로 짜는 것은 좋지 않습니다. throw가 실행되면 실행 스택을 거꾸로 뒤집으며 메모리를 정리하는 무거운 연산이 동반되므로, 일반 조건문에 비해 수십 배 이상의 CPU 연산 비용과 실행 시간 손실을 초네합니다. 제어 가능한 연산 흐름은 조건문으로 방어하고 예측 불가능한 자원 오류에만 예외 시스템을 가동하는 선별적 적용이 필요합니다.

---

마치며

이번 포스팅에서는 C++ 프로그램의 생존성과 견고함을 보장하는 핵심 아키텍처인 예외 처리 문법의 기본 원리부터 상황별 표준 예외 클래스 가이드, 그리고 자원 누수를 막기 위한 소멸자 제어 및 RAII 수칙을 알아봤습니다. 예외 처리는 단순히 에러 메시지를 화면에 뿌리는 도구가 아니라 결함이 터진 시점의 메모리를 안전하게 수거하고 시스템을 정상 궤도로 돌려놓는 고도의 설계 기술입니다. 실습해 본 0 나누기 예제와 커스텀 네트워크 예외 구조를 컴파일러에 직접 코딩해 보시면서 방어적 아키텍처의 감각을 익혀보시기 바랍니다. 다음 글에서는 파일 시스템에 직접 접근하여 로그 데이터를 기록하고 사용자 설정 값을 영구적으로 보관하는 C++ 입출력 스트림(File I/O Stream)의 실무 제어 원칙과 버퍼 관리 기법에 대해 깊이 있게 다루어보겠습니다. 소스코드를 빌드하다가 예외 전파가 꼬이거나 아키텍처 설계 중 의문이 생기면 언제든 댓글로 편하게 질문해 주세요.