C++中如何实现类型擦除函数对象与variant应用场景-C++-PHP中文网

C++中如何实现类型擦除函数对象与variant应用场景

P粉602998670

发布： 2025-07-01 11:06:02

原创

772人浏览过

在c++++中实现类型擦除主要有两种方式：使用std::function和std::variant。1. std::function适用于统一调用接口，支持任意符合调用签名的对象，常用于回调系统、策略模式和事件通知机制，但可能涉及动态内存分配影响性能；2. std::variant适用于运行时从一组已知类型中选择一个使用，具备类型安全性且无虚函数表开销，适合配置项解析、数据格式转换以及枚举式行为切换，但不适合类型过多或访问逻辑复杂的情况。根据具体需求选择合适的方式，也可结合使用两者以支持更多调用形式。

C++中如何实现类型擦除函数对象与variant应用场景

在C++中实现类型擦除，主要是为了让不同类型的对象表现出统一的接口。这在很多场景下非常实用，比如你想写一个通用的回调函数、事件系统或者策略模式。常用的手段包括使用std::function、std::variant以及一些自定义的封装方式。

下面我们就来看看如何通过函数对象和variant来实现类型擦除，以及它们各自的适用场景。

用 std::function 实现类型擦除

std::function 是 C++ 标准库中最常见的一种类型擦除机制。它允许你把各种可调用对象（比如普通函数、lambda 表达式、绑定表达式、函数对象）统一包装成一个统一的调用接口。

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

举个例子：

#include <functional>
#include <iostream>

void call_twice(const std::function<void()>& func) {
    func();
    func();
}

int main() {
    call_twice([]{ std::cout << "Hello\n"; });
    return 0;
}

登录后复制

在这个例子中，call_twice 接收的是一个无参数无返回值的函数对象。你可以传入 lambda、函数指针甚至绑定了参数的函数对象，它都能处理。

优点：

接口统一，使用方便。
支持任意符合调用签名的对象。

适用场景：

回调系统（比如 GUI 按钮点击）
策略模式（比如不同的排序算法）
事件通知机制

需要注意的是，std::function 内部会进行一次动态内存分配（除非是小对象优化），所以对性能敏感的地方要谨慎使用。

用 std::variant 处理有限种类的类型

如果你希望在运行时从一组已知类型中选择一个来使用，而不是完全泛化为“任何能调用的东西”，那就可以考虑使用 std::variant。

比如，我们想让一个函数可以接受 int 或者 double 类型的数据做处理：

#include <variant>
#include <iostream>

using MyType = std::variant<int, double>;

void process_value(MyType value) {
    std::visit([](auto v) {
        std::cout << "Processing: " << v << std::endl;
    }, value);
}

登录后复制

这样你可以在不使用继承的情况下，实现类似多态的行为。

优点：