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

相关文章

golang panic 函数用法示例详解

golang panic 函数用法示例详解

《golangpanic函数用法示例详解》在Go语言中,panic用于触发不可恢复的错误,终止函数执行并逐层向上触发defer,最终若未被recover捕获,程序会崩溃,recover用于在def... 目录1. panic 的作用2. 基本用法3. recover 的使用规则4. 错误处理建议5. 常见错
阅读更多...
Java对象和JSON字符串之间的转换方法(全网最清晰)

Java对象和JSON字符串之间的转换方法(全网最清晰)

《Java对象和JSON字符串之间的转换方法(全网最清晰)》：本文主要介绍如何在Java中使用Jackson库将对象转换为JSON字符串,并提供了一个简单的工具类示例,该工具类支持基本的转换功能,... 目录前言1. 引入 Jackson 依赖2. 创建 jsON 工具类3. 使用示例转换 Java 对象为
阅读更多...
Rust中的BoxT之堆上的数据与递归类型详解

Rust中的BoxT之堆上的数据与递归类型详解

《Rust中的BoxT之堆上的数据与递归类型详解》本文介绍了Rust中的BoxT类型,包括其在堆与栈之间的内存分配,性能优势,以及如何利用BoxT来实现递归类型和处理大小未知类型,通过BoxT,Rus... 目录1. Box<T> 的基础知识1.1 堆与栈的分工1.2 性能优势2.1 递归类型的问题2.2
阅读更多...
C++一个数组赋值给另一个数组方式

C++一个数组赋值给另一个数组方式

《C++一个数组赋值给另一个数组方式》文章介绍了三种在C++中将一个数组赋值给另一个数组的方法：使用循环逐个元素赋值、使用标准库函数std::copy或std::memcpy以及使用标准库容器,每种方... 目录C++一个数组赋值给另一个数组循环遍历赋值使用标准库中的函数 std::copy 或 std::
阅读更多...
Java中对象的创建和销毁过程详析

Java中对象的创建和销毁过程详析

《Java中对象的创建和销毁过程详析》：本文主要介绍Java中对象的创建和销毁过程,对象的创建过程包括类加载检查、内存分配、初始化零值内存、设置对象头和执行init方法,对象的销毁过程由垃圾回收机... 目录前言对象的创建过程1. 类加载检查2China编程. 分配内存3. 初始化零值4. 设置对象头5. 执行
阅读更多...
C++使用栈实现括号匹配的代码详解

C++使用栈实现括号匹配的代码详解

《C++使用栈实现括号匹配的代码详解》在编程中,括号匹配是一个常见问题,尤其是在处理数学表达式、编译器解析等任务时,栈是一种非常适合处理此类问题的数据结构,能够精确地管理括号的匹配问题,本文将通过C+... 目录引言问题描述代码讲解代码解析栈的状态表示测试总结引言在编程中，括号匹配是一个常见问题，尤其是在
阅读更多...
使用C++实现链表元素的反转

使用C++实现链表元素的反转

《使用C++实现链表元素的反转》反转链表是链表操作中一个经典的问题,也是面试中常见的考题,本文将从思路到实现一步步地讲解如何实现链表的反转,帮助初学者理解这一操作,我们将使用C++代码演示具体实现,同... 目录问题定义思路分析代码实现带头节点的链表代码讲解其他实现方式时间和空间复杂度分析总结问题定义给定
阅读更多...
C++初始化数组的几种常见方法(简单易懂)

C++初始化数组的几种常见方法(简单易懂)

《C++初始化数组的几种常见方法(简单易懂)》本文介绍了C++中数组的初始化方法,包括一维数组和二维数组的初始化,以及用new动态初始化数组,在C++11及以上版本中,还提供了使用std::array... 目录1、初始化一维数组1.1、使用列表初始化（推荐方式）1.2、初始化部分列表1.3、使用std::
阅读更多...
C++ Primer 多维数组的使用

C++ Primer 多维数组的使用

《C++Primer多维数组的使用》本文主要介绍了多维数组在C++语言中的定义、初始化、下标引用以及使用范围for语句处理多维数组的方法,具有一定的参考价值,感兴趣的可以了解一下... 目录多维数组多维数组的初始化多维数组的下标引用使用范围for语句处理多维数组指针和多维数组多维数组严格来说,C++语言没
阅读更多...
Python如何计算两个不同类型列表的相似度

Python如何计算两个不同类型列表的相似度

《Python如何计算两个不同类型列表的相似度》在编程中,经常需要比较两个列表的相似度,尤其是当这两个列表包含不同类型的元素时,下面小编就来讲讲如何使用Python计算两个不同类型列表的相似度吧... 目录摘要引言数字类型相似度欧几里得距离曼哈顿距离字符串类型相似度Levenshtein距离Jaccard相
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2