Tại sao một con trỏ thông minh không thể gọi hàm new() cho tôi trong hàm tạo của nó?

Question

Có thể viết một con trỏ thông minh phân bổ chính đối tượng trong hàm tạo của nó - thay vì nhà phát triển phải gọi new? Nói cách khác, thay vì viết:

std::unique_ptr<myClass> my_ptr(new myClass(arg1, arg2))

... người ta có thể viết:

std::smarter_ptr<myClass> my_ptr(arg1, arg2)

là cú pháp ngôn ngữ có khả năng thể hiện này? Điều này có được mong muốn không? Hiếm? Tôi đang nghĩ đến đặc biệt bảo vệ chống lại sai lầm này (mà tôi đã thực hiện bản thân mình, tất nhiên):

myFunction(std::unique_ptr<myClass>(new myClass()), std::unique_ptr<myClass>(new myClass()))

... mà có nguy cơ bị rò rỉ bất cứ đối tượng được phân bổ đầu tiên nếu việc phân bổ thứ hai xảy ra và ném trước khi đối tượng đầu tiên được giữ an toàn trong con trỏ thông minh của nó. Nhưng một con trỏ thông minh hơn có thực sự làm việc này an toàn không?

Answer 1

Xem xét triển khai make_shared(). Nó làm điều này phân bổ một đối tượng mới và tạo ra một shared_ptr trong số đó.

Answer 2

Điều này là mới có thể với C++ 11 được thêm perfect forwarding và mẫu variadic.

Answer 3

Về cơ bản, vấn đề đó là cần thiết std::find và std::find_if. Bạn không thể phân biệt ctor này với các ctors hiện tại của shared_ptr trong trường hợp new myClass(arg1). Số lượng đối số bằng nhau và arg1 có thể có bất kỳ loại nào.

Vì vậy, bạn cần một cái tên khác, và đó là make_shared

Answer 4

Nói chung, điều này không thể được thực hiện với nhà xây dựng một con trỏ thông minh của; sẽ có một sự mơ hồ về việc liệu một đối số con trỏ có nên được sử dụng để initalise con trỏ thông minh hay chuyển tiếp để tạo một đối tượng mới.

Nó có thể được thực hiện với một chức năng nhà máy, ví dụ:

template <typename T, typename... Args> 
std::unique_ptr<T> make_unique(Args&&... args) { 
    return std::unique_ptr<T>(new T(std::forward<Args>(args)...)); 
} 

Nếu bạn đang sử dụng std::shared_ptr, sau đó bạn có thể sử dụng std::make_shared. Điều này cũng mang lại lợi thế là chỉ yêu cầu phân bổ bộ nhớ, trong đó std::shared_ptr<T>(new T) sẽ yêu cầu một đối tượng và một giây cho số tham chiếu được chia sẻ.