Dynamic exception specification (until C++17)

함수가 직접 또는 간접적으로 발생시킬 수 있는 예외를 나열합니다.

구문

명시적 동적 예외 사양은 선언 또는 정의의 최상위 유형인 함수 타입, 함수에 대한 포인터 타입, 함수에 대한 참조 타입, 또는 멤버 함수에 대한 포인터 타입의 함수 선언자에만 나타나야 하며, 또는 함수 선언자에서 매개변수나 반환 타입으로 나타나는 그러한 타입에만 나타나야 합니다.

void f() throw(int);            // OK: 함수 선언
void (*pf)() throw (int);       // OK: 함수 포인터 선언
void g(void pfa() throw(int));  // OK: 함수 포인터 매개변수 선언
typedef int (*pf)() throw(int); // 오류: typedef 선언

설명

함수가 동적 예외 사양에 나열된 T 타입으로 선언된 경우, 해당 함수는 그 타입이나 그로부터 파생된 타입의 예외를 던질 수 있습니다.

불완전 타입 , cv 한정자 void* 를 제외한 불완전 타입에 대한 포인터나 참조 , 그리고 rvalue 참조 타입 (C++11부터) 은 예외 명세에서 허용되지 않습니다. 배열과 함수 타입이 사용된 경우 해당 포인터 타입으로 조정되며, 최상위 cv 한정자도 제거됩니다. 매개변수 팩 은 허용됩니다 (C++11부터) .

조정된 타입 집합이 비어 있는 동적 예외 명세 (모든 팩이 확장된 후) (C++11부터) 는 non-throwing입니다. non-throwing 동적 예외 명세를 가진 함수는 어떤 예외도 허용하지 않습니다.

동적 예외 명세(dynamic exception specification)는 함수의 타입에 속하지 않습니다.

함수가 해당 예외 명세에 나열되지 않은 유형의 예외를 던지면, std::unexpected 함수가 호출됩니다. 기본 함수는 std::terminate 를 호출하지만, 사용자가 제공한 함수( std::set_unexpected 를 통해)로 대체될 수 있으며, 이 함수는 std::terminate 를 호출하거나 예외를 던질 수 있습니다. std::unexpected 에서 던져진 예외가 예외 명세에 의해 허용되면, 스택 풀기가 일반적으로 계속됩니다. 허용되지 않지만 예외 명세가 std::bad_exception 을 허용하는 경우, std::bad_exception 이 던져집니다. 그렇지 않으면, std::terminate 가 호출됩니다.

인스턴스화

함수 템플릿 특수화의 동적 예외 명세는 함수 선언과 함께 인스턴스화되지 않으며, 오직 필요할 때 (아래에 정의된 대로)에만 인스턴스화됩니다.

암시적으로 선언된 특별 멤버 함수의 동적 예외 명세는 필요할 때만 평가됩니다 (특히, 파생 클래스의 멤버 함수를 암시적으로 선언하는 경우 기본 멤버 함수의 예외 명세를 인스턴스화할 필요가 없습니다).

함수 템플릿 특수화의 동적 예외 명세가 필요한 경우, 아직 인스턴스화되지 않았다면, 종속 이름들을 조회하고 expression 에 사용된 모든 템플릿들은 특수화의 선언을 위한 것처럼 인스턴스화됩니다.

함수의 동적 예외 명세는 다음 상황에서 필요한 것으로 간주됩니다:

• 표현식에서 함수가 오버로드 해결을 통해 선택되는 경우
• 함수가 odr-used 되는 경우
• 함수가 odr-used될 것이지만 평가되지 않은 피연산자에 나타나는 경우

template<class T>
T f() throw(std::array<char, sizeof(T)>);
int main()
{
    decltype(f<void>()) *p; // f는 평가되지 않지만 예외 명세가 필요함
                            // 예외 명세의 인스턴스화가 sizeof(void)를 계산하기 때문에 오류 발생
}

• 명세는 다른 함수 선언과 비교하기 위해 필요합니다 (예: 가상 함수 재정의자 또는 함수 템플릿의 명시적 특수화에서)
• 함수 정의 내에서
• 기본 설정된 특수 멤버 함수가 자신의 예외 명세를 결정하기 위해 이를 확인해야 하므로 명세가 필요합니다 (이는 기본 설정된 특수 멤버 함수의 명세 자체가 필요한 경우에만 발생합니다).

잠재적 예외

