noexcept 및 안정성 보장

Question

최근에 나는 noexcept 예외 사양에서 simple question이 될 것이라고 생각했던 답변에 노력했습니다. 결과적으로 나는 noexcept의 근본적인 이해가 잘못되었다는 것을 알게되었습니다.

오해를 바로 잡기 위해 the current draft standard을 읽는 동안 here에 대한 답변이없는 noexcept에 대해 몇 가지 질문을했습니다.

1. noexcept은 안전 보장으로 간주해야합니까? 호출 할 때 함수가 throw되지 않고 상태가 손상되지 않습니까?
2. (1)이 거짓이라고 가정합니다. 휴대 전화 FailFast으로 noexcept을 사용하여 저장된 상태가 손상되지 않도록 정리하지 않고 응용 프로그램을 종료하는 것이 맞습니까? (2)에

명확한 설명 : 목적은뿐만 아니라 그 안에 긴장을 풀기 방지하기 위해 noexcept에서 스택까지 더 소멸자 호출을 방지하는 것입니다. 이것은 완벽한 RAII 환경이고 스택을 소멸시키는 사람이 전역 상태를 지속성으로 플러시하여 손상시킬 수 있다는 가정에 기반합니다. 미리 형성되지 않은 방법 풀기의

예 :

#include <iostream> 
#include <exception> 

namespace{ 
    struct foo{ 
     void change_state() noexcept 
     { 
      // change state and fail 
      throw std::exception(); 
     } 
     ~foo(){ 
      std::cout << "Destructor called, saved state corrupted!" <<std::endl; 
     } 
    }; 
} 


int main(){ 
    ::std::set_terminate([](){ 
     std::cout<< "Terminate called" <<std::endl; 
    }); 

    foo f; 
    f.change_state(); 
    return 0; 
} 

Working example of noexcept

Answer 1

1. 예. 함수는 throw 여부에 관계없이 상태, 기간을 손상시키지 않아야합니다. 예외가 throw되도록 이 필요하다는 사실은 중요하지 않습니다. [물론, 프로그램을 중단시키지 않을 것이라는 보장은 없습니다. 그러나 그런 종류의 행동은 문서화되어야합니다. ;-)]
2. Mu. 함수가 noexcept을 던질 것으로 예상되면 던지기를해서는 안됩니다. 그냥 std::terminate (또는 std::abort)으로 전화해야합니다.

Answer 2

noexcept 많이 해제 할 수없는 assert 처럼, 계약 보증이다. noexcept 으로 표시된 기능이 예외를 통해 종료하려고하면 사후 조건이 위반되었으며 아무 것도 계산할 수 없습니다. 프로그램은 종료됩니다. 따라서, 1은 거짓이다.

2는 더 어렵습니다. 구현은 noexcept과 함께 기능을 떠날 때까지 스택을 풀 수 있습니다. 이 스택을 더 풀어주지 못하도록하는 것은 적어도 100 % 명확하지 않습니다. 응용 프로그램을 정리하지 않고 종료하려는 경우 abort()으로 전화를 걸어 을 추가 작업없이 바로 종료하도록 보장합니다. 또한 은 다른 기능의 일부 보조 효과를 고려하여 이 아닌 정확히 무슨 일이 일어나는지 독자에게 알려줍니다.