Insbesondere ist mir aufgefallen, daß beinahe jede Methode ein std::bad_alloc deklarieren müßte, weil man ja fast überall auf dynamische Speicherallokation angewiesen ist (und sei es auch nur indirekt, z. B. durch Manipulation von Containern, strings etc.). Irgendwie gibt man dadurch aber Implementationsdetails preis; für den Aufrufer ist ja nicht immer offensichtlich, ob und warum eine Methode auf dynamische Allokation angewiesen ist.

Gibt es dazu allgemein anerkannte Regeln? Für welche Methoden verwendet ihr Ausnahmespezifikationen?

Übrigens: Wenn du verhindern willst, daß interne Geheimnisse (was ist eigentlich so geheim an der Tatsache, daß du was auf dem Heap vorhast?) nach außen kommen, kannst du die möglichen Exceptions auch selber abfangen und auswerten/entschärfen.

Also ich würde keine Exception-Spezifikationen verwenden - wenn du dagegen verstößt, sieht das idR übler aus als wenn du gar keine Spezifikation gestellt hast.

Ich bin bemüht, jede Eventualität zu bedenken! Ich denke schon, daß eine Ausnahmespezifikation die Benutzung einer Bibliothek erleichtert, weil sich der Benutzer auf die Menge möglicher Ausnahmen verlassen kann.

CStoll schrieb:

was ist eigentlich so geheim an der Tatsache, daß du was auf dem Heap vorhast?

Wenn ich eine Kleinigkeit an der Implementierung ändere, also z. B. einen lokalen std::string verwende, kann plötzlich die Deklaration von std::bad_alloc notwendig werden. Dann werden also Änderungen an der Schnittstelle nötig. Das schreckt mich ab.

int worker() throw(user_exception)
{
  try
  {
    ...
  }
  catch(std::bad_alloc& e)
  {
    throw user_exception("Zu wenig Speicher");
    //oder
    return -1;
  }
}

(und schon sieht der Anwender deiner Funktion keine bad_alloc-Fehler mehr)

PS: Du kannst auch std::exception in die Spezifikation aufnehmen, das umfasst alle Fehlersituationen, die in der Standardbibliothek vorkommen können.

http://gotw.ca/publications/mill22.htm
http://cpptips.hyperformix.com/cpptips/except_spec_no
http://www.boost.org/more/lib_guide.htm#Exception-specification