主页 / 问题 / 595525
Accepted
ampawd
Asked:2020-11-25 03:42:48 +0000 UTC2020-11-25 03:42:48 +0000 UTC

为什么 shared_ptr 不允许隐式指针转换？

  • 772

此代码无法编译：

std::shared_ptr<MyType> pi = new MyType[5];

相反，由于声明了构造函数shared_ptr，explicit您必须编写：

std::shared_ptr<MyType> pi(new MyType[5]);

至少我觉得不方便。

这样设计的原因是什么？

这有什么好处？

c++

3 个回答

  1. Best Answer

    假设我们有一个接受智能指针的函数：

    void foo(std::shared_ptr<Mytype> data){
    //...
}

    然后这段代码会导致资源被移除，虽然我们不是故意的：

    MyType *object = new MyType();
foo(object);

    当函数被调用时，会创建一个智能指针，当它退出时，会删除它所拥有的对象。它会在没有任何警告的情况下编译。

    • 10

  2. explicit需要避免意外的类型转换。例如，您的函数如下所示：

    void f(std::shared_ptr<int> p) { ... }

    你这样称呼它：

    int i;
f(&i);

    如果没有构造函数explicit，代码可以编译，但会出现运行时错误（通常是未定义的行为）。析构函数std::shared_ptr将调用delete位于堆栈上的对象。

    为了避免这种情况，构造函数是显式的explicit。

    通常，能够将任何指针绝对隐式转换为智能（即资源拥有）指针类型是危险的，因为 事先不知道传输的地址是什么。当程序员显式地将指针转换为智能类型时，他会毫不含糊地传达他的意图。拥有explicit 一个带有智能指针的类构造函数使得这个要求成为强制性的。此外，对于标准库中的所有类型的智能指针都是如此：unique_ptr，shared_ptr甚至已经过时的智能指针也是采用普通指针类型的构造函数auto_ptr。explicit

    • 4

  3. 首先：您的代码具有未定义的行为，std::shared_ptr它不能（在 C++17 之前）使用默认删除函数删除数组。因此，内部指针将被删除delete，而不是delete[]。

    其次，在 C++ 中创建智能指针的惯用方法是使用make_*. 特别是，std::shared_ptr为此std::make_shared；它不仅更方便，而且在使用 c 的情况下也更高效（您可以在我的文章std::shared_ptr中阅读相关内容）。

    一般来说，随着智能指针的出现，new/delete不应该出现在代码中，除非极少数情况，通常在编写您自己的库时可能会出现这种情况。或者内存管理器。

    至于具体的问题，为什么：允许隐式转换为拥有指针会产生比解决问题更多的问题。一个人必须明确地表明他们创建拥有指针的意图。

    • 3

相关问题