C++实现简单的对象克隆(Clone) _ 原型模式与虚构造【源码】

夜枫大大_9497

夜枫大大_9497

2026-04-09

393人浏览

原创

clone()必须是虚函数且返回基类指针,否则多态克隆失效;正确做法是基类声明virtual base clone() const = 0,派生类用new derived(this)实现并返回base*。

c++实现简单的对象克隆(clone) _ 原型模式与虚构造【源码】

clone() 函数必须是虚函数,且返回基类指针

否则派生类无法覆盖行为,多态克隆会失效。最常见错误是写成非虚的 clone() 或返回具体类型(如 Derived*),导致调用时静态绑定到基类实现,返回错误对象或编译失败。

正确做法是:在基类中声明纯虚函数 virtual Base* clone() const = 0;,所有派生类重写它,内部用 new Derived(*this) 构造并返回 Base*

注意三点:

  • clone() 一般设为 const 成员函数,语义上不修改原对象
  • 返回类型必须是基类指针(或智能指针),不能是派生类指针,否则破坏接口统一性
  • 若用 std::unique_ptr<base>,则声明为 virtual std::unique_ptr<base> clone() const = 0;,C++14 起支持协变返回类型(但 raw pointer 更通用)

虚构造函数不存在,但 clone() 是它的替代方案

C++ 不允许虚构造函数,因为构造发生在对象内存布局确定之前,无法动态调度。所谓“虚构造”只是对 clone() 行为的通俗说法——它在运行时根据实际类型创建同类型新对象。

关键区别在于:

  • 构造函数名固定、不可继承、不可虚化;clone() 是普通虚函数,可被继承和重写
  • 构造函数需显式调用(如 Derived x;),而 clone() 可通过基类指针间接触发:Base* p = new Derived; Base* q = p->clone();
  • 若忘记在派生类中实现 clone(),链接期报错(纯虚函数未定义)或运行时调用纯虚函数崩溃(取决于编译器)

深拷贝陷阱:成员含裸指针或资源时必须手动处理

默认拷贝构造函数只做浅拷贝,若类中有 int* dataFILE* 等资源句柄,clone() 返回的对象会与原对象共享同一份资源,后续析构极易 double-free 或悬空指针。

C++ 算法竞赛自动化测试数据生成与校验框架
C++ 算法竞赛自动化测试数据生成与校验框架

根据原题生成新题面、验证器及完整测试数据,自动套用 testlib 模板,用于用户要求生成测试数据时。

下载

解决方式只有显式深拷贝:

  • 在派生类 clone() 实现里,不用 new Derived(*this)(它调用默认拷贝构造),改用 new Derived(this->x, this->y, new int[...]) 显式分配
  • 更安全的做法是:把资源管理交给 RAII 类型(如 std::vectorstd::unique_ptr),此时默认拷贝构造即满足深拷贝语义
  • 若必须用裸指针,记得在类中同时正确定义拷贝构造、赋值运算符和析构函数(三法则/五法则)

std::shared_ptr 配合 clone() 更易管理生命周期

裸指针版 clone() 要求调用方严格负责 delete,容易泄漏。用智能指针可自动释放,且支持多处共享同一克隆体。

示例签名与实现:

virtual std::shared_ptr<base> clone() const = 0;
<p>// 派生类中:
std::shared_ptr<base> Derived::clone() const {
return std::make_shared<derived>(*this);
}</derived></p>

注意点:

  • std::make_shared 效率高于 std::shared_ptr<derived>(new Derived(...))</derived>
  • 若类有 protected 构造函数或删除了拷贝构造,make_shared 可能编译失败,此时需改用 shared_ptr 构造函数 + new
  • 不要在 clone() 中返回 shared_ptr 到栈对象(如 return std::shared_ptr<base>(&x);),这是野指针

真正麻烦的从来不是写几行 clone(),而是确保每个派生类都记得重写它,并且深拷贝逻辑跟析构逻辑严格同步——漏掉一个,就是运行时未定义行为。

C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!

相关专题

更多
java基础知识汇总
java基础知识汇总

java基础知识有Java的历史和特点、Java的开发环境、Java的基本数据类型、变量和常量、运算符和表达式、控制语句、数组和字符串等等知识点。想要知道更多关于java基础知识的朋友,请阅读本专题下面的的有关文章,欢迎大家来php中文网学习。

2023.10.24

5704

49

Go语言中的运算符有哪些
Go语言中的运算符有哪些

Go语言中的运算符有:1、加法运算符;2、减法运算符;3、乘法运算符;4、除法运算符;5、取余运算符;6、比较运算符;7、位运算符;8、按位与运算符;9、按位或运算符;10、按位异或运算符等等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2024.02.23

2304

5

php三元运算符用法
php三元运算符用法

本专题整合了php三元运算符相关教程,阅读专题下面的文章了解更多详细内容。

2025.10.17

1572

13

java多态详细介绍
java多态详细介绍

本专题整合了java多态相关内容,阅读专题下面的文章了解更多详细内容。

2025.11.27

295

14

c语言const用法
c语言const用法

const是关键字,可以用于声明常量、函数参数中的const修饰符、const修饰函数返回值、const修饰指针。详细介绍:1、声明常量,const关键字可用于声明常量,常量的值在程序运行期间不可修改,常量可以是基本数据类型,如整数、浮点数、字符等,也可是自定义的数据类型;2、函数参数中的const修饰符,const关键字可用于函数的参数中,表示该参数在函数内部不可修改等等。

2023.09.20

1898

7

string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

2023.08.02

5079

3

int占多少字节
int占多少字节

int占4个字节,意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值,在某些情况下也可能是2个字节或8个字节,int是一种常用的数据类型,用于表示整数,需要根据具体情况选择合适的数据类型,以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2024.08.29

2605

6

c++怎么把double转成int
c++怎么把double转成int

本专题整合了 c++ double相关教程,阅读专题下面的文章了解更多详细内容。

2025.08.29

3168

10

C++中int的含义
C++中int的含义

本专题整合了C++中int相关内容,阅读专题下面的文章了解更多详细内容。

2025.08.29

2205

10

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Conan 2 Essentials 免费课程
Conan 2 Essentials 免费课程

共0课时 | 0人学习

CMake 与 Conan 集成实践
CMake 与 Conan 集成实践

共0课时 | 0人学习

Conan 2 高级依赖模型介绍
Conan 2 高级依赖模型介绍

共0课时 | 0人学习