【more effective c++读书笔记】【第5章】技术(7)——让函数根据一个以上的对象类型来决定如何虚化(1)

2023-10-18 05:32
文章标签 c++ 类型 技术 函数 对象 读书笔记 以上 虚化 effective 决定

本文主要是介绍【more effective c++读书笔记】【第5章】技术(7)——让函数根据一个以上的对象类型来决定如何虚化(1)，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

一个虚函数调用动作称为一个消息分派，如果某个函数调用根据两个参数而虚化就称为双重分派，根据多个函数而虚化称为多重分派。C++不支持双重分派和多重分派，因此我们必须自己实现。有以下几种方法：

一、虚函数 + RTTI（运行时期类型辨识）

//GameObject.h
#ifndef GAMEOBJECT_H
#define GAMEOBJECT_Hclass GameObject{ //抽象基类
public:virtual void collide(GameObject& otherObject) = 0;
};class SpaceShip : public GameObject{ //宇宙飞船类
public:virtual void collide(GameObject& otherObject);
};class SpaceStation : public GameObject{ //太空站类
public:virtual void collide(GameObject& otherObject);
};class Asteroid : public GameObject{ //小行星类
public:virtual void collide(GameObject& otherObject);
};class CollisionWithUnkonwnObject{//异常类
public:CollisionWithUnkonwnObject(GameObject& whatWeHit);
};#endif
//GameObject.cpp
#include"GameObject.h"
#include<iostream>void SpaceShip::collide(GameObject& otherObject){const type_info& objectType = typeid(otherObject);if (objectType == typeid(SpaceShip)){SpaceShip& ss = static_cast<SpaceShip&>(otherObject);std::cout << "SpaceShip=>SpaceShip" << std::endl;}else if (objectType == typeid(SpaceStation)){SpaceStation& ss = static_cast<SpaceStation&>(otherObject);std::cout << "SpaceShip=>SpaceStation" << std::endl;}else if (objectType == typeid(Asteroid)){Asteroid& a = static_cast<Asteroid&>(otherObject);std::cout << "SpaceShip=>Asteroid" << std::endl;}else {throw CollisionWithUnkonwnObject(otherObject);}
}void SpaceStation::collide(GameObject& otherObject){const type_info& objectType = typeid(otherObject);if (objectType == typeid(SpaceShip)){SpaceShip& ss = static_cast<SpaceShip&>(otherObject);std::cout << "SpaceStation=>SpaceShip" << std::endl;}else if (objectType == typeid(SpaceStation)){SpaceStation& ss = static_cast<SpaceStation&>(otherObject);std::cout << "SpaceStation=>SpaceStation" << std::endl;}else if (objectType == typeid(Asteroid)){Asteroid& a = static_cast<Asteroid&>(otherObject);std::cout << "SpaceStation=>Asteroid" << std::endl;}else {throw CollisionWithUnkonwnObject(otherObject);}
}void Asteroid::collide(GameObject& otherObject){const type_info& objectType = typeid(otherObject);if (objectType == typeid(SpaceShip)){SpaceShip& ss = static_cast<SpaceShip&>(otherObject);std::cout << "Asteroid=>SpaceShip" << std::endl;}else if (objectType == typeid(SpaceStation)){SpaceStation& ss = static_cast<SpaceStation&>(otherObject);std::cout << "Asteroid=>SpaceStation" << std::endl;}else if (objectType == typeid(Asteroid)){Asteroid& a = static_cast<Asteroid&>(otherObject);std::cout << "Asteroid=>Asteroid" << std::endl;}else {throw CollisionWithUnkonwnObject(otherObject);}
}CollisionWithUnkonwnObject::CollisionWithUnkonwnObject(GameObject& whatWeHit){std::cout << "异常类" << std::endl;
}
//main.cpp
#include"GameObject.h"
#include<iostream>
using namespace std;int main(){SpaceShip sp;SpaceStation ss;Asteroid ad;sp.collide(sp);sp.collide(ss);sp.collide(ad);cout << "-----------" << endl;ss.collide(sp);ss.collide(ss);ss.collide(ad);cout << "-----------" << endl;ad.collide(sp);ad.collide(ss);ad.collide(ad);system("pause");return 0;
}

