基类使用私有数据_C++ 设计模式 | 非侵入式多基类访问器

最新推荐文章于 2022-05-10 23:49:03 发布
最新推荐文章于 2022-05-10 23:49:03 发布
阅读量135 收藏 2
点赞数
文章标签： 基类使用私有数据 非侵入式负荷监测

2f682290068151428bf466402e4796b0.png

0. 简述

本文首先通过实例讲述访问者模式的使用方式，并引出该模式一般实现的两大弊端，然后给出解决这些弊端的实现——非侵入式多基类访问器 MultiVisitor。

项目地址

https://github.com/Ubpa/UDP​github.com

1. 访问者模式

C++ 是面向对象 OOP 语言，会将数据与函数封装成一个类。然而对于操作多变的场合，将一堆函数写进该对象里会使其变得十分臃肿。这就需要访问者模式了，它可以将数据与操作进行解耦，使类的设计更加合理。

1.1 例述

如下例子，一堆图形需要绘制，类设计如下

07c17313b8edbc95a4ab16be78a8d1e4.png

后边新需求来了，需要将他们序列化，因此改为

56686dd7449f4a54ea2212be3320873a.png

我们发现，每当有个新需求，就得把所有的类都进行改动，这违反了原则 对扩展开放,对修改关闭。

因此我们就使用访问者模式

8121f280849582310c0c3c18f5eb6f50.png

这样我们就支持了多变的操作（Draw, Serialize）

1.2 优点

逻辑并不能通过这种模式而减少，设计模式是为了更好地组织代码而存在。访问者模式将同类操作的代码从数据类中转移到了访问者中，进行集中管理，极大地增强了代码的规整性，方便修改。另外也能在扩充操作的时候，不改动数据类。

所以说该模式只是移动了代码是片面的说法，而应该是

  • 代码提高规整性
  • 对扩展开放，对修改关闭

2. 访问者模式的两宗罪

2.1 侵入式

我们需要在每一个类内写上 accept(IVisitor*)，这将使代码变丑。另外用别人的库的时候，我们也没法在其中添加 accept 函数。搞个装饰器什么的强行加 accept 就更丑了 。

2.2 单基类

现在又来了新的一系列化妆品类，有口红，唇釉，也需要序列化，则初步改动如下

  • 抽象出了 IElement 接口，表示可以被 IVisitor 访问
  • 扩充了 IVisitor 接口

cc537c43c7f574d027bd38bff2f4ae4e.png

这种改动很差，因为化妆品跟 Drawer 毫无关系，因此 Drawer 增加的代码是无用的。问题本质在于耦合了两类事物：图像和化妆品。

更正确的设计如下

  • 不用公共的 IVisitor 和 IElement
  • 每个类写上 accept(Drawer*) 和 accept(Serializer*)

f5fc952abcd293de3ae5c57463b61889.png

然而我们看到，Figure 又回到了最初的情况

因此，访问者模式更正确的理解是：只适合于新的需求只需要访问这一类事物。但对于序列化，又是需要访问多种事物的，因此要么搞出 FigureSerializer : IFigureVisitor 和 CosmeticSerializer 从而 Figure 只要一个 accept(IFigureVisitor*)；或者就像上边那样。

3. 非侵入式

本节解决访问者模式的第一宗罪：侵入式

这样，图像和化妆品类无需任何改动

74336c2dd929e22310a6ab6f222d5e1f.png

舒适极了

然后写一个基础可复用的 Visitor 类

edbaa80d86466a15e3dbda9bcf29e956.png

上边涉及四个重要的点

  • CRTP（Impl用于方便注册成员函数 ImplVisit）
  • 成员函数指针获取（这是获取重载函数的方法）与调用 ->*
  • 回调（Regist 中只需要 static_cast）
  • RTTI（typeid）
CRTP 就是把派生类放在模板参数里，使得基类可以 static_cast<Impl*>(this) 得到派生类 Impl 的指针
成员函数指针就是 &Type::Func，调用时就 (ptr_obj->*ptr_func)(args...) static_cast 类指针就是先查了类的偏移表， static_cast<Derived*>(ptr_base) == ptr_base + offset(Base, Derived) dynamic_cast<Derived*>(ptr_base) 就是 typeid(*ptr_base) == typeid(Derived)?static_cast<Derived*>(ptr_base):nullptr
这里因为 callbacks 的 key 就是 type_info，相当于进行了检查 typeid，所以 Regist 内用了 static_cast

