C++编写非侵入式接口

发布时间 - 2026-01-11 02:22:02    点击率:

终于写到c++的非侵入式接口了,兴奋,开心,失望,解脱,…… 。在搞了这么多的面向对象科普之后,本人也已经开始不耐烦,至此,不想做太多阐述。

虽然,很早就清楚怎么在c++下搞非侵入式接口,但是,整个框架代码,重构了十几次之后,才终于满意。支持给基本类型添加接口,好比int,char,const char*,double;支持泛型,好比vector,list;支持继承,基类实现的接口,表示子类也继承了对该接口的实现,而且子类也可以拒绝基类的接口,好比鸭子拒绝基类鸟类“会飞”,编译时报错;支持接口组合;……,但是,这里仅仅简单介绍其原理,并不涉及C++中各种变态细节的处理,C++中,但凡是要正儿八经的稍微做点正事,就要面临无穷无尽的细节纠结。

先看看其使用例子:

1、自然是定义一个接口:取之于真实代码片段

  struct IFormatble
  {
    static TypeInfo* GetTypeInfo();
    virtual void Format(TextWriter& stream, const FormatInfo& info) = 0;
    virtual bool Parse(TextReader& stream, const FormatInfo& info)
    {
      PPNotImplement();
    }
  };

2、接口的实现类,假设为int添加IFormatble的接口实现,实际代码肯定不会这样对一个一个的基本类型来写实现类的代码。这里只是为了举例说明。类的名字就随便起好啦,

  struct ImpIntIFormatble : IFormatble
  {
    int* mThis;  //这一行是关键
    virtual void Format(TextWriter& stream, const FormatInfo& info)override
    {}

    virtual bool Parse(TextReader& stream, const FormatInfo& info)override
    {}
  };


这里的关键是,实现类的字段被规定死了,最多只能包含3个指针成员字段,且第1个字段一定是目的类型指针,第二是类型信息对象(用于泛型),第三是额外参数,次序不能乱。成员字段如果不需要用到第二第三个成员字段数据,可以省略不写,好比这里。所有接口实现类必须遵守这样的内存布局;

3、装配,将接口的实现类装配到现有的类上,以告诉编译器该类对于某个接口(这里为IFormatble)的实现,用的是第2步的实现类ImpIntIFormatble;

PPInterfaceOf(IFormatble, int, ImpIntIFormatble)

4、将实现类注册到类型信息的接口实现列表中,这一步可以省略,只是为了运行时的接口查询,相当于IUnknown的Query。这一行代码是在全局对象的构造函数中执行的,放在cpp源文件中

RegisterInterfaceImp<IFormatble, int>();

然后就可以开开心心地使用接口了,比如

      int aa = 20;
      TextWriter stream();
      FormatInfo info();
      TInterface<IFormatble> formatable(aa); //TInterface这个名字过难看,也没办法了
      formatable->Format(stream, info);
      double dd = 3.14;
      formatable = TInterface<IFormatble>(dd);  //假设double也实现IFormatble
      formatable->Format(stream, info);

是否有点神奇呢?其实也没什么,不过就是在trait和内存布局上做文章,也就只是用了类型运算的伎俩。考察ImpIntIFormatble的内存布局,对于普遍的c++编译器来说,对象的虚函数表指针(如果存在的话),都放在对象的起始地址上,后面紧跟对象本身的成员数据字段,因此,ImpIntIFormatble的内存布局相当于,

struct ImpIntIFormatble
{
  void* vtbl;
  int* mThis;
};
 

注意,这里已经没有继承了。这就是,实现了IFormatble 接口的ImpIntIFormatble对象的内存表示。因此,可以想象,所有的接口实现类的内存布局都强制规定为以下形式:

  struct InterfaceLayout
  {
    const void* mVtbl;
    const void* mThis;      //对象本身
    const TypeInfo* mTypeInfo;  //类型信息
    const void* mParam;  //补充参数,一般很少用到
  };



当然,如果编译器的虚函数表指针不放在对象起始地址的话,就没法这么玩了,那么非侵入式接口也无从做起。然后,就是TInterface了,继承于InterfaceLayout

  template<typename IT>
  struct TInterface : public InterfaceLayout
  {
    typedef IT interface_type;
    static_assert(is_abstract<IT>::value, "interface must have pure function");
    static_assert(sizeof(IT) == sizeof(void*), "Can't have data");
  public:
    interface_type* operator->()const
    {
      interface_type* result = (interface_type*)(void*)this;
      return result;
    }
    
  };



不管怎么说都好,TInterface对象的内存布局与接口实现类的内存布局一致。因此操作符->重载函数才可以粗暴的类型转换来顺利完成。然后构造TInterface对象的时候就是强制获取ImpIntIFormatble对象的虚函数表(也就是其起始地址的指针数据)指针赋值给InterfaceLayout的mVtbl,进而依次把实际对象的指针放在mThis上,获取到类型信息对象放在mTypeInfo中,如果有必要搭理mParam,也相应地赋值。

然后,就是template<typename Interface, typename Object>struct InterfaceOf各种特化的运用而已,就不值一提了。