这种方法会破坏封装，因为每一个collide函数都必须知道其每一个兄弟类。如果有新型对象加入上述例子中，必须修改上述例子中的每一个可能遭遇新对象的RTTI-based if-then-else链。

二、只使用虚函数

//GameObject.h
#ifndef GAMEOBJECT_H
#define GAMEOBJECT_Hclass SpaceShip;
class SpaceStation;
class Asteroid;class GameObject{ //抽象基类
public:virtual void collide(GameObject& otherObject) = 0;virtual void collide(SpaceShip& otherObject) = 0;virtual void collide(SpaceStation& otherObject) = 0;virtual void collide(Asteroid& otherObject) = 0;
};class SpaceShip : public GameObject{ //宇宙飞船类
public:virtual void collide(GameObject& otherObject);virtual void collide(SpaceShip& otherObject);virtual void collide(SpaceStation& otherObject);virtual void collide(Asteroid& otherObject);
};class SpaceStation : public GameObject{ //太空站类
public:virtual void collide(GameObject& otherObject);virtual void collide(SpaceShip& otherObject);virtual void collide(SpaceStation& otherObject);virtual void collide(Asteroid& otherObject);
};class Asteroid : public GameObject{ //小行星类
public:virtual void collide(GameObject& otherObject);virtual void collide(SpaceShip& otherObject);virtual void collide(SpaceStation& otherObject);virtual void collide(Asteroid& otherObject);
};class CollisionWithUnkonwnObject{//异常类
public:CollisionWithUnkonwnObject(GameObject& whatWeHit);
};#endif
//GameObject.cpp
#include"GameObject.h"
#include<iostream>void SpaceShip::collide(GameObject& otherObject){otherObject.collide(*this);
}
void SpaceShip::collide(SpaceShip& otherObject){std::cout << "SpaceShip=>SpaceShip" << std::endl;
}
void SpaceShip::collide(SpaceStation& otherObject){std::cout << "SpaceShip=>SpaceStation" << std::endl;
}
void SpaceShip::collide(Asteroid& otherObject){std::cout << "SpaceShip=>Asteroid" << std::endl;
}void SpaceStation::collide(GameObject& otherObject){otherObject.collide(*this);
}
void SpaceStation::collide(SpaceShip& otherObject){std::cout << "SpaceStation=>SpaceShip" << std::endl;
}
void SpaceStation::collide(SpaceStation& otherObject){std::cout << "SpaceStation=>SpaceStation" << std::endl;
}
void SpaceStation::collide(Asteroid& otherObject){std::cout << "SpaceStation=>Asteroid" << std::endl;
}void Asteroid::collide(GameObject& otherObject){otherObject.collide(*this);
}
void Asteroid::collide(SpaceShip& otherObject){std::cout << "Asteroid=>SpaceShip" << std::endl;
}
void Asteroid::collide(SpaceStation& otherObject){std::cout << "Asteroid=>SpaceStation" << std::endl;
}
void Asteroid::collide(Asteroid& otherObject){std::cout << "Asteroid=>Asteroid" << std::endl;
}CollisionWithUnkonwnObject::CollisionWithUnkonwnObject(GameObject& whatWeHit){std::cout << "异常类" << std::endl;
}
//main.cpp
#include"GameObject.h"
#include<iostream>
using namespace std;int main(){SpaceShip sp;SpaceStation ss;Asteroid ad;sp.collide(sp);sp.collide(ss);sp.collide(ad);cout << "-----------" << endl;ss.collide(sp);ss.collide(ss);ss.collide(ad);cout << "-----------" << endl;ad.collide(sp);ad.collide(ss);ad.collide(ad);system("pause");return 0;
}

上述例子的基本思想是将双重分派以两个单一分派（也就是两个分离的虚函数调用）实现出来，其一用来决定第一对象的动态类型，其二用来决定第二对象的动态类型。缺点是与虚函数+ RTTI解法一样，每个类都必须知道其兄弟类。一旦有新的类加入，代码就必须修改。

三、自行仿真虚函数表格（使用成员函数的碰撞处理函数）

