konstruktor ruchu dla std :: runtime_error

Question

Dlaczego std::runtime_error nie dostarcza konstruktora akceptującego std::string&&? Patrząc na the constructors for std::string, ma konstruktor ruchu, ale specyfikacja noexcept jest dostępna tylko dla C++ 14, a nie C++ 11. Czy to był błąd, nieosiągalny termin, czy coś mi brakuje?

Answer 1

explicit runtime_error(string&&);

nie istnieje tylko dlatego, że nie zapewniają żadnej optymalizacji.

Okazuje się, że zgodny z C++ 11 runtime_error nie przechowuje wewnątrz urządzenia std::string. Powodem jest to, że członkowie kopii runtime_error nie mogą zgłaszać wyjątków. W przeciwnym razie niewłaściwy wyjątek mógłby zostać zgłoszony, gdy kompilator skopiuje obiekt wyjątku podczas jego rzucania.

Oznacza to, że runtime_error musi przechowywać niezmienny łańcuch referencyjny zliczany. Jednak C++ 11 zakazuje implementacji COW dla std::string. Implementacje std::string przeszły do ​​"optymalizacji krótkich łańcuchów", która musi zostać przydzielona przy konstrukcji kopii, jeśli długość struny przekracza "krótki limit". I nie ma ograniczenia długości łańcuchów używanych do konstrukcji runtime_error.

Tak skutecznie C++ 11 (i do przodu) zawiera dwie implementacje ciągi:

1. std::string: Jest to zazwyczaj krótki ciąg zoptymalizowane typ z konstruktora kopii i skopiować zadanie, które jest w stanie rzucanie wyjątków.

2. std::runtime_error: Jest to (lub zawiera) niezmienny łańcuch zliczany z referencjami. To nigdy nie rzuci się na tworzenie kopii ani kopiowanie zadań.

I

explicit runtime_error(string&&);

może nigdy (efektywnie) Zasoby transferu z "typu 1" string do "typu 2" string.