这样我们就可以愉快地写 Drawer 了

76ac8a0a0da5b7d5016dfa90c024bae1.png

另外，Visitor 并不是只能注册成员函数，lambda 函数也是完全可以的，因此可以动态生成合适的访问器。

4. 多基类访问

上一节引入了 Visitor，但只能访问一个基类

这一节我们可以利用 C++11 的变长参数模板，搞出一个多基类访问器 MultiVisitor，这样就能访问多个基类了，从而实现序列化类的需求

61a2c7f202571b947e317a70ba18a4e7.png

可以看到该类十分简单，主要技术点如下

  • 继承于多 Visitor
  • Regist 的时候通过模板编程的技巧找出 Derived 在 Bases... 中的基类BaseOfDerived （FilterBase 的具体实现参看源码）
  • 暴露出子类的 Visit 接口

这样序列化类就能写成

f2dd2b1dff3451f642062e08818568bf.png

5. 意外的惊喜

这种方式支持 virtual，如下

a55077f2213663eb9cb430f240566018.png

然后我们搞两个序列化器

065a393ed8fb6a4e84413ae447ee6b53.png

原因在于 Visitor 在 Regist 的时候，取了成员函数指针 menberFunc，然后通过 ->* 方式调用，这种方式是支持虚函数的。

6. 性能测试

G5400 单核

‭‭67108864‬ 次访问，访问内部做 1 次浮点乘法

  • 无设计模式耗时：0.573853 s
  • 原访问者模式耗时：1.51303 s
  • 非侵入式多基类访问者模式耗时：6.12777 s

‭‭‭16777216‬ 次访问，访问内部做 64 次浮点乘法

  • 无设计模式耗时：9.0699 s
  • 原访问者模式耗时：9.12801 s
  • 非侵入式多基类访问者模式耗时：9.15713 s

可以看到从机制上讲，非侵入式多基类访问者模式的开销是一般访问者模式的 4 倍左右。虚函数开销是普通函数调用的 3 倍左右

当访问内部做 64 次浮点乘法时，非侵入式多基类访问者模式开销多了 1% 左右，而原访问者模式耗时多了 0.6%，也就是少开销了 0.4%

总得来说，非侵入式多基类访问者模式纯机制消耗是原访问者模式的 4 倍，但本身数量级很小，在正常的运算中，多了微乎其微，当需要用访问者模式的时候，没必要因为性能而有所畏惧。

6. 总结

最终搞出的访问器 MultiVisitor 有如下特征

  • 操作与逻辑解耦
  • 非侵入式
  • 可访问多基类

从而使得访问器模式真正达到了灵活可用的模式

篇幅有限，本文不再讲述一些细节点

  • 通过变长参数模板实现 Regist<type0, type1, ...>
  • 用 protected 隐藏 ImplVisit 后不使用 friend 的情况下让 Visitor 可访问其成员函数 ImplVisit（MultiVisitor 用了 private 继承，就已经需要这个技术了）
  • 用static_assert 来简化报错信息（比如要求 Base 为多态类，Bases 应该是独立的，即其中没有父子 is_base_of 关系）
  • 利用 vfptr 来判同，从而不需要 RTTI，速度快了非常多，但 vfptr 不是标准的，但几乎都是如此，对此常见的做法就是利用宏来配置，这也是开源库的常见操作（跨标准方式）
  • ...

目前该模式已经用到了我引擎（RenderLab）中了，真是舒服，日后会更多地应用。

感谢大家的阅读

