бросить новый std :: exception vs throw std :: exception

глядя на код, на который я наткнулся:

throw /*-->*/new std::exception ("//...

и я всегда думал, что тебе здесь не нужно / не стоит использовать new.
Как правильно, оба в порядке, если да, есть ли разница?

Кстати, из того, что я вижу, когда "grepping" с помощью PowerShell boost libs никогда не использовал throw new.

PS также я нашел некоторый код CLI, который использует throw gcnew. Это нормально?

Обычный способ генерировать и перехватывать исключения - это генерировать объект исключения и перехватывать его по ссылке (обычно по constссылке). Язык C ++ требует, чтобы компилятор сгенерировал соответствующий код для создания объекта исключения и должным образом очистил его в подходящее время.

Создание указателя на динамически выделяемый объект - не лучшая идея. Предполагается, что исключения позволят вам написать более надежный код перед лицом ошибок. Если вы выбрасываете объект исключения обычным способом, вы можете быть уверены, что независимо от того, будет ли он пойман предложением catch с указанием правильного типа с помощью a catch (...), будет ли он затем повторно брошен или нет, он будет правильно уничтожен в соответствующее время. (Единственное исключение - ситуация, когда она вообще не обнаруживается, но это неустранимая ситуация, как бы вы на нее ни смотрели.)

Если вы бросаете указатель на динамически выделяемый объект, вы должны быть уверены, что независимо от того, как выглядит стек вызовов в момент, когда вы хотите выбросить свое исключение, есть блок catch, который называет правильный тип указателя и имеет соответствующий deleteвызов. Ваше исключение никогда не должно быть перехвачено, catch (...)если этот блок повторно не генерирует исключение, которое затем перехватывается другим блоком catch, который правильно обрабатывает исключение.

Фактически это означает, что вы взяли на вооружение функцию обработки исключений, которая должна упростить написание надежного кода, и очень затруднила написание кода, правильного во всех ситуациях. Это оставляет в стороне проблему, заключающуюся в том, что будет практически невозможно действовать как код библиотеки для клиентского кода, который не будет ожидать этой функции.

Нет необходимости использовать newпри выдаче исключения.

Просто пиши:

throw yourexception(yourmessage);

и поймать как:

catch(yourexception const & e)
{
      //your code (probably logging related code)
}

Обратите внимание, что это yourexceptionдолжно происходить std::exceptionпрямо или косвенно.

Бросок new std::exceptionявляется правильным, если сайт вызова ожидает поймать std::exception*. Но никто не рассчитывает поймать указатель на исключение. Даже если вы документируете, что делает ваша функция, и люди читают документацию, они все равно могут забыть и std::exceptionвместо этого попытаться поймать ссылку на объект.

В C ++ FAQ есть хорошее обсуждение этого:

1. https://isocpp.org/wiki/faq/exceptions#what-to-catch
2. https://isocpp.org/wiki/faq/exceptions#catch-by-ptr-in-mfc

В основном, «если нет веской причины не ловить по ссылке. Избегайте перехвата по значению, поскольку это приводит к созданию копии, и копия может иметь другое поведение, чем то, что было выброшено. Только в очень особых обстоятельствах вы можете ловить по указателю. "

Оператор new не может гарантировать, что он никогда не вызовет исключения. По этой причине использование его для выдачи «действительного» (предполагаемого) исключения приведет к созданию кода, который не может гарантировать сбой. Поскольку единовременно может быть только одно исключение, и ваша программа пытается сгенерировать два, прежде чем какое-либо из них может быть обнаружено, лучшее, что может сделать реализация, - это немедленно прервать вашу программу, например, вызвав std :: terminate.