C++ Primer 5th笔记（chap 19 特殊工具与技术）typeid运算符

Posted 2021-11-24 thefist11

1. typeid运算符(typeid operator)

它允许程序向表达式提问：你的对象是什么类型？

typeid表达式的形式是typeid(e)，其中e可以是任意表达式或类型的名字，它操作的结果是一个常量对象的引用。它可以作用于任意类型的表达式。

1.1 通常情况下，使用typeid比较两条表达式的类型是否相同，或者比较一条表达式的类型是否与指定类型相同：

Derived *dp = new Derived;
Base *bp = dp;

if (typeid(*bp) == typeid(*dp)) {
    // bp和dp指向同一类型的对象
}

if (typeid(*bp) == typeid(Derived)) {
    // bp实际指向Derived对象
}

1.2 当typeid作用于指针时(而非指针所指向的对象)，返回的结果是该指针的静态编译时类型

// 下面的检查永远是失败的：bp的类型是指向Base的指针
if (typeid(bp) == typeid(Derived)) {
    // 永远不会执行
}