В C++, там различие между “броском” и “броском исключая”?

[ C ++ FAQ Lite § 17.9 ] Что означает ; (без объекта исключения после ключевого слова throw )? Где мне его использовать?

Вы можете увидеть примерно такой код:

 class MyException {
общественность:
 ...
 void addInfo (const std :: string & info);
 ...
};

void f ()
{
 пытаться {
 ...
 }
 catch (MyException & e) {
 e.addInfo ("f () не удалось");
 бросить;
 }
}

В этом примере оператор throw; означает «повторно выбросить текущее исключение». Здесь функция перехватила исключение (по неконстантной ссылке), изменила исключение (добавив к нему информацию), а затем повторно выбросила исключение. Эту идиому можно использовать для реализации простой формы трассировки стека, добавив соответствующие предложения catch в важные функции вашей программы.

Другой идиомой повторного выброса является «диспетчер исключений»:

 void handleException ()
{
 пытаться {
 бросить;
 }
 catch (MyException & e) {
 ... код для обработки MyException ...
 }
 catch (YourException & e) {
 ... код для обработки исключения YourException ...
 }
}

void f ()
{
 пытаться {
 ... что-то, что может бросить ...
 }
 улов (...) {
 handleException ();
 }
}

Эта идиома позволяет повторно использовать одну функцию ( handleException () ) для обработки исключений в ряде других функций.

[ C ++ FAQ Lite § 17.11 ] Когда я выброшу этот объект, сколько раз он будет скопирован?

Зависит. Может быть «ноль».

Выбрасываемые объекты должны иметь общедоступный конструктор копирования. Компилятору разрешено генерировать код, который копирует брошенный объект любое количество раз, включая ноль. Однако даже если компилятор на самом деле никогда не копирует брошенный объект, он должен убедиться, что конструктор копирования класса исключения существует и доступен.

( отредактировано для большей ясности в том, что я считал очевидным ... )

catch (MyException & ex) {throw ex; } может копировать ex со всеми вытекающими из этого проблемами; catch (MyException & ex) {бросить; } не может.

Вы можете использовать форму throw; с catch (...) (то есть это единственный способ перебросить, если вы поймали поймать (...)).

Есть большая разница. Я написал об этом в своем блоге по адресу: https://cpptalk.wordpress.com/2009/08/23/nuances-of-exception-rethrow/

Приглашаем вас взглянуть

throw ex создаст еще одну копию и не рекомендуется использовать throw только для выброса текущего объекта исключения.

throw может вызывать нестандартный тип исключения, которое было перехвачено catch (...) ( например, структурированное исключение)

Кроме того, поскольку это иногда вызывает путаницу, простой выброс ; вне контекста обработки исключений прервет выполнение программы.

Если у вас есть иерархия исключений, throw ex может вырезать ваше исключение, а throw не будет. Например:

#include <iostream> 
#include <string> 

using namespace std; 

struct base 
{ 
  virtual string who() {return "base";} 
}; 

struct derived : public base 
{ 
  string who() {return "derived";} 
}; 

int main() { 
  try { 
    try { 
      throw derived(); // throws a 'derived'
    }  
    catch (base& ex)  
    { 
      throw ex; // slices 'derived' object to be a 'base' object
    } 
  } 
  catch (base& ex) 
  { 
    cout<<ex.who()<<endl; // prints 'base'
  } 
} 

Измените throw ex на просто throw , и вы получите результат , производный , что вы, вероятно, ожидали получить.