从函数返回一个取消引用的 shared_ptr 值

Question

这是一个菜鸟问题。下面的代码安全吗？

boost::unordered_set<std::string> func()
{
      boost::shared_ptr<boost::unordered_set<std::string>> list =
              boost::make_shared<boost::unordered_set<std::string>>();

      /* Code to populate the shared_ptr to unordered_set goes here and I do
         populate my set. */

      return *list;
}

首先会发生什么？复制/NRVO/移动或破坏shared_ptr 导致内存故障？如果不安全，我的替代方案是什么？

Answer 1

发生这种情况：

• 制作了指向对象的临时副本。这是函数的返回值。副本不能省略。
• 函数的局部变量，包括共享指针被销毁。
• 当共享指针被销毁时，引用计数会递减。如果在函数中没有创建共享指针的副本，则 refocount 将达到 0 并且指向的对象被销毁。

这是安全的，但使用动态分配，共享指针似乎毫无意义，如果集合很大，复制的低效率可能会影响性能。

---

由于您没有证明需要使用指针，我建议使用更简单的替代方法：

boost::unordered_set<std::string> list;

/* Code to populate the unordered_set goes here and I do
     populate my set. */

return list;

NRVO可以应用到this，如果不应用，返回值由move构造。

Answer 2

复制/NRVO/移动或破坏shared_ptr 导致内存故障？

好吧，让我们考虑一下。考虑这个函数：

X foo() {
    X x;
    return x;
}

这里有两个潜在的排序，让我们忘记复制省略。

1. x 被复制到返回值中，然后x 被销毁。
2. x 被销毁，然后x 被复制到返回值中。

(2) 的含义是这样的代码将是未定义的行为，这使得编写函数几乎不可能——因为你不能返回任何局部变量。因此，从语言健全性设计的角度来看，最好是 (1)。

---

显式规则在[stmt.return]：

调用结果的复制初始化在临时对象的销毁之前排序在return语句的操作数建立的完整表达式的末尾，反过来，之前排序 包含return语句的块的局部变量（6.6）的破坏。

Answer 3

你的 shared_ptr 没有做任何事情，你没有返回它，你正在返回它的内容，即 unordered_set 本身。 您应该更改您的函数以返回 shared_ptr 并按值返回。

您可能应该使用 std:: 而不是 boost（除非这是一个旧编译器）。