手写C++Any类:深入理解多态与模板(示例详解)

作者：归人云淡风轻时间：2026-05-28 来源：正软商城浏览：4

好的，没问题。作为一名深耕C++多年的老工程师，我来用自己的话，把这个手撸`Any`类的过程重新梳理一遍。保证逻辑清晰，信息完整，读起来像是咱们在工位上掰扯技术，而不是在读一篇冷冰冰的机器文档。标准库的 `std::any` 功能强大，但是带着我们亲手写一个，才能真正理解类型擦除的精髓。我们自己动

本文目录

好的，没问题。作为一名深耕C++多年的老工程师，我来用自己的话，把这个手撸`Any`类的过程重新梳理一遍。保证逻辑清晰，信息完整，读起来像是咱们在工位上掰扯技术，而不是在读一篇冷冰冰的机器文档。标准库的 `std::any` 功能强大，但是带着我们亲手写一个，才能真正理解类型擦除的精髓。我们自己动手实现的这个“阉割版”`Any`类，核心能力其实很纯粹：**用一个类，既能存int，也能存你自定义的类，甚至是字符串**。而这一切的底层，依靠的就是**抽象基类+模板子类**这套组合拳实现的**类型擦除**。我们从一个简化的实现入手，把每个关键部件拆开看。

### 先来梳理一下实现所需的核心依赖 ```cpp #include // 输入输出 #include // 类型识别：typeid 运算符核心依赖 #include // 标准库 swap 函数 #include // 断言：类型不匹配时报错 ``` 这四个头文件是基础，缺一不可。 * `typeinfo`：这里面的 `typeid` 是保证我们后面做**类型安全校验**的关键。 * `utility`：主要用的是 `std::swap`，这东西是实现高效、异常安全赋值操作的关键工具。 * `cassert`：断言，它的作用是在你试图用错误类型获取数据时，直接让程序中止，从源头杜绝野指针访问。 ### 类型擦除的核心接口：抽象基类 `holder` ```cpp class holder { public: virtual ~holder(){} // 虚析构函数，必须要有 virtual const std::type_info& type() =0; // 纯虚函数：获取真实类型信息 virtual holder* clone()=0; // 纯虚函数：克隆自身（深拷贝） }; ``` 这个 `holder` 是 `Any` 类内部私有的抽象类，对外部是完全隐藏的。 1. **定位**：它就是一个接口规范，定义了一组所有具体“持有者”都必须遵守的规则。 2. **虚析构**：这个必须加。当通过基类指针 `holder*` 删除子类对象时，虚析构函数能确保子类的析构函数被正确调用，避免内存泄漏。这是多态用的基本素养。 3. **纯虚函数**： * `type()`：返回它实际存储的数据的类型信息。 * `clone()`：用于深拷贝自身，这是实现 `Any` 对象的拷贝和赋值操作的基础。 4. **作用**：它通过定义一套**统一接口**，把具体类型之间的差异给屏蔽掉了。这就是**类型擦除**能够成立的基石。 ### 真正干活的地方：模板子类 `placeholder` ```cpp template class placeholder:public holder { public: placeholder(const T&val):_val(val){} virtual const std::type_info& type(){return typeid(T);} virtual holder* clone(){return new placeholder(_val);} public: T _val; // 这里才是真正存储数据的变量 }; ``` 1. **模板类**：`T` 可以是任意类型（int、你定义的`Test`类、`std::string`...），这直接决定了它能存储任意类型的数据。 2. **继承 `holder`**：它继承了抽象接口，对外部代码来说，它就是一个 `holder` 指针，完美满足多态要求。 3. **构造函数**：用传进来的值初始化内部成员变量 `_val`，数据就存这儿了。 4. **重写纯虚函数**： * `type()`：返回当前模板参数 `T` 的 `type_info`。 * `clone()`：创建一个自身的副本，返回基类指针 `holder*`，实现深拷贝。 5. **核心**：`_val` 是真正的数据存储位置，但外部通过 `holder` 指针完全看不到它。 ### `Any` 类的骨架与生命周期管理 ```cpp holder* _content; // 指向实际数据的核心指针 // 默认构造：创建一个空对象 Any():_content(nullptr){} // 模板构造函数：接收任意类型数据，创建对应的 placeholder template Any(const T&val):_content(new placeholder(val)){} // 拷贝构造函数：深拷贝，调用 clone() 确保数据独立 Any(const Any&other):_content(other._content ? other._content->clone() : nullptr) {} // 析构函数：RAII，自动释放 content 指向的内存 ~Any(){delete _content;} ``` 1. **核心成员 `_content`**：这是一个 `holder` 基类指针。通过它，我们就能以多态的方式指向任意一个 `placeholder` 子类对象，从而实现了类型擦除。 2. **默认构造**：创建一个空的 `Any` 对象，`_content` 为 `nullptr`。 3. **模板构造**：接收任意类型 `T` 的值，在堆上创建一个对应的 `placeholder` 对象，并将指针赋值给 `_content`。 4. **拷贝构造**：关键一步。它调用 `other._content->clone()` 来完成深拷贝。如果 `other` 是空对象，则 `_content` 也为 `nullptr`。这避免了浅拷贝带来的指针悬空问题。 5. **析构函数**：典型的 RAII 思想。对象生命周期结束时，`delete _content` 自动被调用，释放堆内存，无需你手动管理。 ### 异常安全的关键：交换函数 `swap` ```cpp Any& swap(Any& other) { std::swap(_content, other._content); return *this; } ``` 1. **作用**：这个函数极其简洁，只交换了两个 `Any` 对象的内部指针 `_content`。 2. **价值**：它是实现**拷贝交换法**的基础，能让赋值操作符变得异常安全、无内存泄漏，而且自动处理了自赋值情况。 3. **极简高效**：只交换指针，不拷贝数据，性能开销极小。 ### 如何安全地把数据拿出来：`get()` ```cpp template T* get() { assert(typeid(T) == _content->type()); return &((placeholder*)_content)->_val; } ``` 1. **模板函数**：通过模板参数 `T` 明确你要获取的类型。 2. **断言校验**：`assert(typeid(T) == _content->type())` 是安全锁。如果类型不匹配，程序会在调试模式下断言失败并终止，保证**类型安全**。 3. **类型强转**：通过断言后，将基类指针 `_content` 强制转型为子类指针 `placeholder*`，然后就可以访问其内部的 `_val` 成员了。 4. **返回值**：返回一个指向 `_val` 的指针，这样你既可以读它，也可以写它。 ### 赋值运算符：拷贝交换法的最佳实践 ```cpp // 赋值1：任意类型直接赋值给 Any template Any& operator=(const T& val) { Any(val).swap(*this); return *this; } // 赋值2：Any 对象之间赋值 Any& operator=(const Any& other) { Any(other).swap(*this); return *this; } ``` 1. **统一用法**：两个赋值运算符都使用了**拷贝交换法**，这是C++实现赋值操作符的推荐做法。 2. **原理**： ① 先创建一个临时对象 `Any(val)` 或 `Any(other)`。 ② 调用 `swap` 交换临时对象和 `*this` 内部的 `_content` 指针。 ③ 临时对象离开作用域析构，自动释放原来 `*this` 持有的旧内存。 3. **优点**：整个过程非常流畅，自动处理了自赋值，不会产生内存泄漏，并且是异常安全的，堪称完美。 ### 验证一下：自定义测试类 `Test` 这个类很简单，通过打印构造/拷贝构造/析构日志，让我们能直观地看到对象生命周期的管理。 ```cpp class Test { public: Test(){ std::cout<<"构造"<(); std::cout << *pa << std::endl; return 0; } ``` 这个测试序列很典型： 1. 创建空对象 `a`。 2. 在局部作用域内创建 `Test` 对象 `t`，并赋值给 `a`。这验证了自定义类型的存储和拷贝。 3. 离开作用域后，`t` 被析构，但存储在 `a` 中的数据依然存活，验证了生命周期管理的正确性。 4. 再将 `int` 赋值给 `a`，然后通过 `get()` 取出数据并输出。验证了类型切换和数据获取。 5. 整个过程中，所有内存都在析构时自动释放，无泄漏。 ### 核心总结 * **`holder`**：抽象接口，定义统一规范，是类型擦除的基础。 * **`placeholder`**：模板子类，是数据的真正载体。 * **`_content`**：基类指针，多态的载体，是实现类型擦除的核心。 * **拷贝交换法**：赋值运算符的最优解，兼具安全与高效。 * **RAII**：构造时申请内存，析构时自动释放，让C++程序员无需为内存管理操心。

本站声明：本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系bd@zhengruan.com

作者最新文章

coreldraw快捷键怎么设置在哪里 2026-11-02 21:39

AO3最新可用链接及中文入口汇总 2026-10-29 13:32

coreldraw怎么插入图片图片导入步骤 2026-10-27 15:37

coreldraw快捷键冲突怎么改自定义按键解决 2026-10-24 08:50

AO3中文界面设置指南与核心功能使用教程 2026-10-14 23:28

编程开发

上一篇： MYSQL访问之如何使用C/C++连接数据库

下一篇： SpringBoot中的拦截器使用详解

相关文章更多