shared_ptr 的原始指针构造函数是错误的吗？

事后看来，鉴于make_shared, would shared_ptr是否有一个采用原始指针的构造函数（如果它是在 C++11 中引入的）？

是否有强有力的论据或用例支持此构造函数？

它将避免有据可查的陷阱异常安全 https://herbsutter.com/gotw/_102/和内存分配/性能优势 http://en.cppreference.com/w/cpp/memory/shared_ptr#Implementation_notes使用的make_shared.

我相信要求的另一个好处shared_ptr施工通过make_shared它可能是幕后的单个指针，降低其内存使用量并使得诸如原子比较交换 http://en.cppreference.com/w/cpp/memory/shared_ptr/atomic更简单（并且可能更有效）。 （看来自 C++Now 的演示 https://github.com/brycelelbach/cppnow_presentations_2016/raw/master/01_wednesday/implementing_a_lock_free_atomic_shared_ptr.pdf)

我知道基本上是一个 intrusive_ptr （对象和控制块合并）的 shared_ptr 将缺乏当前 std::shared_ptr 所具有的功能。喜欢：

1. 能够从控制块中单独释放对象（如果您长期使用weak_ptrs，这很好）

2. 与为您提供原始指针的库的兼容性以及释放它们的责任

3. 使用自定义删除器（或无删除器，对于非拥有指针）保存任意资源的能力

4. 能够在保持父对象活动的同时指向子对象（例如，成员）。

我的建议是，这些功能可能不会被广泛使用（或者在将其用作RAII https://en.wikipedia.org/wiki/Resource_Acquisition_Is_Initialization-wrapper）可能不是最合适的，以保证额外的费用：

1. 指向控制块的单独指针
2. （可能）更复杂的atomic_compare_exchange逻辑，可能不值得。

In a C++98 https://en.wikipedia.org/wiki/C%2B%2B#Standardizationworld（引入了shared_ptr） make_shared 不太实用，也不太用户友好（缺乏完美的转发需要引用包装器，并且缺乏可变参数模板使得实现变得笨拙）。

你的逻辑问题在于你相信原因shared_ptr托管指针和托管指针之间有区别get指针是因为make_shared不可用。因此，如果我们强迫每个人都使用make_shared创造shared_ptr，我们不需要这种区别。

这是不正确的。

你可以实施shared_ptr的基于指针的构造函数没有这种区别。毕竟，在最初创建托管时shared_ptr, the get指针和托管指针是相同的。如果你想要shared_ptr成为sizeof(T*)，你可以只拥有shared_ptr获取get来自托管块的指针。这与是否T嵌入在托管块中。

所以区别确实有什么都没有与make_shared及其嵌入的能力T与托管块位于同一内存中。或者更确切地说，缺乏它。

不，托管指针和托管指针之间的区别get指针被创建，因为它添加了features to shared_ptr。重要的。您列出了其中一些，但错过了其他一些：

• 有能力拥有shared_ptr到基类。那是：

  shared_ptr<base> p = make_shared<derived>(...);
  

  要做到这一点，你must特定实例指向的内容和控制块控制的内容之间存在区别。

• static_pointer_cast and dynamic_pointer_cast (and reinterpret_pointer_cast在 C++17 中）。这些都依赖于托管指针和托管指针之间的区别get指针。

  • 这还包括enable_shared_from_this在基类中。

• A shared_ptr指向本身由 a 管理的类型的成员子对象shared_ptr。同样，它要求托管指针不能与get指针。

您似乎还忽略了管理不是由您创建的指针的能力。那是一个critical能力，因为它允许您与其他代码库兼容。在内部，您可以使用shared_ptr管理 1998 年编写的库所做的事情。

按照您的方式，您可以将代码分为两个时期：C++11 之前和 C++11 之后。你的shared_ptr对于任何未明确为 C++11 编写的代码不会执行任何操作。

将所有这些功能包装成一个类型的好处是：

你不需要另外一个。

shared_ptr，因为它满足了如此多的需求，所以几乎可以在任何地方有效地使用。它可能不是绝对最有效的类型，但是will几乎在所有情况下都能完成这项工作。而且这样做的速度并不慢。

它通过多态性处理共享所有权。它处理成员对象的共享所有权。它处理您未分配的内存的共享所有权。它处理具有特殊分配/释放需求的内存共享所有权。等等。

如果您需要共享所有权语义，并且需要它work, shared_ptr每次都会为您提供支持。根据你提出的想法，总会有一些限制，一些东西会妨碍你完成工作。

默认情况下，应该优先选择一种有效的类型，而不是无效的类型。