move constructor für std :: runtime_error

Question

Warum bietet std::runtime_error keinen Konstruktor an, der eine std::string&& akzeptiert? Betrachtet man the constructors for std::string, hat es einen Move-Konstruktor, aber die noexcept Spezifikation ist nur für C++ 14, nicht für C++ 11. War das ein Fehler, eine Frist, die verpasst wurde oder fehlt mir etwas?

Answer 1

explicit runtime_error(string&&);

existiert nicht, nur weil es jede Optimierung nicht bieten würde.

Wie sich herausstellt, speichert ein C++ 11-konformes runtime_error intern std::string nicht. Der Grund dafür ist, dass die Kopiermitglieder von runtime_error keine Ausnahmen auslösen dürfen. Andernfalls könnte die falsche Ausnahme ausgelöst werden, wenn der Compiler das Ausnahmebedingungsobjekt kopiert.

Dies bedeutet, dass runtime_error eine nicht veränderbare Referenzzählung speichern muss. C++ 11 verbietet jedoch die COW-Implementierung für std::string. Implementierungen von std::string sind zu einer "Short-String-Optimierung" übergegangen, die bei der Copy-Konstruktion zugewiesen werden muss, wenn die Länge des Strings über dem "Short-Limit" liegt. Und es gibt keine Begrenzung für die Länge der Strings, die für die Konstruktion eines runtime_error verwendet werden.

So effektiv C++ 11 (und nach vorn) enthält zwei Implementierungen von Strings:

1. std::string: Dies ist typischerweise ein kurzes String-optimierte Typ mit einem Copy-Konstruktor und Zuordnung kopieren, die in der Lage ist Ausnahmen werfen.

2. std::runtime_error: Dies ist (oder hält) eine unveränderliche Referenz gezählte Zeichenfolge. Dies wird niemals auf Kopierkonstruktion oder Kopierzuweisung übertragen.

Und

explicit runtime_error(string&&);

kann nie (effizient) Übertragungsressourcen vom "Typ 1" Zeichenfolge an den "Typ 2" string.