Question

为什么以下代码编译

shared_ptr<parent> p(new parent);

而下面的不是

shared_ptr<parent> p2 = new parent;

是否有任何理由不允许'='符号表示shared_ptr？

一般来说，如果像

这样的指针

int *p = new int;

应与

相同

int *p(new int);

不是吗？

Answer 1

std::shared_ptr的“指针接收”构造函数被声明为explicit。

template< class Y >
explicit shared_ptr( Y* ptr );

这样，您就无法使用复制初始化（shared_ptr<parent> p2 = new parent;）。

我能够认为std::shared_ptr的构造函数为explicit的原因的最佳原因是你不太可能犯错误，将std::shared_ptr对象的原始非托管文件传递给函数接收std::shared_ptr。

#include <memory>


void func(std::shared_ptr<int> ptr) { /* ... */}

int main() {
    auto iptr = std::make_shared<int>();
    func(iptr);  // OK

    /*
    int* iptr = new int;
    func(iptr);  // Unclear who would eventually manage (delete) the pointer
    // ...
    delete iptr; // Undefined behavior!
    */
}

如果构造函数未成为explicit，那么您可以执行注释掉的代码。

另外，正如@R。 Martinho Fernandes已suggested，如果传递非new指针，则可能会遇到问题。

int myint;
int* iptr = &myint;
func(iptr);  // iptr doesn't point to a newed (dynamically-allocated) object
             //   std::shared_ptr, by default, uses delete on its managed pointer
             //   if there are no more references to that pointer

如果你在使用两个单独的std::shared_ptr来管理原始指针时不小心，你仍然可以做错。

int* riptr = new int;
std::shared_ptr<int> iptr(riptr);
std::shared_ptr<int> iptr2(riptr); // WRONG!

关于原始指针的问题，两者基本相同，但不一定适用于std::shared_ptr。

Answer 2

因为将指针作为单个参数的构造函数是显式，所以不能使用此处的分配符号，因为它被认为是 implicit conversion 。

你也可以在这里使用便利函数make_shared（）：

std::shared_ptr<parent> p2 = std::make_shared<parent>();

这种创建方式更快更安全，因为它使用one代替two allocations：一个用于对象，另一个用于共享指针用于控制对象的共享数据。

shared_ptr with = symbol不允许

2 个答案: