在C++里，对象拷贝默认是成员逐一复制，一旦类里包含指针或动态分配的资源，浅拷贝会让多个对象指向同一块内存。为了让多态对象在通过基类指针操作时也能被正确复制，我们需要一套基于虚函数的克隆机制，通常称为Clone方法，也有人把它叫做虚构造函数模式。
为什么需要深度克隆
假设我们有一个基类Shape，以及派生类Circle和Rectangle，它们都在堆上管理自己的数据。如果用值传递或普通的赋值，编译器生成的拷贝构造函数只会复制指针地址，不会复制指针指向的内容。当其中一个对象析构时释放了内存，另一个对象再访问就成了悬空指针。
更麻烦的是，当我们把不同派生类对象放进同一个基类指针容器，例如vector<Shape*>，想对整个容器做备份时，无法在编译期知道具体类型。此时若只用基类拷贝构造函数，只会切掉派生类部分，产生对象切片。深度克隆要求根据运行时实际类型创建新对象，并完整复制其内部资源。
Clone方法的基本设计
最常见的做法是在基类中声明一个纯虚函数Clone，返回基类指针。每个派生类重写该函数，在函数体中使用自身的拷贝构造函数来new一个同类对象。因为函数调用依赖于对象动态类型，这就实现了“虚构造函数”的效果：你不需要知道具体类名，也能造出一个类型正确的副本。
为了让Clone正常工作，派生类必须提供正确的拷贝构造函数，否则默认的浅拷贝依然会出问题。同时建议遵循三法则或五法则，把拷贝构造、拷贝赋值、析构，以及移动相关操作都管理清楚。下面给出一个最小可用的示例框架。
#include <iostream>
#include <cstring>
class Shape {
public:
virtual ~Shape() {}
virtual Shape* Clone() const = 0;
virtual void Show() const = 0;
};
class Circle : public Shape {
public:
Circle(const char* name) {
int len = std::strlen(name) + 1;
name_ = new char[len];
std::strcpy(name_, name);
}
// 拷贝构造函数做深拷贝
Circle(const Circle& other) {
int len = std::strlen(other.name_) + 1;
name_ = new char[len];
std::strcpy(name_, other.name_);
}
~Circle() {
delete[] name_;
}
Shape* Clone() const override {
return new Circle(*this);
}
void Show() const override {
std::cout << "Circle: " << name_ << std::endl;
}
private:
char* name_;
};
在多态容器中实战使用
有了Clone方法后，我们可以安全地复制整个多态对象集合。下面的代码展示如何把一个存放基类指针的容器深拷贝到另一个容器，旧容器和新容器中的对象彼此独立，修改或释放其中一个不会影响另一个。
这种写法在需要快照、 undo操作、或者网络传输对象副本时非常实用。注意容器本身存的是指针，所以遍历新容器时也要手动释放内存，避免泄漏。如果项目允许，使用智能指针如unique_ptr能进一步简化资源管理。
#include <vector>
void DeepCopyDemo() {
std::vector<Shape*> src;
src.push_back(new Circle("first"));
src.push_back(new Circle("second"));
std::vector<Shape*> dst;
for (auto s : src) {
dst.push_back(s->Clone());
}
for (auto s : dst) {
s->Show();
}
for (auto s : src) delete s;
for (auto s : dst) delete s;
}
优缺点与扩展思考
Clone模式的优点非常明显：它把“创建什么类型”的决策推迟到运行时，调用方完全解耦具体类，新增派生类时旧代码无需修改，符合开闭原则。同时深拷贝保证了资源隔离，是很多框架中原型模式的标准实现。
缺点在于每个派生类都要手写Clone和拷贝构造，容易遗漏；如果类层级很深且包含大量成员，拷贝成本可能较高。C++11之后可以借助拷贝并交换、或者返回unique_ptr<Shape>来避免裸指针。也有人用CRTP提供一个通用的Clone实现基类，减少重复代码，但会引入模板依赖，需要按团队习惯权衡。
| 方案 | 类型安全 | 代码重复度 | 适用场景 |
|---|---|---|---|
| 纯虚Clone | 高 | 中 | 稳定类层级、需深拷贝 |
| CRTP基类 | 高 | 低 | 大量相似派生类 |
| 序列化再反序列化 | 中 | 低 | 跨进程、网络传输 |
小结
通过基类纯虚Clone加派生类自拷贝，我们能在C++中以接近虚构造函数的形式完成对象的深度克隆。关键在于配套实现正确的拷贝构造函数，并在多态场景下用指针或智能指针管理生命周期。理解这一模式后，原型克隆、配置快照等需求都能更优雅地落地。