C++基类析构函数内实现对象完整拷贝的代码修改方法
实现方法
要实现多态类族对象在析构时的完整拷贝,核心要解决对象切片问题——直接在基类中按基类类型拷贝会丢失派生类的成员数据,必须用「虚克隆」模式实现多态拷贝。
具体修改步骤
- 首先给基类
Base添加纯虚的克隆接口,强制所有派生类实现自己的拷贝逻辑:
class Base { public: // 新增纯虚克隆方法 virtual Base* clone() const = 0; virtual ~Base() { if (destruct) { std::cout << "Destructing" << std::endl; } } };
- 在每个派生类中覆写
clone方法,同时把拷贝逻辑放在派生类析构的最开头(保证拷贝时成员数据完整、虚函数分发正常):
class Derived : public Base { public: Derived(const std::string& name) : name(name) {} // 覆写克隆方法,返回派生类类型的精确拷贝 Derived* clone() const override { return new Derived(*this); } ~Derived() override { if (!destruct) { destruct = true; // 原问题中copy = nullptr;的逻辑移动到这里,替换为克隆调用 copy = this->clone(); std::cout << "Copying" << std::endl; } } std::string name; };
注意:如果只是针对题目示例做最小验证,不考虑代码通用性和标准合规性,直接把原代码中
copy = nullptr;替换为copy = new Derived(*static_cast<Derived*>(this));也能跑出预期输出,但这种写法存在未定义行为:进入基类析构时派生类成员已经开始析构,且对象动态类型退化为基类,强制转换拷贝得到的对象数据有效性没有保障,也无法支持其他派生类扩展,绝对不能在生产代码中使用。
修改完成后运行程序,就能得到预期输出:
Copying hello Destructing
内容的提问来源于stack exchange,提问作者Felix
相关产品推荐
相关产品推荐