由于c++的abi没有统一标准,并且,c++标准也没有规定编译器必须用虚函数表来实现多态,所以,这里的奇技淫巧并不能保证在所有平台上都能够成立,但是,非侵入式接口真是方便,已经是本座写c++代码的核心工具,一切都围绕着非侵入式接口来展开。

原本打算长篇大论,也只有草草收场。之后,本座就解放了,会暂时离开cppblog很久,计划中的内容,消息发送,虚模板函数,字符串,输入输出,格式化,序列化, locale,全局变量,模板表达式,组合子解析器,allocator,智能指针,程序运行时,抽象工厂访问者等模式的另类实现,以求从全新的角度上来表现C++的强大,也只能中断了。


# 接口的侵入式与非入侵式  # C++接口  # c++非侵入式接口  # C++通过COM接口操作PPT  # 浅谈java的接口和C++虚类的相同和不同之处  # C++实现“隐藏实现  # 开放接口”的方案  # C++访问Redis的mset 二进制数据接口封装方案  # SQLite教程(二):C/C++接口简介  # C++ COM编程之接口背后的虚函数表  # C++ COM编程之什么是接口?  # C++调用迅雷接口解析XML下载功能(迅雷下载功能)  # C++中抽象类和接口的区别介绍  # 放在  # 也没  # 子类  # 这一行  # 的是  # 奇技淫巧  # 本座  # 特化  # 是在  # 草草收场  # 太多  # 也就  # 不需要  # 这就是  # 死了  # 这么多  # 一切都  # 继承了  # 很久  # 长篇大论 


相关栏目: 【 网站优化151355 】 【 网络推广146373 】 【 网络技术251813 】 【 AI营销90571


相关推荐: 使用spring连接及操作mongodb3.0实例  Thinkphp 中 distinct 的用法解析  详解免费开源的.NET多类型文件解压缩组件SharpZipLib(.NET组件介绍之七)  Laravel广播系统如何实现实时通信_Laravel Reverb与WebSockets实战教程  如何撰写建站申请书?关键要点有哪些?  Laravel如何使用API Resources格式化JSON响应_Laravel数据资源封装与格式化输出  Laravel如何发送系统通知?(Notification渠道示例)  网站制作报价单模板图片,小松挖机官方网站报价?  Android使用GridView实现日历的简单功能  如何在景安云服务器上绑定域名并配置虚拟主机?  Laravel Eloquent:优雅地将关联模型字段扁平化到主模型中  高性能网站服务器配置指南:安全稳定与高效建站核心方案  青岛网站建设如何选择本地服务器?  如何自定义safari浏览器工具栏?个性化设置safari浏览器界面教程【技巧】  如何基于PHP生成高效IDC网络公司建站源码?  高防服务器租用首荐平台,企业级优惠套餐快速部署  Laravel如何使用集合(Collections)进行数据处理_Laravel Collection常用方法与技巧  香港网站服务器数量如何影响SEO优化效果?  制作网站软件推荐手机版,如何制作属于自己的手机网站app应用?  Claude怎样写约束型提示词_Claude约束提示词写法【教程】  Swift开发中switch语句值绑定模式  如何在阿里云域名上完成建站全流程?  如何构建满足综合性能需求的优质建站方案?  如何在云虚拟主机上快速搭建个人网站?  Laravel辅助函数有哪些_Laravel Helpers常用助手函数大全  Linux网络带宽限制_tc配置实践解析【教程】  Laravel Seeder怎么填充数据_Laravel数据库填充器的使用方法与技巧  车管所网站制作流程,交警当场开简易程序处罚决定书,在交警网站查询不到怎么办?  Android自定义listview布局实现上拉加载下拉刷新功能  如何在IIS中新建站点并配置端口与物理路径?  移动端脚本框架Hammer.js  软银砸40亿美元收购DigitalBridge 强化AI资料中心布局  东莞专业网站制作公司有哪些,东莞招聘网站哪个好?  html5的keygen标签为什么废弃_替代方案说明【解答】  香港服务器WordPress建站指南:SEO优化与高效部署策略  深圳网站制作设计招聘,关于服装设计的流行趋势,哪里的资料比较全面?  如何在HTML表单中获取用户输入并结合JavaScript动态控制复利计算循环  Laravel项目如何进行性能优化_Laravel应用性能分析与优化技巧大全  laravel怎么用DB facade执行原生SQL查询_laravel DB facade原生SQL执行方法  高端建站三要素:定制模板、企业官网与响应式设计优化  详解CentOS6.5 安装 MySQL5.1.71的方法  ,交易猫的商品怎么发布到网站上去?  php静态变量怎么调试_php静态变量作用域调试技巧【解答】  如何在腾讯云服务器快速搭建个人网站?  Laravel中DTO是什么概念_在Laravel项目中使用数据传输对象(DTO)  微信小程序 input输入框控件详解及实例(多种示例)  原生JS获取元素集合的子元素宽度实例  如何有效防御Web建站篡改攻击?  Gemini手机端怎么发图片_Gemini手机端发图方法【步骤】  今日头条AI怎样推荐抢票工具_今日头条AI抢票工具推荐算法与筛选【技巧】