Есть ли какая-нибудь разница между throw() и noexcept, кроме проверки во время выполнения и во время компиляции, соответственно?
В этой статье Википедии о C ++ 11 говорится, что C ++ 03 выбрасывает спецификаторы устарели.
Почему так, достаточно ли noexcept, чтобы покрыть все это во время компиляции?
[Примечание: я проверил этот вопрос и эта статья, но не удалось определить вескую причину прекращения поддержки.]
Спецификаторы исключений устарели, потому что спецификаторы исключений, как правило, ужасная идея. noexcept был добавлен, потому что это единственное разумно полезное использование спецификатора исключения: знание того, когда функция не генерирует исключение. Таким образом, это становится двоичным выбором: функции, которые будут генерировать и функции, которые не будут выбрасывать.
noexcept был добавлен вместо того, чтобы просто удалить все спецификаторы выброса, кроме throw(), потому что noexcept более мощный. noexcept может иметь параметр, который во время компиляции преобразуется в логическое значение. Если логическое значение истинно, то noexcept остается. Если логическое значение ложно, то noexcept не закрепляется, и функция может выбросить.
Таким образом, вы можете сделать что-то вроде этого:
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 дает какие-либо преимущества (кроме проверенной компилятором документации).
- person hmjd; 20.02.2013
noexcept и читал несколько вопросов / ответов по этому поводу. Самая важная причина, по которой я обнаружил, заключалась в том, что некоторые (возможно, все) контейнеры STL не будут использовать конструктор перемещения, если он не объявлен как noexcept, чего я не осознавал.
- person hmjd; 21.02.2013
noexcept - это гарантия. Если исключение пытается покинуть любую функцию, равную noexcept, будет вызвана std::terminate.
- person Nicol Bolas; 26.08.2013
std::terminate. что ХУЖЕ! код может проникнуть в выпуски, в которых функции отмечены noexcept, и во время выполнения (то есть на сайтах клиентов) обнаруживаются нарушения. Я имел в виду, что компилятор гарантирует создание кода, который вообще не генерирует исключения.
- person Alexander Oh; 26.08.2013
noexcept. Язык полагается, что вы либо вызовете эти функции таким образом, чтобы они не вызывали выбросы, либо что вы вызовете эти функции таким образом, что вы поймаете любые исключения, которые они генерируют. Нет причин заставлять программистов на C ++ ограничиваться только функциями, явно помеченными noexcept. Это сломало бы тонны кода.
- person Nicol Bolas; 26.08.2013
throws(), то при возникновении исключения стек необходимо развернуть до области действия этой функции (чтобы все автоматические переменные в функции были уничтожены), в этот момент вызывается terminate() (через unexpected() ). Если функция помечена noexcept, то при возникновении исключения вызывается terminate (разворачивание стека определяется реализацией).
- person Martin York; 17.09.2013
throw() на noexcept было в этом нет необходимости.
- person curiousguy; 27.10.2019
noexcept не проверяется во время компиляции.
Реализация не должна отклонять выражение только потому, что при выполнении оно вызывает или может вызвать исключение, которое не позволяет функция-контейнер.
Когда объявленная функция noexcept или throw() пытается вызвать исключение, единственное различие состоит в том, что одна вызывает terminate, а остальные вызывает unexpected, а последний стиль обработки исключений фактически устарел.
std::unexpected() вызывается средой выполнения C ++, когда нарушается спецификация динамического исключения: исключение выбрасывается из функции, спецификация исключения которой запрещает исключения этого типа.
std::unexpected() также можно вызывать прямо из программы.
В любом случае std::unexpected вызывает установленный в данный момент std::unexpected_handler. По умолчанию std::unexpected_handler вызывает std::terminate.
noexceptмогут потребоваться проверки во время выполнения. Основное различие между ними в том, что взломnoexceptвызываетstd::terminate, а взломthrowвызываетstd::unexpected. Также в этих случаях немного другое поведение при раскручивании стека. - person Fiktik schedule 11.10.2012