C++开发基础——动态类型转换与RTTI

2024-03-12 08:20

本文主要是介绍C++开发基础——动态类型转换与RTTI,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

C语言风格的强制类型转换不区分应用场景,C++中根据不同的应用场景提供了4种强制类型转换:

1.static_cast

静态类型转换,用来替代C语言风格的强制类型转换和隐式类型转换。

2.dynamic_cast

动态类型转换,应用在运行时的类型转换和识别,常用来将父类类型转换成子类类型。

3.const_cast

const类型转换,可以去除指针或引用的const属性,不能对常量使用const_cast。4.reinterpret_cast

非关联类型之间的转换,不推荐使用。

一,动态类型转换

动态强制类型转换在代码运行期间进行,动态强制类型转换的实现需要使用dynamic_cast运算符。

dynamic_cast运算符只能应用于多态类相关的指针和应用,且使用dynamic_cast的类需要至少包含一个虚函数。

dynamic_cast运算符的使用方式与static_cast运算符的方式相同,如果强制类型转换不成功,指针会被设置为nullptr。

基类指针只允许调用派生类的虚函数,而dynamic_cast运算符生成的指针可以调用非虚函数。

dynamic_cast运算符在类型转换期间不会改变指针的const属性,如果需要强制类型转换的指针是const类型的,则目标指针也必须是const类型的。

动态类型转换的情况分两种:

1.downcast方式:沿着类层次结构,向下进行强制类型转换,从基类的指针转换为派生类的指针。

2.crosscast方式:相同层次的不同类之间的强制类型转换。

二,dynamic_cast运算符使用介绍

dynamic_cast应用于指针类型的代码样式:

<type> *p_subclass = dynamic_cast<<type> *>( p_obj );

dynamic_cast应用于引用类型的代码样式:

<type> subclass = dynamic_cast<<type> &>( ref_obj );

对比一下C语言中的强制类型转换的写法:

Human* phuman = new Men;
Men* p = (Men*)(phuman);

以上写法无法判断是否转换成功,而dynamic_cast运算符可以检查转换是否成功: 

对于指针类型的转换,dynamic_cast运算符转换失败会返回一个空指针。

对于引用类型的转换,dynamic_cast运算符转换失败会抛出bad_cast异常。

完整代码用例如下:

#include <iostream>
#include <string>
#include <string_view>
class A
{
public:virtual ~A(){}
};
class B : public A
{
};
int  main()
{A* p = new A;//引用类型转换try{B& b = dynamic_cast<B&>(*p);}catch (std::bad_cast exp){std::cout << "Caught bad cast\n";}//指针类型转换try{B* pB = dynamic_cast<B*>(p);if (pB == NULL){std::cout << "NULL Pointer\n";}}catch (std::bad_cast exp){std::cout << "Caught bad cast\n";}return 0;
}

运行结果:

Caught bad cast
NULL Pointer

三,RTTI概念介绍

RTTI的全称是"Run Time Type Identification",即运行时类型识别。

RTTI可以让程序借助基类的指针或引用去检查子类对象的类型。

RTTI的主要目的是获得子类对象的具体信息。

在RTTI场景中,父类的指针可以指向子类对象,代码样例如下:

#include <iostream>
using namespace std;
class A
{
public:virtual void foo(){cout << "A's foo()" << endl;}
};
class B : public A
{
public:void foo(){cout << "B's foo()" << endl;A::foo();}
};
int main()
{B bobj;A* aptr = &bobj;aptr->foo();
}

运行结果:

B's foo()
A's foo()

RTTI主要基于两个运算符来实现:dynamic_cast运算符 & typeid运算符

1.dynamic_cast运算符: 以安全的方式将父类的指针或引用转换为派生类的指针或引用。

2.typeid运算符:返回指针或引用所指向对象的具体类型。

RTTI中的dynamic_cast运算符可以让父类对象调用子类对象中的普通成员函数。

RTTI中使用dynamic_cast运算符和typeid运算符的相同前提条件:父类中至少有一个虚函数。