//GameObject.h
#ifndef GAMEOBJECT_H
#define GAMEOBJECT_H#include<string>
#include<map>class GameObject{ //抽象基类
public:virtual void collide(GameObject& otherObject) = 0;
};class SpaceShip : public GameObject{ //宇宙飞船类
public://使用成员函数的碰撞处理函数virtual void collide(GameObject& otherObject);virtual void hitSpaceShip(GameObject& spaceShip);virtual void hitSpaceStation(GameObject& spaceStation);virtual void hitAsteroid(GameObject& asteroid);
private:typedef void(SpaceShip::*HitFunctionPtr)(GameObject&);//成员函数指针//函数表的类型：每项关联了碰撞函数参数的动态类型名和碰撞函数本身  typedef std::map<std::string, HitFunctionPtr> HitMap;//在函数表中查找需要的碰撞函数  static HitFunctionPtr lookup(const GameObject& whatWeHit);//建立函数表static HitMap* initializeCollisionMap();
};class SpaceStation : public GameObject{ //太空站类
public://使用成员函数的碰撞处理函数virtual void collide(GameObject& otherObject);virtual void hitSpaceShip(GameObject& spaceShip);virtual void hitSpaceStation(GameObject& spaceStation);virtual void hitAsteroid(GameObject& asteroid);
private:typedef void(SpaceStation::*HitFunctionPtr)(GameObject&);//成员函数指针//函数表的类型：每项关联了碰撞函数参数的动态类型名和碰撞函数本身  typedef std::map<std::string, HitFunctionPtr> HitMap;//在函数表中查找需要的碰撞函数  static HitFunctionPtr lookup(const GameObject& whatWeHit);//建立函数表static HitMap* initializeCollisionMap();
};class Asteroid : public GameObject{ //小行星类
public://使用成员函数的碰撞处理函数virtual void collide(GameObject& otherObject);virtual void hitSpaceShip(GameObject& spaceShip);virtual void hitSpaceStation(GameObject& spaceStation);virtual void hitAsteroid(GameObject& asteroid);
private:typedef void(Asteroid::*HitFunctionPtr)(GameObject&);//成员函数指针//函数表的类型：每项关联了碰撞函数参数的动态类型名和碰撞函数本身  typedef std::map<std::string, HitFunctionPtr> HitMap;//在函数表中查找需要的碰撞函数  static HitFunctionPtr lookup(const GameObject& whatWeHit);//建立函数表static HitMap* initializeCollisionMap();
};class CollisionWithUnkonwnObject{//异常类
public:CollisionWithUnkonwnObject(GameObject& whatWeHit);
};#endif
//GameObject.cpp
#include"GameObject.h"
#include<memory>
#include<iostream>void SpaceShip::collide(GameObject& otherObject){HitFunctionPtr hfp = lookup(otherObject);if (hfp)(this->*hfp)(otherObject);elsethrow CollisionWithUnkonwnObject(otherObject);
}
void SpaceShip::hitSpaceShip(GameObject& spaceShip){SpaceShip& ss = dynamic_cast<SpaceShip&>(spaceShip);std::cout << "SpaceShip=>SpaceShip" << std::endl;
}
void SpaceShip::hitSpaceStation(GameObject& spaceStation){SpaceStation& ss = dynamic_cast<SpaceStation&>(spaceStation);std::cout << "SpaceShip=>SpaceStation" << std::endl;
}
void SpaceShip::hitAsteroid(GameObject& asteroid){Asteroid& as = dynamic_cast <Asteroid&>(asteroid);std::cout << "SpaceShip=>Asteroid" << std::endl;
}
//在函数表中查找需要的碰撞函数  
SpaceShip::HitFunctionPtr SpaceShip::lookup(const GameObject& whatWeHit){static std::auto_ptr<HitMap> collisionMap(initializeCollisionMap());HitMap::iterator mapEntry = (*collisionMap).find(typeid(whatWeHit).name());if (mapEntry == (*collisionMap).end()) return 0;return (*mapEntry).second;
}
//建立函数表
SpaceShip::HitMap* SpaceShip::initializeCollisionMap(){HitMap* phm = new HitMap;(*phm)["class SpaceShip"] = &hitSpaceShip;//对应typeid(whatWeHit).name()(*phm)["class SpaceStation"] = &hitSpaceStation;(*phm)["class Asteroid"] = &hitAsteroid;return phm;
}void SpaceStation::collide(GameObject& otherObject){HitFunctionPtr hfp = lookup(otherObject);if (hfp)(this->*hfp)(otherObject);elsethrow CollisionWithUnkonwnObject(otherObject);
}
void SpaceStation::hitSpaceShip(GameObject& spaceShip){SpaceShip& ss = dynamic_cast<SpaceShip&>(spaceShip);std::cout << "SpaceStation=>SpaceShip" << std::endl;
}
void SpaceStation::hitSpaceStation(GameObject& spaceStation){SpaceStation& ss = dynamic_cast<SpaceStation&>(spaceStation);std::cout << "SpaceStation=>SpaceStation" << std::endl;
}
void SpaceStation::hitAsteroid(GameObject& asteroid){Asteroid& as = dynamic_cast <Asteroid&>(asteroid);std::cout << "SpaceStation=>Asteroid" << std::endl;
}
//在函数表中查找需要的碰撞函数  
SpaceStation::HitFunctionPtr SpaceStation::lookup(const GameObject& whatWeHit){static std::auto_ptr<HitMap> collisionMap(initializeCollisionMap());HitMap::iterator mapEntry = (*collisionMap).find(typeid(whatWeHit).name());if (mapEntry == (*collisionMap).end()) return 0;return (*mapEntry).second;
}
//建立函数表
SpaceStation::HitMap* SpaceStation::initializeCollisionMap(){HitMap* phm = new HitMap;(*phm)["class SpaceShip"] = &hitSpaceShip;//对应typeid(whatWeHit).name()(*phm)["class SpaceStation"] = &hitSpaceStation;(*phm)["class Asteroid"] = &hitAsteroid;return phm;
}void Asteroid::collide(GameObject& otherObject){HitFunctionPtr hfp = lookup(otherObject);if (hfp)(this->*hfp)(otherObject);elsethrow CollisionWithUnkonwnObject(otherObject);
}
void Asteroid::hitSpaceShip(GameObject& spaceShip){SpaceShip& ss = dynamic_cast<SpaceShip&>(spaceShip);std::cout << "Asteroid=>SpaceShip" << std::endl;
}
void Asteroid::hitSpaceStation(GameObject& spaceStation){SpaceStation& ss = dynamic_cast<SpaceStation&>(spaceStation);std::cout << "Asteroid=>SpaceStation" << std::endl;
}
void Asteroid::hitAsteroid(GameObject& asteroid){Asteroid& as = dynamic_cast <Asteroid&>(asteroid);std::cout << "Asteroid=>Asteroid" << std::endl;
}
//在函数表中查找需要的碰撞函数  
Asteroid::HitFunctionPtr Asteroid::lookup(const GameObject& whatWeHit){static std::auto_ptr<HitMap> collisionMap(initializeCollisionMap());HitMap::iterator mapEntry = (*collisionMap).find(typeid(whatWeHit).name());if (mapEntry == (*collisionMap).end()) return 0;return (*mapEntry).second;
}
//建立函数表
Asteroid::HitMap* Asteroid::initializeCollisionMap(){HitMap* phm = new HitMap;(*phm)["class SpaceShip"] = &hitSpaceShip;//对应typeid(whatWeHit).name()(*phm)["class SpaceStation"] = &hitSpaceStation;(*phm)["class Asteroid"] = &hitAsteroid;return phm;
}CollisionWithUnkonwnObject::CollisionWithUnkonwnObject(GameObject& whatWeHit){std::cout << "异常类" << std::endl;
}
//main.cpp
#include"GameObject.h"
#include<iostream>
using namespace std;int main(){SpaceShip sp;SpaceStation ss;Asteroid ad;sp.collide(sp);sp.collide(ss);sp.collide(ad);cout << "-----------" << endl;ss.collide(sp);ss.collide(ss);ss.collide(ad);cout << "-----------" << endl;ad.collide(sp);ad.collide(ss);ad.collide(ad);system("pause");return 0;
}


