C++的RTTI（运行时类型识别）机制允许程序在运行阶段获取对象的真实类型信息，typeid是RTTI的核心操作符之一，通过它可以查询表达式的类型，在多态场景下的类型判断中应用非常广泛。
typeid的基本用法
typeid的操作数可以是类型名称，也可以是表达式，它的返回结果是std::type_info类型的常引用。使用typeid需要先包含<typeinfo>头文件，以下是基础的使用示例：
#include <iostream>
#include <typeinfo>
int main() {
int num = 10;
double val = 3.14;
// 操作类型为int
std::cout << "int类型的type_info名称: " << typeid(int).name() << std::endl;
// 操作表达式为int变量
std::cout << "num变量的类型名称: " << typeid(num).name() << std::endl;
// 操作表达式为double变量
std::cout << "val变量的类型名称: " << typeid(val).name() << std::endl;
return 0;
}
typeid处理多态类型的特点
当typeid的操作数是带有虚函数的类的指针或引用时，它会在运行时确定指针或引用指向的实际对象类型，而不是指针或引用本身的静态类型。如果操作数不是多态类型（没有虚函数），则typeid在编译阶段就会确定类型。
下面通过示例说明多态场景下的typeid表现：
#include <iostream>
#include <typeinfo>
// 基类，包含虚函数，属于多态类型
class Base {
public:
virtual ~Base() {}
};
// 派生类1
class DerivedA : public Base {};
// 派生类2
class DerivedB : public Base {};
int main() {
Base* ptr1 = new DerivedA();
Base* ptr2 = new DerivedB();
Base obj;
// ptr1指向DerivedA对象，运行时识别为DerivedA
std::cout << "ptr1指向的对象类型: " << typeid(*ptr1).name() << std::endl;
// ptr2指向DerivedB对象，运行时识别为DerivedB
std::cout << "ptr2指向的对象类型: " << typeid(*ptr2).name() << std::endl;
// 基类对象，静态类型为Base
std::cout << "obj的类型: " << typeid(obj).name() << std::endl;
delete ptr1;
delete ptr2;
return 0;
}
std::type_info的常用属性
std::type_info类没有提供可移植的构造函数，通常只能通过typeid获取它的实例，它有两个常用成员：
- name()：返回类型的名称字符串，不同编译器的返回结果可能有差异，比如GCC会返回修饰后的类型名，MSVC会返回可读的类型名。
- operator==和operator!=：用于比较两个
type_info对象是否对应同一个类型，这是判断类型一致性的可靠方式，不要直接比较name()的返回值。
类型判断的示例如下：
#include <iostream>
#include <typeinfo>
class Base {
public:
virtual ~Base() {}
};
class Derived : public Base {};
int main() {
Base* basePtr = new Derived();
// 判断实际类型是否为Derived
if (typeid(*basePtr) == typeid(Derived)) {
std::cout << "basePtr指向的是Derived类型对象" << std::endl;
} else {
std::cout << "basePtr指向的不是Derived类型对象" << std::endl;
}
// 判断静态类型是否一致
Base obj;
if (typeid(obj) != typeid(Derived)) {
std::cout << "obj的静态类型是Base，不是Derived" << std::endl;
}
delete basePtr;
return 0;
}
使用typeid的注意事项
在使用typeid进行RTTI识别时，需要注意以下几点：
- 不要对空指针解引用后使用typeid，比如
typeid(*nullptr)会抛出std::bad_typeid异常。 - typeid只能识别有完整定义的类型，如果操作数是不完整类型，会导致编译错误。
- RTTI会带来一定的性能开销，因为需要在运行时查询类型信息，在对性能要求极高的场景需要谨慎使用。
- 如果类没有虚函数，即使通过基类指针指向派生类对象，typeid也无法识别派生类类型，只能得到静态类型。
typeid与dynamic_cast的配合
在实际开发中，typeid经常和dynamic_cast配合使用，先通过typeid判断对象类型，再使用dynamic_cast进行安全的类型转换，避免转换失败的问题。
#include <iostream>
#include <typeinfo>
class Base {
public:
virtual ~Base() {}
virtual void func() {}
};
class Derived : public Base {
public:
void derivedFunc() {
std::cout << "调用Derived类的特有方法" << std::endl;
}
};
int main() {
Base* ptr = new Derived();
// 先判断类型
if (typeid(*ptr) == typeid(Derived)) {
// 安全转换
Derived* derivedPtr = dynamic_cast<Derived*>(ptr);
if (derivedPtr) {
derivedPtr->derivedFunc();
}
}
delete ptr;
return 0;
}