四,typeid运算符使用介绍

typeid运算符的使用方式有两种:

typeid(类型名)
typeid(表达式)

typeid相等的条件:

(1).两个指针在定义时的类型相同,比如都是"ClassA *"类型,则它们的typeid相等。

(2).两个指针在运行时指向的类型相同,则它们的typeid相等。

代码样例:

Human* phuman = new Men;
if(typeid(*phuman) == typeid(Men))
{cout << "phuman point to Men" << endl;
}

完整代码用例如下:

#include <iostream>
#include <typeinfo>class B1 {
public:virtual void fun() {}
};class B2 {};
class D1 : public B1 {};
class D2 : public B2 {};
using namespace std;int main() {D1* d1 = new D1;B1* b1 = d1;D2* d2 = new D2;B2* b2 = d2;cout << typeid(d1).name() << endl;cout << typeid(*d1).name() << endl;cout << typeid(b1).name() << endl;cout << typeid(*b1).name() << endl;cout << typeid(d2).name() << endl;cout << typeid(*d2).name() << endl;cout << typeid(b2).name() << endl;cout << typeid(*b2).name() << endl;
}

运行结果:

class D1 *
class D1
class B1 *
class D1
class D2 *
class D2
class B2 *
class B2

注意,使用typeid运算符可以返回一个type_info对象。

五,type_info类简介

type_info是一个类,用于描述编译器在程序运行期间生成的类型信息。

type_info类的对象可以存储指向类型的名称的指针。

type_info对象只能被typeid运算符构造,不能直接实例化type_info对象,也不能复制type_info类的值。

type_info类的常用成员函数有:

operator==:检查类型是否相等。

operator!=:检查类型是否不相等。

before:检查类型的排序。

name:返回类型名称。

hash_code:返回类型对应的标识符。

代码样例:

Demo1:

#include <iostream>
#include <typeinfo>
int main() {int i;int* pi;std::cout << "int is: " << typeid(int).name() << '\n';std::cout << "  i is: " << typeid(i).name() << '\n';std::cout << " pi is: " << typeid(pi).name() << '\n';std::cout << "*pi is: " << typeid(*pi).name() << '\n';return 0;
}

运行结果:

int is: inti is: int
pi is: int *
*pi is: int

Demo2:

#include <iostream>
#include <typeinfo>
int main() {if (typeid(int).before(typeid(char)))std::cout << "int goes before char in this implementation.\n";elsestd::cout << "char goes before int in this implementation.\n";return 0;
}

运行结果:

char goes before int in this implementation.

Demo3:

#include <iostream>
#include <typeinfo>struct Base {};
struct Derived : Base {};
struct Poly_Base { virtual void Member() {} };
struct Poly_Derived : Poly_Base {};typedef int my_int_type;int main() {std::cout << std::boolalpha;// fundamental types:std::cout << "int vs my_int_type: ";std::cout << (typeid(int) == typeid(my_int_type)) << '\n';// class types:std::cout << "Base vs Derived: ";std::cout << (typeid(Base) == typeid(Derived)) << '\n';// non-polymorphic object:Base* pbase = new Derived;std::cout << "Base vs *pbase: ";std::cout << (typeid(Base) == typeid(*pbase)) << '\n';// polymorphic object:Poly_Base* ppolybase = new Poly_Derived;std::cout << "Poly_Base vs *ppolybase: ";std::cout << (typeid(Poly_Base) == typeid(*ppolybase)) << '\n';return 0;
}

运行结果: 

int vs my_int_type: true
Base vs Derived: false
Base vs *pbase: true
Poly_Base vs *ppolybase: false

六,参考阅读

《C++新经典》

《C++ Primer》

《C++ Primer Plus》

《C++高级编程》

https://cplusplus.com/reference/typeinfo/type_info/

这篇关于C++开发基础——动态类型转换与RTTI的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/800664

相关文章

基于Python开发PDF转Doc格式小程序

