Warum std :: map find() wird nicht als noexcept deklariert?

Question

C++ 14-Standard definiert die find() Elementfunktionen std::map wie folgt:

iterator find(const key_type& x); 
const_iterator find(const key_type& x) const; 

Warum sind diese Funktionen nicht als noexcept definiert? Was könnte im Inneren schief gehen, das würde eine Ausnahme auslösen oder ein undefiniertes Verhalten erzeugen (außer, dass kein Element gefunden wird, in welchem ​​Fall die Funktion einen end Iterator zurückgibt und kein Ausnahmetest erforderlich wäre)?

Answer 1

find() basieren auf der Compare() Methode der Karte, die eine Ausnahme auslösen könnte (stellen Sie sich den Fall eines komplexen Schlüssels vor, der falsch sein könnte). Wir können also nicht sicher sein, dass find() keine Ausnahme auslöst.