本文分析C++中typeid的实现原理
1. 前言
1.1 typeid
C++里面的typeid是个运算符,返回一个std::type_info常对象的引用,用于标识对象所属的类型。
1.2 std::type_info
- 实现位于/usr/include/c++/7/typeinfo
- 析构函数为virtual
- 有一个保护成员const char *__name, 指向对象的类型名称
- 可以通过name()方法打印出对象的真实类型.
1
2const char* name() const _GLIBCXX_NOEXCEPT
{ return __name[0] == '*' ? __name + 1 : __name; }
2. 调试分析
2.1 测试环境
- Linux ubuntu18arm64 4.15.0-76-generic #86-Ubuntu SMP Fri Jan 17 17:25:58 UTC 2020 aarch64 aarch64 aarch64 GNU/Linux
- gcc version 7.4.0 (Ubuntu/Linaro 7.4.0-1ubuntu1~18.04.1)
- C++11
2.2 基本数据类型
测试代码
1 |
|
运行结果
1 | typeid(i).name() = "i" |
可以看到,返回的类型名字中const/volatile等限定符都不存在了。
下面以变量i为例, 描述typeid(i).name()的实现原理.
汇编代码如下
1 | ... ... |
获取std::type_info对象地址
1 | (gdb) x/1xg 0xaaaaaaabc000 + 3984 |
查看std::type_info对象
1 | (gdb) x/2xg 0x0000fffff7fc3d90 |
查看类型名称
1 | (gdb) p (char*)0x0000fffff7f771c0 |
变量i的type_info对象及其name, 位于libstdc++.so
1 | ... ... |
2.3 类型确定的类类型
测试代码
1 | Derived d; |
运行结果
1 | typeid(d).name() = "7Derived" |
汇编代码如下
1 | ... ... |
查看对象d的std::type_info对象
1 | (gdb) x/2xg 0xaaaaaaabc000 + 0xcb0 |
查看类型名称
1 | (gdb) p (char*)0x0000aaaaaaaabab8 |
编译器在编译期间已经知道对象d的std::type_info对象地址
2.4 类型不确定的类类型
基类指针或引用, 无法确定当前对象是Base对象还是Derived对象.
测试代码
1 | Base *pb = &d; |
运行结果
1 | typeid(*pb).name() = "7Derived" |
汇编代码如下
1 | ... ... |
typeid(*pb)的实现流程如下
先获取*pb对象的vptr
1
2
3
4
5
6(gdb) x/4xg 0xfffffffff220 + 32
0xfffffffff240: 0x0000fffffffff248 0x0000aaaaaaabcc80
0xfffffffff250: 0x0000000000000000 0xa70531c2abcbb300
(gdb) x/1xg 0x0000fffffffff248
0xfffffffff248: 0x0000aaaaaaabcc80再读取vtable[-1], 获取std::type_info对象
1
2
3
4
5(gdb) x/1xg 0x0000aaaaaaabcc80 - 8
0xaaaaaaabcc78 <_ZTV7Derived+8>: 0x0000aaaaaaabccb0
(gdb) x/2xg 0x0000aaaaaaabccb0
0xaaaaaaabccb0 <_ZTI7Derived>: 0x0000fffff7fc4278 0x0000aaaaaaaabab8查看类型名称
1
2(gdb) p (char *)0x0000aaaaaaaabab8
$3 = 0xaaaaaaaabab8 <typeinfo name for Derived> "7Derived"
3. 总结
- 对基本数据类型或类型确定的类类型, typeid(obj)对应的std::type_info对象地址在编译期间已经确定
- 对类型不确定的类类型(基类指针或引用, 多态), typeid(obj)是运行期间通过当前对象找到vptr, 最后在vtable[-1]找到obj对应的std::type_info对象地址