throw가 예외를 던졌는데 이 예외를 받아줄 catch가 없는 경우는 아무도 이 예외를 처리하지 않는다. 설사 try 블록에 throw가 포함되어 있고 catch 블록이 있더라도 던진 예외와 타입이 맞는 catch가 없다면 이 예외도 미처리 예외가 된다. 미처리 예외는 terminate라는 함수가 처리하는데 이 함수는 기본적으로 abort를 호출하여 프로그램을 강제로 종료한다. 나중에 말썽을 부릴 바에야 개발중에 종료되어 예외를 분명히 알리는 것이 더 좋다는 식인데 고객앞에서 죽을 바에야 지금 당장 죽어라는 뜻이다. 그래서 예외 처리를 잘못하면 프로그램은 정리 작업도 하지 못하고 강제 종료된다.
만약 미처리 예외를 특별한 방식으로 처리하고 싶다면 미처리 예외의 핸들러를 따로 등록할 수 있다. 이때는 exception 헤더 파일에 선언되어 있는 다음 함수를 사용하는데 인수로 void func(void) 타입(terminate_handler)의 함수 포인터를 전달한다. 이후 미처리 예외가 발생할 경우 지정한 핸들러 함수가 호출된다.
terminate_handler set_terminate(terminate_handler ph)
미처리 예외 핸들러는 아무도 처리하지 않는 예외가 발생했을 때의 극단적인 예외를 처리할 수 있다. 다음 예제는 myterm이라는 함수를 미처리 예외 핸들러로 등록하여 메시지를 화면에 출력한 후 종료한다.
|
예 제 : terminate |
#include <Turboc.h>
#include <exception>
using namespace std;
void myterm()
{
puts("처리되지 않은 예외 발생");
exit(-1);
}
void main()
{
set_terminate(myterm);
try {
throw 1;
}
catch(char *m) {
}
}
main에서 정수형의 예외를 던졌는데 뒤쪽의 catch에는 정수형을 받는 부분이 없으므로 이 예외는 미처리 예외이다. 따라서 미리 지정한 myterm 함수가 호출된다. 이때 예외를 발생시킨 함수의 스택을 정리할 것인가 아닌가는 컴파일러에 따라 다르다.
임의의 객체를 받으려면 catch (...)을 사용하는데 이때 ...은 앞부분의 catch에서 처리되지 않은 모든 예외를 의미한다. catch (...)은 예외가 발생했다는 것만 알 수 있으며 어떤 예외가 왜 발생했는지는 알지 못하는 한계가 있다. 그래서 이 구문은 잘 사용되지 않는다. 개발중에 예외 사실을 단순히 알고만 싶을 때, 예외 발생 사실만 중요하고 정보는 필요없을 때 catch (...)을 사용한다. terminate는 전역적인 미처리 핸들러인데 비해 catch (...)은 국지적인 미처리 예외 핸들러라고 할 수 있다.
catch (...) {
puts("뭔지 모르겠는데 하옇든 잘못되었습니다.");
}
throw에 의해 예외가 던져질 때 컴파일러는 try 블록 바로 밑의 catch를 등장하는 순서대로 점검하여 예외의 타입과 일치하는 catch를 찾는다. 그런데 catch (...)은 임의의 예외 타입을 모두 받을 수 있으므로 이 구문이 제일 앞에 있다면 뒤쪽의 catch는 절대로 호출되지 않을 것이다. 그래서 catch (...)은 반드시 모든 catch의 끝에 와야 한다. 여러 개의 catch가 있을 경우 올바른 배치는 왼쪽이다.
|
try { } catch (int) catch (char *) catch (exception) catch (...) |
try { } catch (...) catch (int) catch (char *) catch (exception) |
오른쪽과 같이 catch (...)이 제일 앞에 있으면 모든 예외를 이 catch가 받아서 처리할 것이므로 아래쪽의 catch는 있으나 마나한 존재가 된다. 순서대로 점검하기 때문에 포괄적인 범위의 예외 객체 핸들러가 가급적이면 뒤에 있어야 한다. 부모 클래스 타입, 자식 클래스 타입을 받는 핸들러가 둘 있다면 자식을 처리하는 핸들러가 먼저 나오고 부모를 처리하는 핸들러가 뒤에 나와야 한다.
컴파일러가 던져진 예외 객체로부터 핸들러를 찾을 때 예외 객체의 타입 점검은 지나칠 정도로 엄격하다. 컴파일러의 암시적인 타입 변환은 동작하지 않으므로 반드시 정확한 타입의 catch만 선택된다. 다음 코드를 보면 예외 처리가 잘 될 것 같지만 실제로 실행해 보면 미처리 예외가 된다.
try {
if (TRUE) throw 1234;
}
catch(unsigned a) {
printf("%d에 대한 예외 발생\n",a);
}
왜냐하면 1234는 int형 상수인데 catch는 unsigned만 받으므로 예외 객체의 타입이 맞지 않은 것이다. throw 1234u라고 표기하여 타입을 맞추면 catch(unsigned)와 정확하게 대응될 것이다. 대입이나 함수 호출같은 경우라면 컴파일러가 적당히 타입을 변환하지만 예외 객체는 정확한 타입만 찾는다.
심지어 int와 short 같이 길이만 다른 타입이나 int와 long처럼 잠재적으로는 다를 수 있더라도 실제로는 같은 타입조차도 다른 예외 객체로 인식된다. 단, 예외적으로 void * 타입을 받는 핸들러는 임의의 포인터 타입 객체를 받을 수 있고 부모 포인터 타입을 받는 핸들러는 자식 객체를 받을 수 있다.