C++ exception object

값으로 던지고, const 참조로 읽는다

예외 객체의 소유권은 예외 처리 메커니즘에 맡기고, catch 블록은 복사 없이 타입 정보와 메시지만 안정적으로 읽는 구조가 기본입니다.

던질 때

throw MyException(...)처럼 객체 값을 넘깁니다.

잡을 때

catch (const MyException& e)로 읽습니다.

예외 객체 생명 주기

runtime owned

1

throw 지점


                throw MyException("file");

현재 함수는 중단되고 예외 객체가 처리 메커니즘으로 넘어갑니다.

값 전달

2

예외 저장소

exception object

복사 또는 이동된 객체를 런타임이 보관하고 스택 풀기가 진행됩니다.

소유권 분리

3

handler 바인딩


                catch (const T& e)

추가 복사를 만들지 않고 파생 예외의 실제 타입 정보를 보존합니다.

slicing 방지

!

포인터 예외

throw new T(...)

catch 블록에 delete 책임이 생겨 누수와 중복 해제 위험이 커집니다.

비권장

전달 방식 선택표

copy · type · cleanup

던질 때 값으로 던지기

throw T

복사 비용 1회 이동

런타임 예외 저장소가 객체를 소유합니다.

타입 보존 보존

catch 타입 매칭에 쓸 실제 타입이 유지됩니다.

정리 책임 자동

예외 시스템이 수명을 관리합니다.

잡을 때 const 참조로 잡기


                  catch (const T& e)

복사 비용 추가 복사 없음

큰 예외 객체도 안정적으로 읽습니다.

타입 보존 좋음

파생 예외의 실제 타입 정보를 잃지 않습니다.

정리 책임 읽기만

catch 블록에서 delete가 필요 없습니다.

피할 방식 포인터로 던지기

throw new T

복사 비용 낮아 보여도 위험

소유권을 누가 갖는지 불명확해집니다.

타입 보존 불안정

포인터 타입과 객체 타입을 따로 관리해야 합니다.

정리 책임 수동

누수와 중복 해제 위험이 catch 블록으로 옮겨갑니다.

catch 순서

specific first

1st

`catch (const MyException& e)`

도메인 오류를 먼저 복구하거나 사용자 메시지로 바꿉니다.

2nd

`catch (const std::exception& e)`

표준 예외 계층의 공통 안전망으로 what()을 기록합니다.

RAII

스택 풀기 중 정리

지역 객체 소멸자가 호출되므로 자원 해제 코드는 객체가 책임지게 둡니다.