C++笔记之为什么一个类定义了析构函数就几乎肯定要定义拷贝构造函数和拷贝赋值运算符

最新推荐文章于 2025-02-18 22:09:13 发布

墨非_Coder

最新推荐文章于 2025-02-18 22:09:13 发布

阅读量1.6k

点赞数 4

CC 4.0 BY-SA版权

分类专栏： C++ 文章标签： C++ 函数 class

本文链接：https://blog.youkuaiyun.com/zhc_futrue/article/details/79009493

5 篇文章

订阅专栏

本文探讨了在含有指针成员的类中，若仅定义析构函数而未定义拷贝构造函数和赋值运算符时可能出现的问题。通过具体示例解释了编译器自动生成的默认拷贝构造函数为何会导致指针被删除两次，进而引发未定义行为。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

这个问题本来很简单，但是时间久了就容易忘，所以做个笔记用来提示下自己

先来看看这样一个类：

class HasPtr
{
public:
	HasPtr(const string& s = string()) :ps(new string(s)), i(0) {}
	~HasPtr() { delete ps; }
private:
	string * ps;
	int i;
};

在HasPtr类里面定义了析构函数，但是没有定义拷贝构造函数和拷贝赋值运算符，这时，编译器将自动为我们生成拷贝构造函数和拷贝赋值运算符，由于编译器自动生成的仅仅是执行简单的拷贝操作，所以对于指针，合成的版本也是仅仅拷贝其地址。

如果类外面有这样一个函数：

HasPtr f(HasPtr hp)
{
	HasPtr ret = hp;
	///... 其他操作
	return ret;

}

当函数执行完了之后，将会调用hp和ret的析构函数，将hp和ret的成员ps给delete掉，但是由于ret和hp指向了同一个对象，因此该对象的ps成员被delete了两次，这样产生一个未定义的错误，所以说：

如果一个类定义了析构函数，那么它几乎肯定要定义自己的拷贝构造函数和拷贝赋值运算符。