详解c++中的类型识别
1、类型识别的相关概念
（1）类型识别的作用
类型识别是面向对象中引入的一个新概念，主要用来判断赋值兼容性原则中的类型问题，即此时的数据类型到底是基类类型还是派生类类型？
当基类指针指向子类对象 或者基类引用成为子类对象的别名 时，就需要使用类型识别；
Base *p = new Derived(); Base &r = *p
对于上面的语句，我们可以这样认识，指针p是Base类型，但是P 又指向了一个新的Derived类型，此时很难判断指针P 的数据类型；同理，引用r 本来作为父类的别名而存在，但由于赋值兼容性，引用r也可以作为子类的别名，同样此时 引用 r 的数据类型也不能确定；
注：1）由之前所学知识，若没有虚函数重写，编译器为了安全起见，会将指针p 当作 Base 类型；（编译期间）
2）若有虚函数重写，就会发生动态多态特性，此时就会根据指针p 所指向的具体数据类型来确定指针p 的数据类型。（运行期间）
（2）类型识别的分类
1）静态类型：变量（对象）自身的类型；在编译阶段就能确定所使用变量的数据类型。
2）动态类型：指针（引用）所指向对象的实际类型；在运行阶段根据指针所指向的具体数据类型来确定所使用的数据类型。
Base *b 所指向的实际对象无法确定，若指针b 指向的是子类对象，则程序正常运行；若指针b 指向的是父类对象，则程序有可能出现 Bug；
注：在 g++ 编译器下上述情况均可正常运行，但后者不建议使用；
在赋值兼容原则中，基类指针是否可以强制类型转换为子类指针取决于动态类型；（很重要！！！）--- 只有动态类型是子类对象才能进行合法转换
2、如何得到动态类型
（1）利用多态
1）必须从基类开始提供类型虚函数；
2）所有的派生类都必须重写类型虚函数；
3）每个派生类的类型 ID必须唯一；
结果：调用类型虚函数就可以知道当前的对象究竟是什么类型，这样就可以得到动态类型，达到动态类型识别效果；
利用类型虚函数实现类型识别
#include <iostream>
#include <string>
using namespace std;
class Base
{
public:
enum { ID = 0 };
virtual int type() // 类型虚函数
{
return ID;
}
};
class Derived : public Base
{
public:
enum { ID = 1 };
int type()
{
return ID;
}
void print()
{
cout << "I'm a Derived. " << endl;
}
};
class Child : public Base
{
public:
enum { ID = 2 };
int type()
{
return ID;
}
};
void test(Base* pb)
{
if( pb->type() == Child::ID )
{
Child* pc = static_cast<Child*>(pb);
//Child* pc = dynamic_cast<Child*>(pb); // 同上
cout << "& = " << pc << endl;
cout << "I'm a Child. " << endl;
}
if( pb->type() == Derived::ID )
{
Derived* pd = static_cast<Derived*>(pb);
//Derived* pd = dynamic_cast<Derived*>(pb); // 同上
cout << "& = " << pd << endl;
pd->print();
}
if( pb->type() == Base::ID )
{
cout << "& = " << pb << endl;
cout << "I'm a Base. " << endl;
}
}
int main(int argc, char *argv[])
{
Base b;
Derived d;
Child c;
test(&b);
test(&d);
test(&c);
return 0;
}
/**
* 运行结果：
* & = 0x7ffccf0dd850
* I'm a Base.
* & = 0x7ffccf0dd860
* I'm a Derived.
* & = 0x7ffccf0dd870
* I'm a Child.
*/
（2）利用 dynamic_cast
1）dynamic_cast这个关键字如果要转换的实际类型和指定的类型不一样，则会返回NULL。例如当指定类型为子类对象时，如果父类指针的动态类型是这个子类对象时，转换成功，而动态类型是父类对象或者其他子类对象时，转换失败；
2）dynamic_cast 要求使用的目标对象类型必须是多态，即：所在类族至少有一个虚函数；
3）只能用于指针和引用之间的转换
1.用于指针转换时，转换失败，返回空指针；
2.用于引用转换时，转换失败，将引发 bad_cast异常。
#include <iostream>
#include <string>
using namespace std;
class Base
{
public:
virtual ~Base()
{
}
};
class Derived : public Base
{
public:
void print()
{
cout << "I'm a Derived. " << endl;
}
};
class Child : public Base
{
};
void test(Base* pb)
{
// dynamic_cast 只能确定最终的转化结果，无法获取动态类型的原型
Derived* pd = dynamic_cast<Derived*>(pb);
if(pd != NULL)
{
// Derived 类类型， 可以使用指针pd访问Derived类的成员
cout << "& = " << pd << endl;
pd->print();
}
else
{
Child* pc = dynamic_cast<Child*>(pb);
if(pc != NULL)
{
// Child 类类型， 可以使用指针pc访问Child类的成员
cout << "& = " << pc << endl;
cout << "I'm a Child. " << endl;
}
else
{
// Base 类类型， 可以使用指针pb访问Base类的成员
cout << "& = " << pc << endl;
cout << "I'm a Base. " << endl;
}
}
}
int main(int argc, char *argv[])
{
Base b;
Derived d;
Child c;
test(&b);
test(&d);
test(&c);
return 0;
}
/**
* 运行结果：
* & = 0
* I'm a Base.
* & = 0x7ffccf0dd860
* I'm a Derived.
* & = 0x7ffccf0dd870
* I'm a Child.
*/
（3）利用 typeid（推荐这种方法）
1）typeid是一个关键字，专门用于动态类型识别；
2）typeid 关键字返回对应参数的类型信息，此类型信息是一个type_info类对象；
1.当参数为类型时，返回静态类型信息；
2.当参数为变量时：1> 参数变量内部不存在虚函数表时，返回静态类型信息； 2> 参数变量内部存在虚函数表时，返回动态类型信息;
3.当参数为 NULL 时，将抛出异常；
3）typeid使用时需要包含头文件<typeinfo>；
4）typeid 使用时直接指定对象或者类型。
5）typeid 在不同的编译器内部实现是不同的；
int i = 0; const type_info& tiv = typeid(i); // 将 i 的类型信息放到 type_info 中去； const type_info& tii = typeid(int); cout << (tiv == tii) << endl; // 1
利用 typeid 实现类型识别
#include <iostream>
#include <string>
#include <typeinfo>
using namespace std;
class Base
{
public:
virtual ~Base()
{
}
};
class Derived : public Base
{
public:
void print()
{
cout << "I'm a Derived." << endl;
}
};
class Child : public Base
{
public:
void print()
{
cout << "I'm a Child." << endl;
}
};
void test(Base* pb)
{
const type_info& tb = typeid(*pb);
if( tb == typeid(Derived) )
{
Derived* pd = dynamic_cast<Derived*>(pb);
cout << "& = " << pd << endl;
pd->print();
}
else if( tb == typeid(Child) )
{
Child* pc = dynamic_cast<Child*>(pb);
cout << "& = " << pc << endl;
pc->print();
}
else if( tb == typeid(Base) )
{
cout << "& = " << pb << endl;
cout << "I'm a Base. " << endl;
}
cout << tb.name() << endl;
}
int main(int argc, char *argv[])
{
Base b;
Derived d;
Child c;
int index;
char ch;
const type_info& tp = typeid(b);
const type_info& tc = typeid(d);
const type_info& tn = typeid(c);
const type_info& ti = typeid(index);
const type_info& tch = typeid(ch);
cout<<tp.name()<<endl;
cout<<tc.name()<<endl;
cout<<tn.name()<<endl;
cout<<ti.name()<<endl;
cout<<tch.name()<<endl;
test(&b);
test(&d);
test(&c);
return 0;
}
/**
* 运行结果：
* 4Base
* 7Derived
* 5Child
* i
* c
* & = 0x7ffcbd4d6280
* I'm a Base.
* 4Base
* & = 0x7ffcbd4d6290
* I'm a Derived.
* 7Derived
* & = 0x7ffcbd4d62a0
* I'm a Child.
* 5Child
*/
结论：
3 种动态类型的实现方法 建议选 第3种 （typeid）。
对于多态实现，存在以下缺陷：
1）必须从基类开始提供类型虚函数；
2）所有的派生类都必须重写类型虚函数；
3）每个派生类的类型名必须唯一；
对于 dynamic_cast 实现，只能得到类型转换的结果，不能获取真正的动态类型，同时dynamic_cast 必须多态实现。
到此这篇关于 详解c++中的类型识别的文章就介绍到这了,更多相关c++ 类型识别内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家！
相关文章
这篇文章主要为大家详细介绍了C++实现图书管理系统简易版，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2022-03-03
二叉树的链式存储结构是指，用链表来表示一棵二叉树，即用链来指示元素的逻辑关系。通常的方法是链表中每个结点由三个域组成，数据域和左右指针域，左右指针分别用来给出该结点左孩子和右孩子所在的链结点的存储地址2022-06-06
本文介绍C语言 运算符,这里整理了运算符的基础知识，并附示例代码，希望能帮助刚刚开始学习 C语言的同学2016-08-08
这篇文章主要介绍了C++实现LeetCode(647.回文子字符串),本篇文章通过简要的案例,讲解了该项技术的了解与使用,以下就是详细内容,需要的朋友可以参考下2021-07-07
Qt的布局管理系统提供了简单而强大的机制,确保它们有效地使用空间,本文就介绍了Qt中布局管理的使用,具有一定的参考价值,感兴趣的可以了解一下2023-09-09
本文通过示例简单分析了4种情况下C语言中sizeof 和 strlen的区别，算是个人经验的一个小小的总结，如有遗漏还请大家告知。2015-02-02
这篇文章主要为大家详细介绍了openCV实现图像分割，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2021-09-09
以下是对C/C++中的SIZEOF进行了详细的分析介绍，需要的朋友参考下2013-07-07
C语言文件操作的方法有很多，函数也有很多你知道哪些呢?下面是小编为大家带来的C语言文件操作的方法，欢迎阅读2022-04-04
这篇文章主要为大家介绍了使用MySQL编程实现C语言功能强大化步骤示例详解，有需要的朋友可以借鉴参考下，希望能够有所帮助，祝大家多多进步，早日升职加薪2023-05-05
最新评论