гарантии 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. Mu. Функция не должна мешать бросать, если она ожидает бросить через noexcept; он должен просто позвонить std::terminate (или std::abort).

Answer 2

noexcept договорной гарантии, так же, как assert , который не может быть выключен. Если функция с пометкой noexcept пытается выйти из-за исключения, то пост-условие было нарушено , и вы не можете рассчитывать на что-либо; программа будет завершена. Таким образом, 1 ложно.

Что касается 2, это сложнее. Реализация может развернуть стеки до тех пор, пока она не попытается оставить функцию с noexcept; это не на 100% ясно (по крайней мере для меня), что он может не разматывать стек дальше. Если я хочу закончить приложение без очистки, я позвоню abort(), то есть гарантированно выйдет немедленно без каких-либо дальнейших действий. Он также сообщает читателю, что именно происходит, а не , рассчитывая на некоторый вторичный эффект другой функции.