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