Why does reassigning a smart pointer to itself cause destruction?(为什么将智能指针重新分配给自己会导致破坏?)
问题描述
TLDR
为什么t_ptr = std::unique_ptr<Test>(t_ptr.get());
行导致调用析构函数?
该行似乎只是无意地将t_ptr
分配回它自己...
此外,为什么我能够在假定的销毁之后继续调用方法?
示例代码
class Test
{
public:
Test()
{
printf("Constructor called: %p
", this);
i = 0;
};
void print()
{
printf("%d
", i++);
};
~Test()
{
printf("Destructor called: %p
", this);
};
private:
int i;
};
int main(int argc, char** argv)
{
std::unique_ptr<Test> t_ptr = std::unique_ptr<Test>(new Test());
t_ptr->print();
t_ptr->print();
t_ptr->print();
t_ptr = std::unique_ptr<Test>(t_ptr.get());
t_ptr->print();
t_ptr->print();
t_ptr->print();
};
输出为
Constructor called: 0x55c9811a1e70
0
1
2
Destructor called: 0x55c9811a1e70
0
1
2
Destructor called: 0x55c9811a1e70
推荐答案
为什么
t_ptr = std::unique_ptr<Test>(t_ptr.get());
行导致调用析构函数?
因为unique_ptr
在分配新对象时需要删除当前保留的对象。否则,它将泄漏当前对象。然而,它不会检查新的是否真的与当前的相同。如果这样做,则行为是未定义的。
此外,为什么我能够在假定的销毁之后继续调用方法?
因为这是未定义的行为。您正在对已删除的对象调用函数。当你这样做的时候会发生什么是未知的。在你的系统上它可以工作,在我的系统上它会崩溃。
(离题附注)
我建议养成一个习惯,如果可以避免使用new
,而使用std::make_unique
(或std::make_shared
表示shared_ptr
):
auto t_ptr = std::make_unique<Test>();
在某些情况下,当构造函数抛出时,异常安全有好处。基本上,至少到2019年为止,当前的经验法则是不要使用new
或delete
。
这篇关于为什么将智能指针重新分配给自己会导致破坏?的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持编程学习网!
本文标题为:为什么将智能指针重新分配给自己会导致破坏?
基础教程推荐
- 为什么 RegOpenKeyEx() 在 Vista 64 位上返回错误代码 2021-01-01
- 为什么派生模板类不能访问基模板类的标识符? 2021-01-01
- 我应该对 C++ 中的成员变量和函数参数使用相同的名称吗? 2021-01-01
- 非静态 const 成员,不能使用默认赋值运算符 2022-10-09
- 初始化列表*参数*评估顺序 2021-01-01
- CString 到 char* 2021-01-01
- 如果我为无符号变量分配负值会发生什么? 2022-01-01
- 通过引用传递 C++ 迭代器有什么问题? 2022-01-01
- 为什么 typeid.name() 使用 GCC 返回奇怪的字符以及如 2022-09-16
- GDB 显示调用堆栈上函数地址的当前编译二进制文 2022-09-05