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

相关文章

Python中Json和其他类型相互转换的实现示例

Python中Json和其他类型相互转换的实现示例

《Python中Json和其他类型相互转换的实现示例》本文介绍了在Python中使用json模块实现json数据与dict、object之间的高效转换,包括loads(),load(),dumps()... 项目中经常会用到json格式转为object对象、dict字典格式等。在此做个记录，方便后续用到该方
阅读更多...
GO语言中函数命名返回值的使用

GO语言中函数命名返回值的使用

《GO语言中函数命名返回值的使用》在Go语言中,函数可以为其返回值指定名称,这被称为命名返回值或命名返回参数,这种特性可以使代码更清晰,特别是在返回多个值时,感兴趣的可以了解一下... 目录基本语法函数命名返回特点代码示例命名特点基本语法func functionName(parameters) (nam
阅读更多...
深入解析C++ 中std::map内存管理

深入解析C++ 中std::map内存管理

《深入解析C++中std::map内存管理》文章详解C++std::map内存管理,指出clear()仅删除元素可能不释放底层内存,建议用swap()与空map交换以彻底释放,针对指针类型需手动de... 目录1️、基本清空std::map2️、使用 swap 彻底释放内存3️、map 中存储指针类型的对象
阅读更多...
Python Counter 函数使用案例

Python Counter 函数使用案例

《PythonCounter函数使用案例》Counter是collections模块中的一个类,专门用于对可迭代对象中的元素进行计数,接下来通过本文给大家介绍PythonCounter函数使用案例... 目录一、Counter函数概述二、基本使用案例（一）列表元素计数（二）字符串字符计数（三）元组计数三、C
阅读更多...
python中的显式声明类型参数使用方式

python中的显式声明类型参数使用方式

《python中的显式声明类型参数使用方式》文章探讨了Python3.10+版本中类型注解的使用,指出FastAPI官方示例强调显式声明参数类型,通过|操作符替代Union/Optional,可提升代... 目录背景python函数显式声明的类型汇总基本类型集合类型Optional and Union(py
阅读更多...
MySQL中查询和展示LONGBLOB类型数据的技巧总结

MySQL中查询和展示LONGBLOB类型数据的技巧总结

《MySQL中查询和展示LONGBLOB类型数据的技巧总结》在MySQL中LONGBLOB是一种二进制大对象（BLOB）数据类型,用于存储大量的二进制数据,：本文主要介绍MySQL中查询和展示LO... 目录前言1. 查询 LONGBLOB 数据的大小2. 查询并展示 LONGBLOB 数据2.1 转换为十
阅读更多...
使用Java读取本地文件并转换为MultipartFile对象的方法

使用Java读取本地文件并转换为MultipartFile对象的方法

《使用Java读取本地文件并转换为MultipartFile对象的方法》在许多JavaWeb应用中,我们经常会遇到将本地文件上传至服务器或其他系统的需求,在这种场景下,MultipartFile对象非... 目录1. 基本需求2. 自定义 MultipartFile 类3. 实现代码4. 代码解析5. 自定
阅读更多...
C++ STL-string类底层实现过程

C++ STL-string类底层实现过程

《C++STL-string类底层实现过程》本文实现了一个简易的string类,涵盖动态数组存储、深拷贝机制、迭代器支持、容量调整、字符串修改、运算符重载等功能,模拟标准string核心特性,重点强... 目录实现框架一、默认成员函数1.默认构造函数2.构造函数3.拷贝构造函数(重点)4.赋值运算符重载函数
阅读更多...
Python中的filter() 函数的工作原理及应用技巧

Python中的filter() 函数的工作原理及应用技巧

《Python中的filter()函数的工作原理及应用技巧》Python的filter()函数用于筛选序列元素,返回迭代器,适合函数式编程,相比列表推导式,内存更优,尤其适用于大数据集,结合lamb... 目录前言一、基本概念基本语法二、使用方式1. 使用 lambda 函数2. 使用普通函数3. 使用 N
阅读更多...
MySQL中REPLACE函数与语句举例详解

MySQL中REPLACE函数与语句举例详解

《MySQL中REPLACE函数与语句举例详解》在MySQL中REPLACE函数是一个用于处理字符串的强大工具,它的主要功能是替换字符串中的某些子字符串,：本文主要介绍MySQL中REPLACE函... 目录一、REPLACE()函数语法：参数说明：功能说明：示例：二、REPLACE INTO语句语法：参数
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2