typeid是C++中用于运行时类型识别的关键工具，通过<typeinfo>头文件引入，可获取对象或变量的实际类型信息。1. typeid返回const std::type_info&引用，常用于调试和类型判断；2. name()方法返回编译器相关的类型缩写，可读性差但适合调试；3. 在多态类型中（含虚函数），typeid能识别指针或引用所指向对象的动态类型；4. 可使用==或!=比较两个对象的类型是否相同，也可与已知类型如typeid(int)进行比较；5. GNU环境下可通过abi::__cxa_demangle对name()结果解码，提升类型名称可读性。typeid结合虚函数机制实现轻量级RTTI，适用于类型检查和安全转换，虽无完整反射能力，但在运行时类型判断中十分实用。
在C++中，typeid 是实现运行时类型识别（RTTI, Run-Time Type Identification）的关键工具之一。它能获取变量或对象的类型信息，常用于调试、类型判断和多态场景下的类型检查。
typeid 基本用法
要使用 typeid，需包含头文件 <typeinfo>。typeid 返回一个 const std::type_info& 类型的引用，该对象封装了类型的元信息。
基本语法：
const std::type_info& info = typeid(表达式);
示例：
立即学习“C++免费学习笔记（深入）”；
#include <iostream>
#include <typeinfo>
<p>int main() {
int a;
std::cout << typeid(a).name() << std::endl; // 可能输出 "i"
return 0;
}</p>注意：name() 返回的是编译器相关的类型名称缩写，比如 "i" 表示 int，"f" 表示 float。不同编译器结果不同，可读性较差，适合调试而非逻辑判断。
与多态结合：动态类型识别
当用于指向多态类型的指针或引用时，typeid 能返回对象的实际运行时类型，而不仅仅是声明类型。
前提是类必须含有至少一个虚函数（即多态类型）。
#include <iostream>
#include <typeinfo>
<p>class Base {
public:
virtual ~Base() {}
};
class Derived : public Base {};</p><p>int main() {
Base<em> ptr = new Derived;
std::cout << typeid(</em>ptr).name() << std::endl; // 输出 Derived 的类型名
delete ptr;
return 0;
}</p>这里 *ptr 实际是 Derived 类型，即使 ptr 是 Base*，typeid 仍能正确识别运行时类型。
如果去掉虚析构函数，typeid 将只返回指针所声明的静态类型（Base）。
类型比较
可以直接使用 == 或 != 比较两个 typeid 结果是否相同。
if (typeid(obj1) == typeid(obj2)) {
std::cout << "类型相同" << std::endl;
}
</font>也可与已知类型比较：
if (typeid(value) == typeid(int)) {
std::cout << "value 是 int 类型" << std::endl;
}
这种比较在处理变体类型或需要分支处理不同类型时很有用。
demangle 类型名称（提升可读性）
由于 name() 返回的是编码后的名称，可通过 ABI 扩展进行“解码”（demangle），使其更易读。
在 GNU 编译器下可使用 cxxabi.h：
#include <iostream>
#include <typeinfo>
#include <cxxabi.h>
#include <memory>
<p>std::string demangle(const char<em> name) {
int status;
std::unique_ptr<char[], void(</em>)(void*)> res{
abi::__cxa_demangle(name, nullptr, nullptr, &status),
std::free
};
return status == 0 ? res.get() : name;
}</p><p>int main() {
double x;
std::cout << demangle(typeid(x).name()) << std::endl; // 输出 "double"
return 0;
}</p>这样可以将 "d" 转为可读的 "double"，便于日志或调试输出。
基本上就这些。typeid 配合虚函数机制，提供了轻量级的运行时类型查询能力，虽然不能像反射那样获取成员信息，但在类型判断和安全转换中非常实用。
