C++怎么实现类型擦除技术_C++泛型编程与std::any实现原理

类型擦除是通过模板与多态将具体类型隐藏，暴露统一接口的技术。它以虚基类定义公共操作，模板派生类封装实际类型，如std::any存储任意类型时保留类型信息并支持运行时检查，结合小对象优化提升性能。该技术融合泛型编程的静态安全与动态多态的灵活性，使std::function等组件能统一处理不同可调用对象，实现高效灵活的抽象。

类型擦除是C++中一种让不同类型的对象表现出统一接口的技术，它在不牺牲性能的前提下实现多态。与虚函数表驱动的运行时多态不同，类型擦除通常结合模板和封装，在保持静态类型安全的同时隐藏具体类型信息。典型应用包括 std::function、std::any 和一些泛型容器。

什么是类型擦除？

类型擦除的核心思想是：把具体类型“藏起来”，对外暴露统一的接口。用户使用时无需知道底层是什么类型，只要能调用指定方法或进行拷贝、移动等操作即可。

比如 std::any 可以存储任意类型，取值时通过类型转换获取原始数据，但内部并不知道存的是 int 还是 std::string —— 类型被“擦除”了。

基本实现思路：基于虚基类 + 模板派生类

最常见的类型擦除实现方式是定义一个抽象基类，提供统一接口；再通过模板派生类将具体类型封装进去。

立即学习“C++免费学习笔记（深入）”；

以简化版的 any 为例：

class any {
public:
    virtual ~any() = default;
    virtual std::unique_ptr<any> clone() const = 0;
    virtual const std::type_info& type() const = 0;
};

template<typename T>
class typed_any : public any {
    T data;
public:
    typed_any(T value) : data(std::move(value)) {}

    std::unique_ptr<any> clone() const override {
        return std::make_unique<typed_any>(data);
    }

    const std::type_info& type() const override {
        return typeid(T);
    }

    T& get() { return data; }
    const T& get() const { return data; }
};

上面代码中，any 是公共接口，typed_any 将实际类型 T 包装进去。外部只能通过基类指针操作对象，从而实现类型统一。

std::any 的实现原理简析

std::any 在标准库中的实现更复杂，但核心机制类似。它通常采用小对象优化（Small Buffer Optimization），即对于小对象直接在内部缓冲区构造，避免堆分配。

标签： 字节 c++ 标准库