这篇关于【more effective c++读书笔记】【第5章】技术(7)——让函数根据一个以上的对象类型来决定如何虚化(1)的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/230508。

相关文章

Pandas中统计汇总可视化函数plot()的使用

Pandas中统计汇总可视化函数plot()的使用

《Pandas中统计汇总可视化函数plot()的使用》Pandas提供了许多强大的数据处理和分析功能,其中plot()函数就是其可视化功能的一个重要组成部分,本文主要介绍了Pandas中统计汇总可视化... 目录一、plot()函数简介二、plot()函数的基本用法三、plot()函数的参数详解四、使用pl
阅读更多...
C#如何调用C++库

C#如何调用C++库

《C#如何调用C++库》：本文主要介绍C#如何调用C++库方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录方法一：使用P/Invoke1. 导出C++函数2. 定义P/Invoke签名3. 调用C++函数方法二：使用C++/CLI作为桥接1. 创建C++/CL
阅读更多...
Java对象转换的实现方式汇总

Java对象转换的实现方式汇总

《Java对象转换的实现方式汇总》：本文主要介绍Java对象转换的多种实现方式,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录Java对象转换的多种实现方式1. 手动映射（Manual Mapping）2. Builder模式3. 工具类辅助映
阅读更多...
Python的time模块一些常用功能(各种与时间相关的函数)

