어떤 차이가 있습니까 throw()및 noexcept각각 런타임 및 컴파일 시간에 확인하는 것 외에는는?
이 Wikipedia C ++ 11 기사 에서는 C ++ 03 throw 지정자가 더 이상 사용되지 않음을 제안합니다.
왜 그렇다면 noexcept컴파일 타임에 모든 것을 다룰 수 있습니까?
답변
예외 지정 자는 일반적으로 끔찍한 아이디어 이기 때문에 예외 지정자는 사용되지 않습니다 . noexcept예외 지정자의 합리적으로 유용한 사용이기 때문에 추가되었습니다. 함수 가 예외를 throw 하지 않을 때를 아는 것 입니다. 따라서 그것은 이진 선택이됩니다 : 던질 함수와 던지지 않을 함수.
noexcept더 강력 throw()하기 때문에 모든 throw 지정자를 제거하는 대신 추가되었습니다 noexcept. noexcept컴파일 시간이 부울로 해석되는 매개 변수를 가질 수 있습니다. 부울이 참이면 noexcept스틱입니다. 부울이 거짓 noexcept이면가 고정되지 않고 함수가 throw 될 수 있습니다.
따라서 다음과 같이 할 수 있습니다.
struct<typename T>
{
void CreateOtherClass() { T t{}; }
};합니까 CreateOtherClass던져 예외? T의 기본 생성자가 할 수 있다면 할 수 있습니다. 우리는 어떻게 말합니까? 이렇게 :
struct<typename T>
{
void CreateOtherClass() noexcept(is_nothrow_default_constructible<T>::value) { T t{}; }
};따라서 CreateOtherClass()주어진 유형의 기본 생성자가 던지면 던질 것입니다. 이는 예외 지정자의 주요 문제 중 하나 인 호출 스택을 전파 할 수없는 문제를 해결합니다.
으로이 작업을 수행 할 수 없습니다 throw().
답변
noexcept 컴파일 타임에 확인되지 않습니다.
구현은 단지 실행될 때 포함하는 함수가 허용하지 않는 예외를 던지거나 던질 수 있기 때문에 표현식을 거부해서는 안됩니다.
함수가 선언 noexcept되거나 throw()예외를 던지려고 할 때 유일한 차이점은 하나의 호출 terminate과 다른 호출 unexpected과 후자의 예외 처리 스타일이 효과적으로 사용되지 않는다는 것 입니다.
답변
std::unexpected() 동적 예외 사양이 위반 될 때 C ++ 런타임에 의해 호출됩니다. 예외 사양이이 유형의 예외를 금지하는 함수에서 예외가 throw됩니다.
std::unexpected() 프로그램에서 직접 호출 할 수도 있습니다.
두 경우 모두 std::unexpected현재 설치된를 호출합니다 std::unexpected_handler. 기본 std::unexpected_handler호출 std::terminate입니다.