shared_ptr magic :)

Ông Lidström và tôi đã có một cuộc tranh cãi :)

Tuyên bố của ông Lidström là một cấu trúc shared_ptr<Base> p(new Derived);không yêu cầu Base phải có một trình hủy ảo:

Armen Tsirunyan : "Thật sao? Liệu shared_ptr dọn dẹp một cách chính xác? Bạn có thể vui lòng trong trường hợp này chứng minh hiệu ứng đó có thể được thực hiện như thế nào?"

Daniel Lidström : " shared_ptr sử dụng trình hủy của chính nó để xóa phiên bản Concrete. Đây được gọi là RAII trong cộng đồng C ++. Lời khuyên của tôi là bạn nên tìm hiểu tất cả những gì có thể về RAII. Nó sẽ giúp việc viết mã C ++ của bạn dễ dàng hơn rất nhiều khi bạn sử dụng RAII trong mọi tình huống. "

Armen Tsirunyan : "Tôi biết về RAII và tôi cũng biết rằng cuối cùng trình hủy shared_ptr có thể xóa px được lưu trữ khi pn đạt đến 0. Nhưng nếu px có con trỏ kiểu tĩnh Basevà con trỏ kiểu động đến Derived, thì trừ khi Basecó trình hủy ảo, điều này sẽ dẫn đến hành vi không xác định. Hãy sửa cho tôi nếu tôi sai. "

Daniel Lidström : " shared_ptr biết kiểu tĩnh là Bê tông. Nó biết điều này từ khi tôi chuyển nó vào hàm tạo của nó! Có vẻ hơi giống phép thuật, nhưng tôi có thể đảm bảo với bạn rằng nó là do thiết kế và cực kỳ đẹp."

Vì vậy, hãy phán xét chúng tôi. Làm thế nào để có thể (nếu có) triển khai shared_ptr mà không yêu cầu các lớp đa hình phải có hàm hủy ảo? Cảm ơn trước

Có, có thể triển khai shared_ptr theo cách đó. Boost không và tiêu chuẩn C ++ 11 cũng yêu cầu hành vi này. Như một sự linh hoạt được bổ sung, shared_ptr quản lý nhiều hơn một bộ đếm tham chiếu. Một bộ phân định được gọi là thường được đưa vào cùng một khối bộ nhớ cũng chứa các bộ đếm tham chiếu. Nhưng phần thú vị là loại trình xóa này không phải là một phần của loại shared_ptr. Đây được gọi là "tẩy kiểu" và về cơ bản là cùng một kỹ thuật được sử dụng để triển khai "hàm đa hình" chức năng boost :: hoặc std :: để ẩn kiểu của trình điều khiển thực tế. Để làm cho ví dụ của bạn hoạt động, chúng tôi cần một hàm tạo mẫu:

template<class T>
class shared_ptr
{
public:
   ...
   template<class Y>
   explicit shared_ptr(Y* p);
   ...
};

Vì vậy, nếu bạn sử dụng điều này với các lớp Cơ sở và Có nguồn gốc ...

class Base {};
class Derived : public Base {};

int main() {
   shared_ptr<Base> sp (new Derived);
}

... hàm tạo mẫu với Y = Derived được sử dụng để xây dựng đối tượng shared_ptr. Do đó, phương thức khởi tạo có cơ hội tạo đối tượng deleter thích hợp và các bộ đếm tham chiếu và lưu trữ một con trỏ tới khối điều khiển này như một thành viên dữ liệu. Nếu bộ đếm tham chiếu bằng 0, bộ xóa nhận biết được tạo trước đó và có nguồn gốc sẽ được sử dụng để loại bỏ đối tượng.

Tiêu chuẩn C ++ 11 có những điều sau đây để nói về hàm tạo này (20.7.2.2.1):

Yêu cầu: p phải có thể chuyển đổi thành T*. Ysẽ là một loại hoàn chỉnh. Biểu thức delete pphải được hình thành tốt, phải có hành vi được xác định rõ ràng và sẽ không có ngoại lệ.

Tác dụng: xây dựng một shared_ptrđối tượng mà sở hữu con trỏ p.

…

Và đối với trình hủy (20.7.2.2.2):

Tác dụng: Nếu *thislà trống hoặc cổ phiếu sở hữu với một shared_ptrví dụ ( use_count() > 1), không có tác dụng phụ. Ngược lại, if *thissở hữu một đối tượng pvà một bộ phân định d, d(p)được gọi. Ngược lại, if *thissở hữu một con trỏ p, và delete pđược gọi.

(nhấn mạnh sử dụng phông chữ đậm là của tôi).

Khi shared_ptr được tạo, nó sẽ lưu trữ một đối tượng deleter bên trong chính nó. Đối tượng này được gọi khi shared_ptr sắp giải phóng tài nguyên trỏ. Vì bạn biết cách phá hủy tài nguyên tại thời điểm xây dựng, bạn có thể sử dụng shared_ptr với các loại chưa hoàn chỉnh. Ai đã tạo shared_ptr đã lưu trữ một trình phân tách chính xác ở đó.

Ví dụ: bạn có thể tạo trình xóa tùy chỉnh:

void DeleteDerived(Derived* d) { delete d; } // EDIT: no conversion needed.

shared_ptr<Base> p(new Derived, DeleteDerived);

p sẽ gọi DeleteDerived để hủy đối tượng được trỏ. Việc triển khai thực hiện điều này tự động.

Đơn giản,

shared_ptr sử dụng hàm deleter đặc biệt được tạo bởi hàm tạo luôn sử dụng hàm hủy của đối tượng đã cho chứ không phải hàm hủy của Base, đây là một chút công việc với lập trình meta mẫu, nhưng nó hoạt động.

Đại loại vậy

template<typename SomeType>
shared_ptr(SomeType *p)
{
   this->destroyer = destroyer_function<SomeType>(p);
   ...
}