Các phần tử chứa STL có được yêu cầu rõ ràng là không thể loại bỏ được không?

Question

C++ 11 (và C++ 14) STL container có noexcept destructors và clear() chức năng thành viên.

Điều này ngụ ý rằng các phần tử cũng cần phải có noexcept destructors hoặc ít nhất là các phần tử thực được lưu trữ trong vùng chứa không được ném bất kỳ ngoại lệ nào khi bị hủy - hoặc chính xác hơn là cuộc gọi allocator_traits<Allocator>::destroy tương ứng không được ném.

Đây có phải là quy định như một yêu cầu (một cách rõ ràng hay ngụ ý bởi một yêu cầu rõ ràng) bất cứ nơi nào trong tiêu chuẩn? Nếu không, tại sao?

Tôi biết is_nothrow_constructible yêu cầu một số noexcept destructor, nhưng chỉ riêng is_constructible và yêu cầu vùng chứa được chỉ định theo khái niệm thay vì nhập mẫu đặc điểm.

Answer 1

17.6.4.8/1 Trong những trường hợp nhất định (chức năng thay thế, chức năng xử lý, hoạt động trên các loại sử dụng để nhanh chóng chuẩn thành phần thư viện mẫu), cáC++ thư viện chuẩn C phụ thuộc vào thành phần được cung cấp bởi một chương trình C++. Nếu các thành phần này không đáp ứng các yêu cầu của chúng, Tiêu chuẩn đặt không yêu cầu thực hiện .

17.6.4.8/2 Đặc biệt, hiệu ứng được định nghĩa trong các trường hợp sau:

...

• nếu có chức năng thay thế hoặc chức năng xử lý hoặc hoạt động destructor thoát qua một ngoại lệ , trừ khi được cho phép cụ thể trong áp dụng Hành vi bắt buộc: đoạn.