어떤 차이가 있습니까 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. 나는 throw()지정자를 사용하지 않았으며 noexcept실제로 어떤 이점을 제공 하는지 확인하려고 시도하고 있습니다 (컴파일러 확인 문서 제외).
std::terminate. 그것은 정말 최악입니다 ! 코드는 기능이 표시 noexcept 되고 런타임 (고객 사이트에서 의미) 위반이 감지 된 릴리스에 잠입 할 수 있습니다 . 나는 컴파일러 가 처음에 예외를 던지지 않는 코드를 생성하도록 보장한다는 것을 의미했습니다 .
throws(), 예외가 발생하는 경우 다음 스택 해야 하는 포인트가 그 기능 (기능 모두 자동 변수가 파괴되도록) 개까지의 범위 일 풀어진 terminate()(통해 호출된다 unexpected()). 함수가 표시 noexcept되면 예외가 발생하면 종료가 호출됩니다 (스택 해제는 구현 정의 세부 사항 임).
noexcept 컴파일 타임에 확인되지 않습니다.
구현은 단지 실행될 때 포함하는 함수가 허용하지 않는 예외를 던지거나 던질 수 있기 때문에 표현식을 거부해서는 안됩니다.
함수가 선언 noexcept되거나 throw()예외를 던지려고 할 때 유일한 차이점은 하나의 호출 terminate과 다른 호출 unexpected과 후자의 예외 처리 스타일이 효과적으로 사용되지 않는다는 것 입니다.
throw()/가있는 noexcept경우 컴파일 시간 검사에서 재정 의자도 있는지 확인합니다.
noexcept런타임 검사를 발생할 수 있습니다. 그들 사이의 주요 차이점은 파괴가noexcept원인이std::terminate되는 반면 파괴가throw원인이라는 것std::unexpected입니다. 또한 이러한 경우 스택 해제 동작이 약간 다릅니다.