Loại Deleter trong unique_ptr và shared_ptr

Question

Tôi nghĩ rằng nó rất tò mò khi tôi phát hiện ra rằng tiêu chuẩn định nghĩa std::unique_ptr và std::shared_ptr theo hai cách hoàn toàn khác nhau liên quan đến Deleter mà con trỏ có thể sở hữu. Đây là tuyên bố từ cppreference::unique_ptr và cppreference::shared_ptr:

template< 
    class T, 
    class Deleter = std::default_delete<T> 
> class unique_ptr; 

template< class T > class shared_ptr; 

Như bạn có thể thấy unique_ptr "tiết kiệm" các loại của các Deleter đối tượng làm mẫu đối số. Điều này cũng có thể được nhìn thấy trong cách Deleter được lấy từ con trỏ sau này:

// unique_ptr has a member function to retrieve the Deleter 
template< 
    class T, 
    class Deleter = std::default_delete<T> 
> 
Deleter& unique_ptr<T, Deleter>::get_deleter(); 

// For shared_ptr this is not a member function 
template<class Deleter, class T> 
Deleter* get_deleter(const std::shared_ptr<T>& p); 

Ai đó có thể giải thích lý do đằng sau sự khác biệt này? Tôi rõ ràng ủng hộ khái niệm cho unique_ptr tại sao điều này không được áp dụng cho shared_ptr? Ngoài ra, tại sao get_deleter là một chức năng không phải là thành viên trong trường hợp sau?

Answer 1

đây bạn có thể tìm thấy những đề nghị ban đầu cho con trỏ thông minh: http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2003/n1450.html

Nó trả lời câu hỏi của bạn khá chính xác:

Kể từ khi deleter không phải là một phần của các loại, thay đổi chiến lược phân bổ không phá vỡ nguồn hoặc khả năng tương thích nhị phân, và không yêu cầu biên dịch lại máy khách.

này cũng rất hữu ích vì cung cấp cho các khách hàng của std::shared_ptr một số linh hoạt hơn, ví dụ shared_ptr hợp với deleters khác nhau có thể được lưu trữ trong cùng một container.

Ngoài ra, vì việc triển khai shared_ptr cần chia sẻ khối bộ nhớ chia sẻ (vì lưu trữ số tham chiếu) và vì có một số chi phí cần thiết so với các con trỏ thô, việc thêm deleter loại không phải là một vấn đề lớn đây. Mặt khác,

unique_ptr không có chi phí và mọi trường hợp phải nhúng dấu phân cách của nó, do đó, làm cho nó trở thành một phần của loại đó là điều tự nhiên cần làm.