각 함수 f , 함수 포인터 pf , 그리고 멤버 함수 포인터 pmf 는 가능한 예외 집합 을 가지며, 이는 발생할 수 있는 예외 타입들로 구성됩니다. 모든 타입의 집합은 어떤 예외든 발생할 수 있음을 나타냅니다. 이 집합은 다음과 같이 정의됩니다:

참고: 암시적으로 선언된 특별 멤버 함수들(생성자, 대입 연산자, 소멸자) 그리고 상속 생성자들 (C++11부터) 의 경우, 잠재적 예외 집합은 이들이 호출할 모든 것들의 잠재적 예외 집합의 조합입니다: 비정적 데이터 멤버(non-variant), 직접 기반 클래스, 그리고 적절한 경우 가상 기반 클래스들의 생성자/대입 연산자/소멸자들 (언제나 그렇듯 기본 인자 표현식들 포함).

각 표현식 e 는 잠재적 예외 집합 을 가집니다. 이 집합은 e 가 핵심 상수 표현식 인 경우 비어 있으며, 그렇지 않으면 e 의 모든 직접적인 하위 표현식들( 기본 인수 표현식 포함)의 잠재적 예외 집합들의 합집합에, e 의 형태에 따라 달라지는 또 다른 집합을 결합한 것입니다:

void f() throw(int); // f()의 집합은 "int"입니다
void g();            // g()의 집합은 모든 타입의 집합입니다
struct A { A(); };                  // "new A"의 집합은 모든 타입의 집합입니다
struct B { B() noexcept; };         // "B()"의 집합은 비어 있습니다
struct D() { D() throw (double); }; // new D의 집합은 모든 타입의 집합입니다

암시적으로 선언된 모든 멤버 함수 및 상속 생성자 (C++11부터) 는 다음과 같이 선택된 예외 명세를 가집니다:

• 잠재적 예외 집합이 모든 타입의 집합인 경우, 암시적 예외 명세는 모든 예외를 허용합니다 (예외 명세가 코드로 표현할 수 없고 예외 명세가 없는 것처럼 동작하더라도 예외 명세가 존재하는 것으로 간주됨) (until C++11) noexcept ( false ) 입니다 (since C++11) .
• 그렇지 않고 잠재적 예외 집합이 비어 있지 않은 경우, 암시적 예외 명세는 해당 집합의 모든 타입을 나열합니다.
• 그렇지 않은 경우, 암시적 예외 명세는 throw ( ) (until C++11) noexcept ( true ) (since C++11) 입니다.

struct A
{
    A(int = (A(5), 0)) noexcept;
    A(const A&) throw();
    A(A&&) throw();
    ~A() throw(X);
};
struct B
{
    B() throw();
    B(const B&) = default; // 예외 명세는 "noexcept(true)"입니다
    B(B&&, int = (throw Y(), 0)) noexcept;
    ~B() throw(Y);
};
int n = 7;
struct D : public A, public B
{
    // std​::​bad_array_new_length 타입의 핸들러와 일치하는 타입의 예외를 던질 수 있지만,
    // bad allocation 예외는 던지지 않습니다
    (void*) new (std::nothrow) int[n];
    // D는 다음과 같은 암시적으로 선언된 멤버들을 가질 수 있습니다:
    // D::D() throw(X, std::bad_array_new_length);
    // D::D(const D&) noexcept(true);
    // D::D(D&&) throw(Y);
    // D::~D() throw(X, Y);
};

참고 사항

Clang은 C++11에서 동적 예외 사양(dynamic exception specification)의 인스턴스화 규칙이 CWG1330 에 의해 변경되었다고 간주합니다. 자세한 내용은 LLVM #56349 를 참조하십시오.

키워드

throw

예제

#include <cstdlib>
#include <exception>
#include <iostream>
class X {};
class Y {};
class Z : public X {};
class W {};
void f() throw(X, Y) 
{
    bool n = false;
    if (n)
        throw X(); // OK, would call std::terminate()
    if (n)
        throw Z(); // also OK
    throw W(); // will call std::unexpected()
}
void handler()
{
    std::cerr << "That was unexpected!\n"; // flush needed
    std::abort();
}
int main()
{
    std::set_unexpected(handler);
    f();
}

That was unexpected!

결함 보고서

다음 동작 변경 결함 보고서들은 이전에 발표된 C++ 표준에 소급 적용되었습니다.

참고 항목