c++ - noexcept 和可靠性保证

Question

最近我试图回答我认为会是 simple question 的问题在 noexcept 异常规范上。最终结果是我发现我对 noexcept 的基本理解是错误的。

阅读时the current draft standard为了纠正我的误解，我发现自己问了一些关于 noexcept 的问题，但没有得到回答 here .

1. 是否应该将 noexcept 视为一种安全保证，即函数在调用时不仅不会抛出而且不会破坏状态？
2. 假设 (1.) 为假:使用 noexcept 作为可移植 FailFast 是否正确？终止应用程序而不进行清理以防止保存的状态损坏？

对 (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. 是的。函数不应该破坏状态、期间，无论它是否抛出。它可能想要抛出异常这一事实并不重要。 [当然，不能保证不会让程序崩溃。不过，这种行为可能应该被记录下来。 ;-)]
2. 穆。如果函数希望通过 noexcept 抛出，则它不应该抛出异常；它应该只调用 std::terminate(或 std::abort)。