Python的time模块一些常用功能(各种与时间相关的函数)

《Python的time模块一些常用功能(各种与时间相关的函数)》Python的time模块提供了各种与时间相关的函数,包括获取当前时间、处理时间间隔、执行时间测量等,：本文主要介绍Python的... 目录1. 获取当前时间2. 时间格式化3. 延时执行4. 时间戳运算5. 计算代码执行时间6. 转换为指
阅读更多...
Python正则表达式语法及re模块中的常用函数详解

Python正则表达式语法及re模块中的常用函数详解

《Python正则表达式语法及re模块中的常用函数详解》这篇文章主要给大家介绍了关于Python正则表达式语法及re模块中常用函数的相关资料,正则表达式是一种强大的字符串处理工具,可以用于匹配、切分、... 目录概念、作用和步骤语法re模块中的常用函数总结 概念、作用和步骤概念： 本身也是一个字符串，其中
阅读更多...
C++如何通过Qt反射机制实现数据类序列化

C++如何通过Qt反射机制实现数据类序列化

《C++如何通过Qt反射机制实现数据类序列化》在C++工程中经常需要使用数据类,并对数据类进行存储、打印、调试等操作,所以本文就来聊聊C++如何通过Qt反射机制实现数据类序列化吧... 目录设计预期设计思路代码实现使用方法在 C++ 工程中经常需要使用数据类，并对数据类进行存储、打印、调试等操作。由于数据类
阅读更多...
Linux下如何使用C++获取硬件信息

Linux下如何使用C++获取硬件信息

《Linux下如何使用C++获取硬件信息》这篇文章主要为大家详细介绍了如何使用C++实现获取CPU,主板,磁盘,BIOS信息等硬件信息,文中的示例代码讲解详细,感兴趣的小伙伴可以了解下... 目录方法获取CPU信息：读取"/proc/cpuinfo"文件获取磁盘信息：读取"/proc/diskstats"文
阅读更多...
C++使用printf语句实现进制转换的示例代码

C++使用printf语句实现进制转换的示例代码

《C++使用printf语句实现进制转换的示例代码》在C语言中,printf函数可以直接实现部分进制转换功能,通过格式说明符（formatspecifier）快速输出不同进制的数值,下面给大家分享C+... 目录一、printf 原生支持的进制转换1. 十进制、八进制、十六进制转换2. 显示进制前缀3. 指
阅读更多...
Python中判断对象是否为空的方法

Python中判断对象是否为空的方法

《Python中判断对象是否为空的方法》在Python开发中,判断对象是否为“空”是高频操作,但看似简单的需求却暗藏玄机,从None到空容器,从零值到自定义对象的“假值”状态,不同场景下的“空”需要精... 目录一、python中的“空”值体系二、精准判定方法对比三、常见误区解析四、进阶处理技巧五、性能优化
阅读更多...
C++中初始化二维数组的几种常见方法

C++中初始化二维数组的几种常见方法

《C++中初始化二维数组的几种常见方法》本文详细介绍了在C++中初始化二维数组的不同方式,包括静态初始化、循环、全部为零、部分初始化、std::array和std::vector,以及std::vec... 目录1. 静态初始化2. 使用循环初始化3. 全部初始化为零4. 部分初始化5. 使用 std::a
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2