예외 사양

예외 사양은 C++0x에서 사라진 C++ 언어 기능입니다.그것들은 어떠한 예외를 하나의 함수 밖으로 던져 버릴 수 있을까라는 것에 관한 요약 정보를 제공하기 위하여 설계되었으나, 실제로 그것들은 문제가 있음이 발견되었습니다.어느 정도 유용한 것으로 입증된 예외 사양은 throw() 사양이었습니다.예를 들면 다음과 같습니다.

void MyFunction(int i) throw();

컴파일러에 함수가 예외를 throw하지 않도록 지시합니다.__declspec(nothrow)를 사용하는 것에 해당합니다.용도는 선택 사항으로 간주됩니다.C++0x에 noexcept 연산자가 소개되었지만 Visual Studio 2012의 Visual C++에서는 아직 이 기능을 지원하지 않습니다.

Visual C++는 예외 사항을 구현할 때 ANSI 표준을 사용합니다.다음 표는 예외 사양의 Visual C++ 구현을 요약합니다.

예외 사양	의미
throw()	이 함수는 예외를 throw하지 않습니다.그러나 throw()로 표시된 함수에서 예외가 throw되는 경우, Visual C++ 컴파일러는 unexpected를 호출하지 않습니다(자세한 내용은 unexpected (CRT) 및 unexpected (<exception>) 참조).함수에 throw()가 표시된 경우 Visual C++ 컴파일러는 함수가 C++ 예외를 throw하지 않고 그에 따라 코드를 생성한다고 가정합니다.함수가 예외를 throw하는 경우 C++ 컴파일러에서 수행할 수 있는 코드 최적화로 인해(함수가 C++ 예외를 throw하지 않는다는 가정을 전제) 프로그램이 정확하게 실행하지 못할 수 있습니다.
throw(...)	함수는 예외를 throw할 수 있습니다.
throw(type)	함수는 type 형식의 예외를 throw할 수 있습니다.하지만 Visual C++ .NET에서 이는 throw(...)로 해석됩니다.함수 예외 지정자를 참조하십시오.

응용 프로그램에서 예외 처리를 사용하는 경우 throw된 예외를 처리하는 함수가 하나 이상 있어야 합니다.예외를 throw하고 예외를 처리하는 함수 사이에서 호출되는 모든 함수는 예외를 throw할 수 있어야 합니다.

동작을 throw하는 함수는 다음과 같은 요인에 따라 달라집니다.

• C 또는 C++에서 함수를 컴파일하는지 여부

• /EH 컴파일러 옵션을 사용합니다.

• 예외 사양을 명시적으로 지정하는지 여부

C 함수에서는 명시적 예외 사양이 허용되지 않습니다.

다음 표는 함수의 throw 동작을 요약합니다.

Function	/EHsc	/EHs	/EHa	/EHac
C 함수	throw()	throw(...)	throw(...)	throw(...)
예외가 지정되지 않은 C++ 함수	throw(...)	throw(...)	throw(...)	throw(...)
throw() 예외가 지정된 C++ 함수	throw()	throw()	throw(...)	throw(...)
throw(...) 예외가 지정된 C++ 함수	throw(...)	throw(...)	throw(...)	throw(...)
throw(type) 예외가 지정된 C++ 함수	throw(...)	throw(...)	throw(...)	throw(...)

예제

// exception_specification.cpp
// compile with: /EHs
#include <stdio.h>

void handler() {
   printf_s("in handler\n");
}

void f1(void) throw(int) {
   printf_s("About to throw 1\n");
   if (1)
      throw 1;
}

void f5(void) throw() {
   try {
      f1();
   }
   catch(...) {
      handler();
    }
}

// invalid, doesn't handle the int exception thrown from f1()
// void f3(void) throw() {
//   f1();
// }

void __declspec(nothrow) f2(void) {
   try {
      f1();
   }
   catch(int) {
      handler();
    }
}

// only valid if compiled without /EHc 
// /EHc means assume extern "C" functions don't throw exceptions
extern "C" void f4(void);
void f4(void) {
   f1();
}

int main() {
   f2();

   try {
      f4();
   }
   catch(...) {
      printf_s("Caught exception from f4\n");
   }
   f5();
}

참고 항목

참조

try, catch 및 throw 문을 (c, + +)

C + + 예외 처리