Làm thế nào để vượt qua deleter để make_shared?

Question

Vì C++ 11, vì nhiều lý do, các nhà phát triển có xu hướng sử dụng các lớp con trỏ thông minh cho các đối tượng sống động. Và với những lớp con trỏ thông minh mới, tiêu chuẩn, thậm chí đề nghị không sử dụng các nhà khai thác như new thay vào đó họ đề nghị sử dụng make_shared hoặc make_unique để tránh một số lỗi dễ xảy ra.

Nếu chúng ta muốn sử dụng một lớp con trỏ thông minh, giống như shared_ptr, chúng ta có thể xây dựng một mặt hàng như,

shared_ptr<int> p(new int(12)); 

Ngoài ra chúng tôi muốn vượt qua một deleter tùy chỉnh để thông minh lớp con trỏ,

shared_ptr<int> p(new int(12), deleter); 

Mặt khác, nếu chúng tôi muốn sử dụng make_shared để phân bổ, ví dụ: int, thay vì sử dụng new và shared_ptr constructor, giống như trên các biểu hiện đầu tiên ở trên, chúng ta có thể sử dụng

auto ip = make_shared<int>(12); 

Nhưng nếu chúng ta thích cũng phải vượt qua một deleter tùy chỉnh để make_shared, là có một cách đúng đắn để làm điều đó? Có vẻ như trình biên dịch, ít nhất là gcc, đưa ra lỗi,

auto ip = make_shared<int>(12, deleter); 

Answer 1

Như những người khác đã nói, make_shared không thể được sử dụng với một deleter tùy chỉnh. Nhưng tôi muốn giải thích tại sao.

Đường dẫn tùy chỉnh tồn tại vì bạn đã phân bổ con trỏ theo một số cách đặc biệt và do đó bạn cần có khả năng giải quyết nó theo cách đặc biệt tương ứng. Vâng, make_shared phân bổ con trỏ với new. Đối tượng được phân bổ với new phải được deallocated với delete. Mà các deleter tiêu chuẩn dutifully nào.

Tóm lại, nếu bạn có thể sống với hành vi phân bổ mặc định, bạn cũng có thể sống với hành vi mặc định deallocation. Và nếu bạn không thể sống với hành vi phân bổ mặc định, bạn nên sử dụng allocate_shared, sử dụng phân bổ được cung cấp cho cả việc phân bổ và xử lý lưu trữ.

Ngoài ra, make_shared được phép (và gần như chắc chắn sẽ) cấp phát bộ nhớ cho T và khối điều khiển cho shared_ptr trong cùng một phân bổ. Đây là điều mà deleter của bạn không thể thực sự biết hoặc đối phó với. Trong khi allocate_shared có khả năng xử lý nó, kể từ khi cấp phát bạn cung cấp có thể làm nhiệm vụ phân bổ và deallocation.

Answer 2

Bạn không thể. make_shared<T> chuyển tiếp các đối số đã cung cấp cho hàm tạo của loại T. Nó được sử dụng cho các trường hợp đơn giản khi bạn muốn các deleter mặc định.

Answer 3

Kể từ số documentation, make_shared chấp nhận danh sách đối số mà một phiên bản T sẽ được xây dựng.
Hơn nữa, các tài liệu nói rằng:

Chức năng này thường được sử dụng để thay thế cho std xây dựng :: shared_ptr (mới T (args ...)) của một con trỏ được chia sẻ từ con trỏ liệu trả về bởi một cuộc gọi mới.

Do đó, bạn có thể suy ra rằng bạn không thể đặt deleter tùy chỉnh.
Để thực hiện điều đó, bạn phải tự tạo shared_ptr cho chính mình bằng cách sử dụng đúng constructor.
Như một ví dụ của một nhà xây dựng từ danh sách đề xuất, bạn có thể sử dụng:

template< class Y, class Deleter > 
shared_ptr(Y* ptr, Deleter d); 

Do đó, mã sẽ được giống như:

auto ptr = std::shared_ptr(new MyClass{arg1, arg2}, myDeleter); 

Thay vì:

auto ptr = std::make_shared<MyClass>(arg1, arg2); 

Answer 4

Không xác định cách thức make_shared lấy bộ nhớ cho đối tượng (có thể sử dụng operator new hoặc malloc hoặc một số loại cấp phát) để không có cách nào một chuyên gia tùy chỉnh biết cách làm đúng. make_shared tạo đối tượng, vì vậy bạn cũng phải dựa vào nó để tiêu diệt đối tượng một cách chính xác và làm sạch thích hợp, bất kể đó là gì.

Cũng chúng tôi muốn vượt qua một deleter tùy chỉnh để các lớp con trỏ thông minh,

shared_ptr<int> p(new int(12), deleter);

tôi không nghĩ rằng đây là một ví dụ rất thực tế. Một deleter tùy chỉnh thường được sử dụng khi tài nguyên được lấy theo một số cách đặc biệt. Nếu bạn chỉ cần tạo ra nó với new như thế này thì tại sao bạn cần một deleter tùy chỉnh anyway?

Nếu bạn chỉ muốn một số mã được chạy trên phá hủy sau đó đặt nó trong một destructor! Bằng cách đó bạn vẫn có thể sử dụng nó với make_shared ví dụ:

struct RunSomethingOnDestruction { 
    RunSomethingOnDestruction(int n) : i(n) { } 
    ~RunSomethingOnDestruction() { /* something */ } 
    int i; 
}; 

auto px = std::make_shared<RunSomethingOnDestruction>(12); 
std:shared_ptr<int> p(px, px->i); 

này mang đến cho bạn một shared_ptr<int> đó được tạo ra bởi make_shared (để bạn có được optimisations bộ nhớ thực hiện bằng cách make_shared) mà sẽ chạy một số mã tùy chỉnh trên sự hủy diệt.