【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。

相关文章

C++中unordered_set哈希集合的实现

C++中unordered_set哈希集合的实现

《C++中unordered_set哈希集合的实现》std::unordered_set是C++标准库中的无序关联容器,基于哈希表实现,具有元素唯一性和无序性特点,本文就来详细的介绍一下unorder... 目录一、概述二、头文件与命名空间三、常用方法与示例1. 构造与析构2. 迭代器与遍历3. 容量相关4
阅读更多...
C++中悬垂引用(Dangling Reference) 的实现

C++中悬垂引用(Dangling Reference) 的实现

《C++中悬垂引用(DanglingReference)的实现》C++中的悬垂引用指引用绑定的对象被销毁后引用仍存在的情况,会导致访问无效内存,下面就来详细的介绍一下产生的原因以及如何避免,感兴趣... 目录悬垂引用的产生原因1. 引用绑定到局部变量，变量超出作用域后销毁2. 引用绑定到动态分配的对象，对象
阅读更多...
一篇文章彻底搞懂macOS如何决定java环境

一篇文章彻底搞懂macOS如何决定java环境

《一篇文章彻底搞懂macOS如何决定java环境》MacOS作为一个功能强大的操作系统,为开发者提供了丰富的开发工具和框架,下面：本文主要介绍macOS如何决定java环境的相关资料,文中通过代码... 目录方法一：使用 which命令方法二：使用 Java_home工具（Apple 官方推荐）那问题来了，
阅读更多...
Python函数作用域与闭包举例深度解析

Python函数作用域与闭包举例深度解析

《Python函数作用域与闭包举例深度解析》Python函数的作用域规则和闭包是编程中的关键概念,它们决定了变量的访问和生命周期,：本文主要介绍Python函数作用域与闭包的相关资料,文中通过代码... 目录1. 基础作用域访问示例1：访问全局变量示例2：访问外层函数变量2. 闭包基础示例3：简单闭包示例4
阅读更多...
JavaScript对象转数组的三种方法实现

JavaScript对象转数组的三种方法实现

《JavaScript对象转数组的三种方法实现》本文介绍了在JavaScript中将对象转换为数组的三种实用方法,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友... 目录方法1：使用Object.keys()和Array.map()方法2：使用Object.entr
阅读更多...
Python中isinstance()函数原理解释及详细用法示例

Python中isinstance()函数原理解释及详细用法示例

《Python中isinstance()函数原理解释及详细用法示例》isinstance()是Python内置的一个非常有用的函数,用于检查一个对象是否属于指定的类型或类型元组中的某一个类型,它是Py... 目录python中isinstance()函数原理解释及详细用法指南一、isinstance()函数
阅读更多...
python中的高阶函数示例详解

python中的高阶函数示例详解

《python中的高阶函数示例详解》在Python中,高阶函数是指接受函数作为参数或返回函数作为结果的函数,下面：本文主要介绍python中高阶函数的相关资料,文中通过代码介绍的非常详细,需要的朋... 目录1.定义2.map函数3.filter函数4.reduce函数5.sorted函数6.自定义高阶函数
阅读更多...
Python中的sort方法、sorted函数与lambda表达式及用法详解

Python中的sort方法、sorted函数与lambda表达式及用法详解

《Python中的sort方法、sorted函数与lambda表达式及用法详解》文章对比了Python中list.sort()与sorted()函数的区别,指出sort()原地排序返回None,sor... 目录1. sort()方法1.1 sort()方法1.2 基本语法和参数A. reverse参数B.
阅读更多...
Java中的Schema校验技术与实践示例详解

Java中的Schema校验技术与实践示例详解

《Java中的Schema校验技术与实践示例详解》本主题详细介绍了在Java环境下进行XMLSchema和JSONSchema校验的方法,包括使用JAXP、JAXB以及专门的JSON校验库等技术,本文... 目录1. XML和jsON的Schema校验概念1.1 XML和JSON校验的必要性1.2 Sche
阅读更多...
C++读写word文档(.docx)DuckX库的使用详解

C++读写word文档(.docx)DuckX库的使用详解

《C++读写word文档(.docx)DuckX库的使用详解》DuckX是C++库,用于创建/编辑.docx文件,支持读取文档、添加段落/片段、编辑表格,解决中文乱码需更改编码方案,进阶功能含文本替换... 目录一、基本用法1. 读取文档3. 添加段落4. 添加片段3. 编辑表格二、进阶用法1. 文本替换2
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2