C++中如何自己封装一个Callable

需求背景

有时候静态编译太不灵活，我们需要更灵活的运行时操作。

又或真假设你在开发一个脚本，想注册本地的C++函数到脚本语言的标准库中。例如gdscript的Callable。

下面是一个我的一个简单的实现。我们假设脚本语言中的变量类型是std::any。根据情况不同实现细节也可能不同。

实现

首先我们需要对可调用对象进行一个抽象的表示。

struct Callable {int _argc = 0;virtual std::any call(const std::vector<std::any>& args) = 0;virtual ~Callable() = default;
};

很简单，定义一个抽象方法call，参数列表使用vector<any>来表示,。然后用argc表示这个可调用的对象可接收多少个参数。

类方法

这里仅仅实现一个比较复杂的可调用对象，类方法。这是我们准备的测试类。

struct Foo {int a = 10;int foo(int n, char ch, const std::string* msg){a += n;cout << ch << ": " << *msg << a << endl;return a;}int bar(int n){cout << "--" << n << "--" << endl;return n;}
};

应当注意的是，类方法并不能简单的转换为函数指针。

比如上述的bar的类型不是int(*)(int),而是int(Foo::*)(int)。应当注意这点。随后我们继承这个Callable,一个名为ClassMethod的类来包装类方法。这里我们实现了使用了和std::functional差不多的形式。为了表达直观，我们用类似ClassMethod<ClassName, int(int)>这样的形式，而不是ClassMethod<int,int>这样的形式。

template<typename... Args>
struct ClassMethod;		//永远也不会匹配到这个模板，所以不用定义。template<typename ClassName, typename Ret, typename ... Args>
struct ClassMethod<ClassName, Ret(Args...)> : public Callable {/*TODO*/}//使用方式
<ClassMethod<Foo, int(int, char, const std::string*)>> callable;

Ret表示返回值，Args表示一个参数包，也就是参数的类型列表。后续我们使用包展开来对其进行操作。

ClassMethod内部:

  static constexpr int Argc = sizeof...(Args);using Callee = Ret(ClassName::*)(Args...);

Argc可在编译阶段求解，Callee是一个别名，定义方式就是上述所说的类方法的类型。不过是换成了模板参数。

类方法在调用的时候实际上隐藏了一个参数，就是this指针。所以我们需要一个指向对象的指针来表示this,和一个Callee来表示调用的具体是哪个方法。因为不同的方法可能有相同的参数名称。

ClassMethod内部:

  ClassName* _class = nullptr;Callee _callee = nullptr;ClassName* set_class(ClassName* ptr){ClassName* old = _class;_class = ptr;return old;}Callee* set_callee(Callee callee){Callee* old = _callee;_callee = callee;return old;}

我们需要对Args,也就是参数包，进行转发调用。

 Ret call_impl(Args&& ... args){return (_class->*_callee)(std::forward<Args>(args)...);}

你可能会惊讶_class->*_callee这样的调用形式，但实际上这就是一个固定的写法，没什么可惊讶的，