《基于Python开发PDF转Doc格式小程序》这篇文章主要为大家详细介绍了如何基于Python开发PDF转Doc格式小程序,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 用python实现PDF转Doc格式小程序以下是一个使用Python实现PDF转DOC格式的GUI程序,采用T

C++ Primer 标准库vector示例详解

《C++Primer标准库vector示例详解》该文章主要介绍了C++标准库中的vector类型,包括其定义、初始化、成员函数以及常见操作,文章详细解释了如何使用vector来存储和操作对象集合,... 目录3.3标准库Vector定义和初始化vector对象通列表初始化vector对象创建指定数量的元素值

使用Python开发一个图像标注与OCR识别工具

《使用Python开发一个图像标注与OCR识别工具》:本文主要介绍一个使用Python开发的工具,允许用户在图像上进行矩形标注,使用OCR对标注区域进行文本识别,并将结果保存为Excel文件,感兴... 目录项目简介1. 图像加载与显示2. 矩形标注3. OCR识别4. 标注的保存与加载5. 裁剪与重置图像

Vue中动态权限到按钮的完整实现方案详解

《Vue中动态权限到按钮的完整实现方案详解》这篇文章主要为大家详细介绍了Vue如何在现有方案的基础上加入对路由的增、删、改、查权限控制,感兴趣的小伙伴可以跟随小编一起学习一下... 目录一、数据库设计扩展1.1 修改路由表(routes)1.2 修改角色与路由权限表(role_routes)二、后端接口设计

C++实现回文串判断的两种高效方法

《C++实现回文串判断的两种高效方法》文章介绍了两种判断回文串的方法:解法一通过创建新字符串来处理,解法二在原字符串上直接筛选判断,两种方法都使用了双指针法,文中通过代码示例讲解的非常详细,需要的朋友... 目录一、问题描述示例二、解法一:将字母数字连接到新的 string思路代码实现代码解释复杂度分析三、

Android开发中gradle下载缓慢的问题级解决方法

《Android开发中gradle下载缓慢的问题级解决方法》本文介绍了解决Android开发中Gradle下载缓慢问题的几种方法,本文给大家介绍的非常详细,感兴趣的朋友跟随小编一起看看吧... 目录一、网络环境优化二、Gradle版本与配置优化三、其他优化措施针对android开发中Gradle下载缓慢的问

前端 CSS 动态设置样式::class、:style 等技巧(推荐)

《前端CSS动态设置样式::class、:style等技巧(推荐)》:本文主要介绍了Vue.js中动态绑定类名和内联样式的两种方法:对象语法和数组语法,通过对象语法,可以根据条件动态切换类名或样式;通过数组语法,可以同时绑定多个类名或样式,此外,还可以结合计算属性来生成复杂的类名或样式对象,详细内容请阅读本文,希望能对你有所帮助...

Nginx实现动态封禁IP的步骤指南

《Nginx实现动态封禁IP的步骤指南》在日常的生产环境中,网站可能会遭遇恶意请求、DDoS攻击或其他有害的访问行为,为了应对这些情况,动态封禁IP是一项十分重要的安全策略,本篇博客将介绍如何通过NG... 目录1、简述2、实现方式3、使用 fail2ban 动态封禁3.1 安装 fail2ban3.2 配

使用Go语言开发一个命令行文件管理工具

《使用Go语言开发一个命令行文件管理工具》这篇文章主要为大家详细介绍了如何使用Go语言开发一款命令行文件管理工具,支持批量重命名,删除,创建,移动文件,需要的小伙伴可以了解下... 目录一、工具功能一览二、核心代码解析1. 主程序结构2. 批量重命名3. 批量删除4. 创建文件/目录5. 批量移动三、如何安

Vue3中的动态组件详解

《Vue3中的动态组件详解》本文介绍了Vue3中的动态组件,通过`component:is=动态组件名或组件对象/component`来实现根据条件动态渲染不同的组件,此外,还提到了使用`markRa... 目录vue3动态组件动态组件的基本使用第一种写法第二种写法性能优化解决方法总结Vue3动态组件动态