0

0

c++怎么实现一个类型擦除(Type Erasure)的函数包装器_C++泛型编程与类型擦除技巧

裘德小鎮的故事

裘德小鎮的故事

发布时间:2025-11-17 12:33:05

|

787人浏览过

|

来源于php中文网

原创

类型擦除通过基类虚函数统一接口,模板派生类保存具体可调用对象,包装器持基类指针实现值语义,支持任意可调用类型但隐藏具体类型,如简易std::function实现所示。

c++怎么实现一个类型擦除(type erasure)的函数包装器_c++泛型编程与类型擦除技巧

类型擦除(Type Erasure)是一种让不同类型共享统一接口的技术,常用于实现类似 std::function 的泛型函数包装器。它能隐藏具体类型信息,只暴露行为接口,从而实现运行时多态而无需继承体系。

基本思路:封装可调用对象

目标是实现一个通用的函数包装器,支持任意可调用类型(函数指针、lambda、仿函数等),但对外呈现统一类型。核心是把“具体类型”擦除,只保留“调用能力”。

我们通过以下组件实现:

  • 基类接口:定义调用操作的虚函数
  • 模板派生类:保存具体可调用对象
  • 包装器类:持有基类指针,提供值语义

手动实现简易 std::function

下面是一个简化版的函数包装器,支持无参返回 int 的调用:

立即学习C++免费学习笔记(深入)”;

#include 
#include 

class Function {
  struct CallableBase {
    virtual ~CallableBase() = default;
    virtual int call() = 0;
    virtual std::unique_ptr clone() const = 0;
  };

  template 
  struct CallableModel : CallableBase {
    F func;
    explicit CallableModel(F f) : func(std::move(f)) {}

    int call() override { return func(); }

    std::unique_ptr clone() const override {
      return std::make_unique(func);
    }
  };

  std::unique_ptr callable;

public:
  Function() = default;

  template 
  Function(F f) : callable(std::make_unique>(std::move(f))) {}

  Function(const Function& other)
    : callable(other.callable ? other.callable->clone() : nullptr) {}

  Function& operator=(const Function& other) {
    if (this != &other) {
      callable = other.callable ? other.callable->clone() : nullptr;
    }
    return *this;
  }

  Function(Function&&) = default;
  Function& operator=(Function&&) = default;

  int operator()() const {
    if (!callable) throw std::bad_function_call();
    return callable->call();
  }

  explicit operator bool() const { return !!callable; }
};

使用示例:

牛小影
牛小影

牛小影 - 专业的AI视频画质增强器

下载
int foo() { return 42; }

int main() {
  Function f1 = []{ return 100; };
  Function f2 = foo;

  std::cout << f1() << "\n"; // 输出 100
  std::cout << f2() << "\n"; // 输出 42

  Function f3 = f1;
  std::cout << f3() << "\n"; // 输出 100
}

支持任意签名和参数

要支持不同函数签名,可将 Function 改为模板:

template 
class Function;

template 
class Function {
  struct CallableBase {
    virtual ~CallableBase() = default;
    virtual R call(Args... args) = 0;
    virtual std::unique_ptr clone() const = 0;
  };

  template 
  struct CallableModel : CallableBase {
    F func;
    explicit CallableModel(F f) : func(std::move(f)) {}

    R call(Args... args) override { return func(std::forward(args)...); }

    std::unique_ptr clone() const override {
      return std::make_unique(func);
    }
  };

  std::unique_ptr callable;

public:
  Function() = default;

  template 
  Function(F f) : callable(std::make_unique>(std::move(f))) {}

  Function(const Function& other)
    : callable(other.callable ? other.callable->clone() : nullptr) {}

  Function& operator=(const Function& other) {
    if (this != &other) {
      callable = other.callable ? other.callable->clone() : nullptr;
    }
    return *this;
  }

  Function(Function&&) = default;
  Function& operator=(Function&&) = default;

  R operator()(Args... args) const {
    if (!callable) throw std::bad_function_call();
    return callable->call(std::forward(args)...);
  }

  explicit operator bool() const { return !!callable; }
};

性能与优化考虑

上述实现每次调用都有虚函数开销。实际如 std::function 会结合小对象优化(Small Buffer Optimization),在上存储小型可调用对象,避免堆分配。

关键点:

  • 类型擦除牺牲部分性能换取接口统一
  • 避免频繁拷贝包装器,尤其含大闭包的 lambda
  • 注意异常安全和资源管理(使用智能指针)

基本上就这些。不复杂但容易忽略细节,比如正确实现拷贝语义和所有权转移。

相关专题

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

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

15

2025.11.27

string转int
string转int

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

315

2023.08.02

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

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

537

2024.08.29

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

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

52

2025.08.29

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

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

197

2025.08.29

lambda表达式
lambda表达式

Lambda表达式是一种匿名函数的简洁表示方式,它可以在需要函数作为参数的地方使用,并提供了一种更简洁、更灵活的编码方式,其语法为“lambda 参数列表: 表达式”,参数列表是函数的参数,可以包含一个或多个参数,用逗号分隔,表达式是函数的执行体,用于定义函数的具体操作。本专题为大家提供lambda表达式相关的文章、下载、课程内容,供大家免费下载体验。

204

2023.09.15

python lambda函数
python lambda函数

本专题整合了python lambda函数用法详解,阅读专题下面的文章了解更多详细内容。

190

2025.11.08

Python lambda详解
Python lambda详解

本专题整合了Python lambda函数相关教程,阅读下面的文章了解更多详细内容。

47

2026.01.05

Java 桌面应用开发(JavaFX 实战)
Java 桌面应用开发(JavaFX 实战)

本专题系统讲解 Java 在桌面应用开发领域的实战应用,重点围绕 JavaFX 框架,涵盖界面布局、控件使用、事件处理、FXML、样式美化(CSS)、多线程与UI响应优化,以及桌面应用的打包与发布。通过完整示例项目,帮助学习者掌握 使用 Java 构建现代化、跨平台桌面应用程序的核心能力。

63

2026.01.14

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
国外Web开发全栈课程全集
国外Web开发全栈课程全集

共12课时 | 1.0万人学习

进程与SOCKET
进程与SOCKET

共6课时 | 0.3万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号