github private链接访问_C++泛化的非侵入式访问者接口
weixin_31948907的博客
12-10 222
本文使用 Zhihu On VSCode 创作并发布[TOC]前言前阵子看了下TVM的functor相关的源码和@Ubp.a的一篇有关非侵入式访问者接口的文章，有了点想法，试着写了一个较为泛化的非侵入式访问者接口。（对相关概念不熟的建议先看一下Ubp.a的文章）基本思路思路和Ubp.a的文章的类似：显式地保存一个虚表，在访问者类构造时将目标的子类和对应的派发函数登记到表上，在访问时根据传入的基类指...
C++基类和派生类访问详解
程序猿的博客
07-09 2667
通过继承机制，可以利用已有的数据类型来定义新的数据类型。所定义的新的数据类型不仅拥有新定义的成员，而且还同时拥有旧的成员。我们称已存在的用来派生新类的类为基类，又称为父类。由已存在的类派生出的新类称为派生类，又称为子类。 在C++语言中，一个派生类可以从一个基类派生，也可以从多个基类派生。从一个基类派生的继承称为单继承；从多个基类派生的继承称为多继承。 派生类的定义格式 单继承的定义格式如下： class <派生类名>:<继承方式><基类名> 　　　　{ 　　　　　&l
C++编写非侵入式接口
08-29
主要介绍了C++编写非侵入式接口的相关资料,需要的朋友可以参考下
java非侵入式接口实现,C++编写非侵入式接口
weixin_39657662的博客
03-16 170
终于写到c++的非侵入式接口了，兴奋，开心，失望，解脱，…… 。在搞了这么多的面向对象科普之后，本人也已经开始不耐烦，至此，不想做太多阐述。虽然，很早就清楚怎么在c++下搞非侵入式接口，但是，整个框架代码，重构了十几次之后，才终于满意。支持给基本类型添加接口，好比int，char，const char*，double；支持泛型，好比vector，list；支持继承，基类实现的接口，表示子类也继承了...
idea重写接口没有@override_C++的接口与非侵入式接口
weixin_39963255的博客
11-29 71
本来是要哀悼一下COM以及ATL，但是在此之前，先铺垫一下接口的知识，以及一点深入的探讨。现在看来，接口在静态类型的面向对象语言中，好比Java、C#，地位显赫，猿语只要敢声称其支持面向对象的理念，那么其语言机制中必定存在接口的概念，哪怕go语言不待见继承（其实继承是很好抽象手段），它也有接口的语法，并且据说还是唯一必须保留的特性。众所周知，C++里面的接口与众不同，接口实现与类实现混为一体，或者...
DesignPattern_设计模式c++_
10-04
本资源"DesignPattern_设计模式c++_"是一个关于C++设计模式的简单实现集合，适合初学者作为入门教程来学习。 1. **单例模式（Singleton）**：保证一个类只有一个实例，并提供全局访问点。在C++中，通常通过私有化...
C++设计模式实例代码.rar
04-01
本压缩包“C++设计模式实例代码.rar”包含了实现这些模式的实际代码示例，旨在帮助开发者深入理解和应用设计模式，提升软件的可维护性和可扩展性。 首先，我们来看“单例模式”。单例模式确保一个类只有一个实例，...
设计模式C++设计模式代码
11-13
本资料包含C++设计模式的代码实现和PDF文档，旨在帮助开发者深入理解和应用这些模式。 一、单例模式（Singleton） 单例模式确保一个类只有一个实例，并提供一个全局访问点。在C++中，可以通过私有构造函数和静态...
C++设计模式——单件模式（singleton pattern）
净无邪博客
08-30 1619
一、原理讲解 由于单件模式也称为单例模式，分为懒汉式单例模式和饿汉式单例模式，两者主要区别是类对象的返回是在编译时创建？还是调用时才创建？其中，懒汉式单例模式是在程序调用时才创建，而饿汉式单例模式是在程序编译时期创建类实例。懒汉式是非线程安全的，而饿汉式是线程安全的。因为项目中用懒汉式比较多，所以本文主要总结的是懒汉式单例模式。饿汉式单例模式可以参考博主这篇文章：单例模式（饿汉式） 1.1意图 保证一个类仅有一个实例，并提供一个访问它的全局访问点。 1.2应用场景 当一个类只有一个实例，而且客户端可以从一
侵入式接口&非侵入式接口
Aaron_80726的博客
09-11 2474
  侵入式接口：例如Java、C++语言主要表现在实现类需要明确指出自己实现了某个接口. 代码示例 //定义一个接口 interface Person{     void sleep();     void run();     void eat(); } //创建一个Student类 实现Person接口 class Student implements Person{     ...
非侵入C++ ORM
lk_HIT的博客
08-10 1341
最近工作中需要将一些信息保存到数据库，由于使用的是C++，没有反射机制，所以对应的ORM库非常少，手写sql又非常麻烦，这个时候非常羡慕java,C#等语言可以在编译的时候就将字段信息等编译到可执行文件中，因此可以非常轻松的实现反射，也有非常多好用成熟的ORM库。 本文主要是利用C++的宏和模板来实现非侵入式简单的C++ORM的功能（主要是针对sqlite数据库） （1）要利用C++实现反射，最主要的是可以获取C++结构体各个字段的字段名，字段类型。我在网上找到一段如下的宏可以很好的解决这个问题。
你知道的C++接口方法有这些吗？
Hsuesh的博客
09-12 2323
程序开发的时候经常会使用到接口。众所周知，C++语言层面并没有接口的概念，但并不意味着C++不能实现接口的功能。相反，正是由于C++语言没有提供标准的接口，导致实际实现接口的方法多种多样。那么C++有哪些实现接口的方法呢，不同的方法又适用于哪些场景呢？本文分享在C++接口工程实践上的一些探索心得。 一、 接口的分类 接口按照功能划分可以分为调用接口与回调接口： 调用接口 一段代码、一个模块、一个程序库、一个服务等（后面都称为系统），对外提供什么功能，以接口的形式暴露出来，用户只需要关心接口怎么调
No-intrusive, 非侵入式接口设计
weixin_30920853的博客
11-21 120
Go语言的Interface很大不同于C#,Java这种OOP语言的，其强大之处之一在于非侵入式设计。 先引用一段基于C++的关于非侵入性的阐述 http://blog.csdn.net/chelsea/article/details/446298 基础复杂性是守恒的，需要解决的基本问题始终是需要解决的；最终的复杂性，却取决于基础复杂性彼此间的依赖，如果互相依赖，最终将得到指数级的复杂性，...
深入浅出入侵式容器
热门推荐
weixin_42663840的博客
07-24 1万+
记得大学刚毕业那年看了侯俊杰的《深入浅出MFC》，就对深入浅出这四个字特别偏好，并且成为了自己对技术的要求标准——对于技术的理解要足够的深刻以至于可以用很浅显的道理给别人讲明白。以下内容为个人见解，如有雷同，纯属巧合，如有错误，烦请指正。 在说入侵式容器前，先说一说什么是容器，本文提到的容器与docker一点关系都没有，是C++标准库中std::map、std::set、std::list等用来...
C++设计模式讲解及源码资源.rar
01-16
《C++设计模式详解与实践》 在软件开发领域，设计模式是经过长期实践和验证的、解决常见问题的有效方案。C++作为一门强大的面向对象编程语言，其丰富的特性和强大的功能使得设计模式在其中得以广泛应用。本资源集合...
C++设计模式pdf高清版
05-12
C++设计模式是软件开发中的重要概念，它们是解决常见编程问题的经验总结，可以提高代码的可重用性、可维护性和可扩展性。《C++设计模式k_eckel版》是由著名C++专家Scott Meyers和Bertrand Meyer等人在经典书籍《设计...
this 是 nullptr_C++智能指针3：内存布局（非侵入式、enable_shared_from_this & 侵入式）...
weixin_39596090的博客
12-01 609
前两篇文章都关于智能指针。第一篇由Observer模式切入，主要讨论了std::weak_ptr的比较操作以及避免std::shared_ptr环形引用，提及了std::enable_shared_from_this，主要集中在应用方面。第二篇由多态切入，从MSVC的实现剖析std::shared_ptr内部指针所指涉的静态类型以解释析构行为。然而还有一些关键问题没有澄清，比如智能指针的内存布局。...
c++侵入式对象计数设计技术
wintree的专栏
12-08 4047
侵入式对象计数的设计原理相对非侵入式的来说： 具有以下优点： 1、一个资源对象无论被多少个侵入式智能指针包含，从始至终只有一个引用计数变量，不需要在每一个使用智能指针对象的地方都new一个计数对象，这样子效率比较高，使用内存也比较少，也比较安全；2、因为引用计数存储在对象本身，所以在函数调用的时候可以直接传递资源对象地址，而不用担心引用计数值丢失（非侵入式智能指针对象的拷贝，必须带着智能指针模
C++ 共享指针四宗罪
青春不老，奋斗不止！
05-10 635
星标/置顶公众号????，硬核文章第一时间送达！问题描述在基于C++的大型系统的设计实现中，由于缺乏语言级别的GC支持，资源生存周期往往是一个棘手的问题。系统地解决这个问题的方法无非两种：使用GC库使用引用计数严格地说，引用计数其实也是一种最朴素的GC。相对于现代的GC技术，引用计数的实现简单，但相应地，它也存在着循环引用和线程同步开销等问题。关于这二者孰优孰劣，已经有过很多...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值