空 shared_ptr 的语义答案

【问题标题】：Semantic of empty shared_ptr空 shared_ptr 的语义
【发布时间】：2013-04-07 20:33:29
【问题描述】：

我注意到一个关于 shared_ptr 的奇怪事实

int* p = nullptr;
std::shared_ptr<int> s(p); // create a count (1).
std::shared_ptr<int> s2(s); // count go to 2.
assert(s.use_count() == 2);

我想知道除此之外的语义是什么。为什么 s 和 s2 共享一个 nullptr ？这有意义吗？

或者这种不常见的情况不值得使用 if 语句（代价高昂？）？

感谢您的启发。

【问题讨论】：

【解决方案1】：

语义是：

所以你的例子不是空的；它拥有一个空指针。

【讨论】：

【解决方案2】：

谁在乎他们分享nullptr？一旦它们都被销毁，它们将尝试delete nullptr;，这将无效。这完全没问题，符合shared_ptr 的语义。

这很有意义，因为空指针值不需要特殊情况。它是否出现在你的代码中只是归结为你是否有一些函数可以接受或返回 null shared_ptrs。

【讨论】：

【解决方案3】：

shared_ptr 将计算并释放它给出的任何指针（不仅是 nullptr，还有一些无效的指针）。因此，在您的示例中，这将导致 nullptr 被删除，这是有效的情况。 Is it still safe to delete nullptr in c++0x?

【讨论】：