C++ 将 unique_ptr 移动到向量并继续使用它

C++ Move a unique_ptr to a vector and continue using it

我开始玩 std::unique_ptr 我只是不想把事情搞砸。

在我的代码中,我创建了一个 std::unique_ptr,将其存储在 vector 上供以后在另一个上下文中使用,并继续使用指针:

#include <iostream>
#include <string>
#include <memory>
#include <vector>


   class MyClass {
    public: 
         void doWhatever ()
         {
            std::cout << "Var = " << variable << std::endl;
         }

         int variable = 0;
    };

    class Controller {
    public: 
        std::vector<std::unique_ptr<MyClass>> instances;

    };

    class OtherClass {
    public: 
        void myFunction()
        {
           Controller control;
           std::unique_ptr<MyClass> p(new MyClass);
           control.instances.push_back(std::move(p));

           // Continue using p. 

           p->doWhatever(); // Is this valid ?
           p->variable = 10;  // Is this valid ?
           p->doWhatever(); // Is this valid ?
        }
    };

    int main()
    {
        OtherClass cl;
        cl.myFunction();
    }

代码可以编译,但我在执行时遇到分段错误。

我想在将指针移动到向量后调用 p 是无效的....如果是这样,这里的解决方案是什么?移动到 shared_ptr ?

OBS:我无法使用指针移动到矢量 after。在实际应用中,这将是 运行 在多线程环境中,其中一个 thead 使用矢量数据,另一个继续使用原始指针 p.

感谢您的帮助。

简而言之,不,移动后使用 any 对象是无效的。编辑:除非你正在调用一个没有先决条件的函数(谢谢,Benjamin Lindley)。

这是因为当您 std::move 一个 unique_ptr 时,您正在将该内存的所有权转让给另一个 unique_ptr。 (真正发生的是 std::move 将您的 unique_ptr 标记为 r 值引用,然后另一个 unique_ptr 的构造函数看到了这一点并兴高采烈地执行指针窃取)。您搬入的 unique_ptr 现在可以为所欲为,包括删除内存并使您拥有的任何其他引用无效。

您可以将指针取消引用为原始指针(通过 unique_ptr::get())以访问它所指向的内容,然后将唯一指针移动到向量中。但是,unique_ptr 的整个想法是独资;您的原始指针随时可能失效。

唯一指针的名字说明了一切。它应该是完全独一无二的,所以当它超出范围时,可以安全地删除它。

当您在指针上使用 std::move 时,它会将其转换为右值引用帽,然后调用移动构造函数,这意味着它被移动,而不是被复制。就像您将盘子从洗碗机移到橱柜中一样,它不在洗碗机中。在代码中,这意味着从中移出的 unique_ptr 设置为 nullptr

备选方案:

  1. 使用 ref 计数 shared_ptr。这将允许您拥有多个实例,并且在删除最后一个实例后将调用析构函数。使用它的另一个好处是,如果不应该阻止对象被破坏,向量可以存储 weak_ptrs。
  2. unique_ptr 上使用 std::move 将其移动到 vector 之前缓存原始指针。这可能是不安全的,因为如果您在 vector 被销毁后尝试使用该指针,则它是未定义的行为,因为它将是一个悬空引用。