di chuyển hàm tạo cho std :: runtime_error

Question

Tại sao std::runtime_error không cung cấp một hàm tạo chấp nhận một std::string&&? Nhìn vào the constructors for std::string, nó có một hàm tạo di chuyển, nhưng đặc tả noexcept chỉ có cho C++ 14, chứ không phải C++ 11. Đây có phải là một sai lầm, một thời hạn đã bị bỏ lỡ hoặc tôi thiếu một cái gì đó?

Answer 1

explicit runtime_error(string&&);

không tồn tại đơn giản chỉ vì nó sẽ không cung cấp bất kỳ tối ưu hóa.

Khi nó quay ra, một C++ 11 phù hợp runtime_error không lưu trữ nội bộ std::string. Lý do là các thành viên sao chép của runtime_error không được ném ngoại lệ. Nếu không thì ngoại lệ sai có thể bị ném khi trình biên dịch sao chép đối tượng ngoại lệ trong quá trình ném nó.

Điều này ngụ ý rằng runtime_error cần lưu trữ chuỗi được tính tham chiếu không thể thay đổi. Tuy nhiên, C++ 11 ngoại lệ việc triển khai COW cho std::string. Việc triển khai std::string đã chuyển sang "tối ưu hóa chuỗi ngắn" phải phân bổ trên bản sao xây dựng nếu độ dài của chuỗi vượt quá "giới hạn ngắn". Và không có giới hạn về độ dài của chuỗi được sử dụng để xây dựng một runtime_error.

Vì vậy, hiệu quả C++ 11 (và chuyển tiếp) chứa hai triển khai các chuỗi:

1. std::string: Đây thường là một loại ngắn chuỗi được tối ưu hóa với một constructor sao chép và sao chép phân có khả năng ném ngoại lệ.

2. std::runtime_error: Đây là (hoặc giữ) chuỗi được tính tham chiếu không thể thay đổi. Điều này sẽ không bao giờ ném vào việc sao chép hoặc sao chép bài tập.

Và

explicit runtime_error(string&&);

có thể không bao giờ (hiệu quả) nguồn lực chuyển từ "loại 1" chuỗi các "loại 2" chuỗi.