剩下的最后一部就是将any进行类型转换并检查类型。这一步我们重写call来完成：

  any call(const std::vector<std::any>& args) override{//检查参数个数是否匹配if (args.size()!=Argc) {std::string msg = std::format("args size not match expect {} but is {}", Argc, args.size());throw std::logic_error(msg.c_str());}//应当如何包展开这个Argsauto ret = call_impl(??? Args...);return ret;}

别忘了any_cast,这可以进行类型检查。但我们同时还需要一个计数器，来看表示我们检查对象所处参数中的索引位置。这样才能访问到对应位置的参数。使用一个类包装这个操作。

struct CallHelper {int index;explicit CallHelper(int argc)	:index(argc-1) { }template<typename T>T operator()(const std::vector<any>& list){try {	//捕获异常，添加Index的提示信息auto ret = std::any_cast<T>(list[index]);index--;return ret;}catch (const std::bad_any_cast& err) {	//  再抛出异常，或者干点他什么的都可以auto msg = std::format("{}. Index: {}.", err.what(), index);throw std::logic_error(msg.c_str());}}
};

注意每次调用index不是从0开始递增，而是从argc-1开始向0递减。这是因为包展开后是如下的形式：

// Args && ... args
std::forward<Args...>(args);
//假设Args为int,double,char
//会被展开为这样的形式
std::forward<int>(v1),std::forward<int>(v2),std::forward<int>(v3)

展开成一系列的由逗号分割的表达式。重要的是——他是从右向左求值的。

  any call(const std::vector<std::any>& args) override{if (args.size()!=Argc) {std::string msg = std::format("args size not match expect {} but is {}", Argc, args.size());throw std::logic_error(msg.c_str());}//*******CallHelper helper(Argc);auto ret = call_impl(helper.operator()<Args>(args)...);//********return ret;}

Args会按照helper.operator()这个模式进行展开，从右向左的求值，使用index进行any的索引。区别于Args && .. arg中的args，这处的args只是一个vector<any>,和call_impl的args不是一个东西。也就是说，它会被展开成为这样：

//假设Args是int,char,double
helper.operator()<Args>(args)
//会被展开为
helper.operator()<int>(args),helper.operator()<char>(args),helper.operator()<double>(args)

测试：

int main()
{Foo foo;std::unique_ptr<Callable> test_foo = std::make_unique<ClassMethod<Foo, int(int, char, const std::string*)>>(&foo,&Foo::foo);std::unique_ptr<Callable> test_bar = std::make_unique<ClassMethod<Foo,int(int)>>(&foo,&Foo::bar);test_bar->call({10});string msg = "hello world";test_foo->call({make_any<int>(10), make_any<char>('A'), make_any<const std::string*>(&msg)});try {test_foo->call({});} catch (const std::exception & e) {cerr << e.what() << endl;}try {test_foo->call({1,2,3});} catch (const std::exception & e) {cerr << e.what() << endl;}}

输出：

--10--
A: hello world20
args size not match expect 3 but is 0
bad any_cast. Index: 2.进程已结束，退出代码为 0

至于其他的可调用类型例如函数指针,函数对象,则都可以使用std::functional来当作中间层来实现，就不展开说了。

完全的代码

#include <iostream>
#include <vector>
#include <memory>
#include <any>
#include <format>
using namespace std;struct Foo {int a = 10;int foo(int n, char ch, const std::string* msg){a += n;cout << ch << ": " << *msg << a << endl;return a;}int bar(int n){cout << "--" << n << "--" << endl;return n;}
};struct Callable {int _argc = 0;virtual std::any call(const std::vector<std::any>& args) = 0;virtual ~Callable() = default;
};struct CallHelper {int index;explicit CallHelper(int argc):index(argc-1) { }template<typename T>T operator()(const std::vector<any>& list){try {auto ret = std::any_cast<T>(list[index]);index--;return ret;}catch (const std::bad_any_cast& err) {auto msg = std::format("{}. Index: {}.", err.what(), index);throw std::logic_error(msg.c_str());}}
};template<typename... Args>
struct ClassMethod;template<typename ClassName, typename Ret, typename ... Args>
struct ClassMethod<ClassName, Ret(Args...)> : public Callable {static constexpr int Argc = sizeof...(Args);using Callee = Ret(ClassName::*)(Args...);explicit ClassMethod(ClassName* _class_name, Callee callee){_class = _class_name;_callee = callee;_argc = sizeof...(Args);}ClassName* _class = nullptr;Callee _callee = nullptr;ClassName* set_class(ClassName* ptr){ClassName* old = _class;_class = ptr;return old;}Callee* set_callee(Callee callee){Callee* old = _callee;_callee = callee;return old;}Ret call_impl(Args&& ... args){return (_class->*_callee)(std::forward<Args>(args)...);}any call(const std::vector<std::any>& args) override{if (args.size()!=Argc) {std::string msg = std::format("args size not match expect {} but is {}", Argc, args.size());throw std::logic_error(msg.c_str());}CallHelper helper(Argc);auto ret = call_impl(helper.operator()<Args>(args)...);return ret;}
};int main()
{Foo foo;std::unique_ptr<Callable> test_foo = std::make_unique<ClassMethod<Foo, int(int, char, const std::string*)>>(&foo,&Foo::foo);std::unique_ptr<Callable> test_bar = std::make_unique<ClassMethod<Foo,int(int)>>(&foo,&Foo::bar);test_bar->call({10});string msg = "hello world";test_foo->call({make_any<int>(10), make_any<char>('A'), make_any<const std::string*>(&msg)});try {test_foo->call({});} catch (const std::exception & e) {cerr << e.what() << endl;}try {test_foo->call({1,2,3});} catch (const std::exception & e) {cerr << e.what() << endl;}}

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.mzph.cn/bicheng/9002.shtml

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

《Fundamentals of Power Electronics》——一些常用变换器的正则电路参数值

《Fundamentals of Power Electronics》——一些常用变换器的正则电路参数值

对于理想的CCM PWM dc-dc转换器&#xff0c;其包含一个电感和电容&#xff0c;正则模型有效的低通滤波器需要包含一个电感和一个电容。正则模型简化为如下图所示。 假设电容与负载直接相连。基础的buck、boost和buck-boost转换器的参数值如下表所示。 该模型可以用传统的线性电…
阅读更多...
使用网站内容进行多渠道品牌营销的主要优势

使用网站内容进行多渠道品牌营销的主要优势

在选择服务提供商时&#xff0c;人们使用不同的方式来查找信息并与他们联系。有些人更喜欢网站&#xff0c;有些人则使用社交媒体或电子邮件。网站对于数字存在仍然至关重要&#xff0c;但跨多个渠道管理内容现在至关重要。多渠道营销以客户喜欢的方式与客户建立联系&#xff0…
阅读更多...
记住这篇！论文查重降重aigc降低一定要看！

记住这篇！论文查重降重aigc降低一定要看！

论文查重率降不下去真是受不了啊&#xff01;根本降不下去&#xff01;这些方法工具太适合我这样的论文裁缝了&#xff01; 一、论文降重/aigc降低工具 如果实在降不下去可以使用“蝌蚪论文”和“反向词典”这两个工具&#xff0c;也是我最常用的降重软件。 1.蝌蚪论文&#xf…
阅读更多...
我从这些书籍中学来的财务以及税务知识

我从这些书籍中学来的财务以及税务知识

“你不能指望在开始工作的头两年攒下任何积蓄。” 这句话一直是我的座右铭&#xff0c;也是我给大学生的个人理财建议。这也就难怪我二十出头的时候&#xff0c;基本就是靠薪水过日子。 回想起来&#xff0c;我意识到其实这并不是最好的建议&#xff0c;甚至非常不好。 我现…
阅读更多...
区块链的应用场景以及解释为什么能够保证安全提高信任度

区块链的应用场景以及解释为什么能够保证安全提高信任度

区块链的不可篡改性和透明性是其最重要的特征之一。 不可篡改性&#xff1a;是指一旦数据被写入区块链&#xff0c;就无法被修改或删除。这是因为区块链中的每个区块都包含了前一个区块的哈希值&#xff0c;这个哈希值与当前区块的数据一起计算得出。如果对当前区块的数据进行…
阅读更多...
BigInteger和BigDecimal类

BigInteger和BigDecimal类

BigInteger 和 BigDecimal 介绍 应用场景 BigInteger适合保存比较大的整型BigDecimal适合保存精度更高的浮点型&#xff08;小数&#xff09; BigInteger 和 BigDecimal 常见方法 1&#xff0c;add 加2&#xff0c;subtract 减3&#xff0c;multiply 乘4&#xff0c;divide…
阅读更多...
mysql其它补充

mysql其它补充

exist和in的区别 exists 用于对外表记录做筛选。 exists 会遍历外表&#xff0c;将外查询表的每一行&#xff0c;代入内查询进行判断。 当 exists 里的条件语句能够返回记录行时&#xff0c;条件就为真&#xff0c;返回外表当前记录。反之如果 exists 里的条件语句不能返回记…
阅读更多...
SpringBoot 使用Outlook邮箱发送邮件

SpringBoot 使用Outlook邮箱发送邮件

目录 一、开启Outlook设置 二、依赖 三、配置文件 四、代码调用 一、开启Outlook设置 开启设置如图&#xff1a; 二、依赖 <!-- 邮箱依赖 --><dependency><groupId>org.springframework.boot</groupId><artifactId>spring-boot-starter-mai…
阅读更多...
常见的IP代理网站收集

常见的IP代理网站收集

收集的网站代理IP仅用于学习和测试&#xff0c;严禁用于非法用途&#xff0c;因非法使用导致的法律责任由用户承担。 免费代理网站&#xff1a;快代理&#xff0c; 芝麻&#xff0c;太阳 &#xff0c;豌豆 &#xff0c;云代理&#xff0c;开心代理 &#xff0c; 66ip&#xff0…
阅读更多...
Nginx配置多个前端项目

Nginx配置多个前端项目

1、修改nginx.conf配置文件&#xff1b; 2、必须包含默认的跟路径 location / { root D:/work/nginx-1.22.0/html; index index.html; } 3、添加要访问的前端项目信息&#xff0c;必须使用alias而不能使用root location /…
阅读更多...
网页主题自动适配：网页跟随系统自动切换主题

网页主题自动适配：网页跟随系统自动切换主题

主题切换是网站设计中一个非常有趣的功能&#xff0c;它允许用户在多种预先设计的样式之间轻松切换&#xff0c;以改变网站的视觉表现。最常见的就是白天和黑夜主题的切换&#xff0c;用户可以根据自己的喜好进行设置。 除了让用户手动去切换主题外&#xff0c;如果能够让用户第…
阅读更多...
ChatGLM3大模型本地化部署、应用开发与微调

ChatGLM3大模型本地化部署、应用开发与微调

文章目录 写在前面ChatGLM3推荐图书作者简介推荐理由粉丝福利写在后面 写在前面 本期博主给大家推荐一本初学者学习并部署大模型的入门书籍&#xff0c;一起来看看吧&#xff01; ChatGLM3 ChatGLM3是继一系列先进语言模型之后的又一力作&#xff0c;专为追求高精度和广泛适…
阅读更多...
Eel 项目中 Python端调用JS 使用一个括号和两个括号的区别

Eel 项目中 Python端调用JS 使用一个括号和两个括号的区别

在使用 Python 第三方 GUI 库 EEL 的项目中&#xff0c;Python 文件中调用前端界面的 JS 函数时&#xff0c;使用一个括号 eel.my_function() 和使用两个括号 eel.my_function()() 存在以下区别&#xff1a; 一个括号eel.my_function()两个括号 eel.my_function()()第二个括号…
阅读更多...
2023-2024年电力行业报告合集（精选69份）

2023-2024年电力行业报告合集（精选69份）

电力行业报告/方案&#xff08;精选69份&#xff09; 2023-2024年 来源&#xff1a;2024年低空行业报告合集&#xff08;精选74份&#xff09; 【以下是资料目录】 2023中国发电企业和世界同类能源企业对标分析报告 2024电力部门碳减排技术经济管理报告 2024电力产业链分析…
阅读更多...
计算机发展史故事【6】

计算机发展史故事【6】

电脑群英谱 本世纪三、四十年代&#xff0c;是计算机发展史里最重大的收获季节。群英荟萃&#xff0c;逐鹿中原&#xff0c;鹿究竟死于谁手&#xff0c;并不是没有争议的。除了马克1 号与埃历阿克&#xff0c;还有一大批科学家为计算机的诞生作出过巨大的贡献&#xff0c;他们…
阅读更多...
智慧变电站守护者：TSINGSEE青犀AI视频智能管理系统引领行业革新

智慧变电站守护者：TSINGSEE青犀AI视频智能管理系统引领行业革新

一、方案概述 随着科技的不断进步&#xff0c;人工智能&#xff08;AI&#xff09;技术已经深入到各个领域。在变电站安全监控领域&#xff0c;引入AI视频监控智能分析系统&#xff0c;可以实现对站内环境、设备状态的实时监控与智能分析&#xff0c;从而提高变电站的安全运行…
阅读更多...
零基础入门学习Python第二阶02面向对象，迭代器生成器，并发编程

零基础入门学习Python第二阶02面向对象，迭代器生成器，并发编程

Python语言进阶 面向对象相关知识 三大支柱&#xff1a;封装、继承、多态 例子&#xff1a;工资结算系统。 """月薪结算系统 - 部门经理每月15000 程序员每小时200 销售员1800底薪加销售额5%提成"""from abc import ABCMeta, abstractmethodcl…
阅读更多...
docker-compose集成elk（基于logstash+filebeat）采集java和nginx日志

docker-compose集成elk（基于logstash+filebeat）采集java和nginx日志

1.准备compose.yml编排式文件 services: #日志信息同步logstash:container_name: logstashimage: docker.elastic.co/logstash/logstash:7.17.14 #logstash:command: logstash -f /usr/share/logstash/pipeline/logstash.confdepends_on:- elasticsearchrestart: on-failurepo…
阅读更多...
解决$‘\r‘: command not found 或syntax error near unexpected token `$‘\r‘的四个方法

解决$‘\r‘: command not found 或syntax error near unexpected token `$‘\r‘的四个方法

问题原因&#xff1a; 两个报错原因都是Linux和windows下的回车换行符不兼容 解决方法&#xff1a; 方法一&#xff1a;在windows系统可以用文本编辑器查看所有字符&#xff0c;例如notepad&#xff0c;编辑->档案格式转换->转换为UNIX格式 方法二&#xff1a;在Linux系…
阅读更多...
Vue的省份联动

Vue的省份联动

Vue的省份联动 一、安装依赖库 npm install element-china-area-data -Snpm install element-ui --save全局使用elemntui组件库 import ElementUI from element-ui; import element-ui/lib/theme-chalk/index.css;Vue.use(ElementUI);二 、代码如下 <template><div…
阅读更多...
最新文章

Copyright @ 2022~2023