TS
Там можно вроде пометиь деструктор мембер переменной как кидайщий исключения, тогда и дефолтный деструктор будет кидать вроде как, но это не точно
Я не читал текст английский,
Size: a a a
2020 April 18
O
а что если это исключение будет отловлено функцией выше?
Ничего, откуда нам знать, что оно было кинуто или отловлено?
RM
Ничего, откуда нам знать, что оно было кинуто или отловлено?
Я просто пытаюсь понять, как программа будет отрабатывать, пойду тестану
RM
не уверен, что мои тесты будут верными
Е
Я предполагаю что если soo бросит исключение, то в boo (noexcept) произойдет terminate? Даже если foo выше пытается ловить throw
если деструктор кидающий исключение вызван во время раскручивания стека то терминейт
RM
если деструктор кидающий исключение вызван во время раскручивания стека то терминейт
А если это просто функции, как в примере выше
O
Я просто пытаюсь понять, как программа будет отрабатывать, пойду тестану
Если не кидать исключения — ошибок не будет
/¯
Non-throwing functions are permitted to call potentially-throwing functions. Whenever an exception is thrown and the search for a handler encounters the outermost block of a non-throwing function, the function std::terminate is called:Удобно. Тогда ясно зачем libstdc++ делает двухфазовый проход по стеку при обработке эксепшена
Е
А если это просто функции, как в примере выше
ну они в деструкторе вызываются7
RM
ну они в деструкторе вызываются7
Нет
RM
ну они в деструкторе вызываются7
Представь что в main вызывается foo
Е
Нет
тогда зачем вы о деструкторах говорите я не пойму
RM
тогда зачем вы о деструкторах говорите я не пойму
Мы рассматривали все варианты поведения noexcept
Е
-fno-exceptions и дело с концом
O
Да я вот после ссылки Тилля не уверен в правдивости этой цитаты, ибо:
Non-throwing functions are permitted to call potentially-throwing functions. Whenever an exception is thrown and the search for a handler encounters the outermost block of a non-throwing function, the function std::terminate is called:
и
a noexcept specification is violated (it is implementation-defined whether any stack unwinding is done in this case)
несколько противоречиво звучат...
Non-throwing functions are permitted to call potentially-throwing functions. Whenever an exception is thrown and the search for a handler encounters the outermost block of a non-throwing function, the function std::terminate is called:
и
a noexcept specification is violated (it is implementation-defined whether any stack unwinding is done in this case)
несколько противоречиво звучат...
/¯
[except.spec]
8 The exception specification for an implicitly-declared destructor, or a destructor without a noexcept-specifier, is potentially-throwing if and only if any of the destructors for any of its potentially constructed subobjects is potentially-throwing...
Отсюда и следует. Моя ошибка была в том, что я полагал, что noexcept(false) вообще запрещен для деструкторов
8 The exception specification for an implicitly-declared destructor, or a destructor without a noexcept-specifier, is potentially-throwing if and only if any of the destructors for any of its potentially constructed subobjects is potentially-throwing...
Отсюда и следует. Моя ошибка была в том, что я полагал, что noexcept(false) вообще запрещен для деструкторов
TS
-fno-exceptions и дело с концом
Знаешь, что будет при кидании исключения???
Е
Знаешь, что будет при кидании исключения???
будет бомба 😎
TS
будет бомба 😎
Terminate
