typeid 运算符
来自cppreference.com
查询类型的信息。
目录 |
[编辑]语法
typeid (类型) | (1) | ||||||||
typeid (表达式) | (2) | ||||||||
typeid 表达式是左值表达式，它指代一个具有静态存储期的，多态类型 std::type_info 或它的某个派生类型的 const 限定版本类型的对象。
如果使用 typeid 时 std::type_info 的标准库定义不可见，那么程序非良构。
[编辑]解释
如果类型 或表达式 的类型是类类型或到类类型的引用，那么该类类型不能是不完整类型。
2) 检验表达式：
- 如果表达式 是标识了某个多态类型（即声明或继承至少一个虚函数的类）对象的左值(C++11 前)泛左值(C++11 起)表达式，那么 typeid 表达式对该表达式求值，然后指代表示该表达式动态类型的 std::type_info 对象。
- 如果表达式 是一个间接寻址表达式，并且它的操作数求值为空指针值，那么就会抛出匹配 std::bad_typeid 类型的处理块的类型的异常[1]。
- 否则，typeid不对该表达式求值（即该表达式是不求值操作数(C++11 起)，而它所指代的 std::type_info 对象表示该表达式的静态类型。不进行左值到右值、数组到指针或函数到指针转换。
| (C++17 起) |
如果类型 和表达式 的类型具有 cv 限定，那么 typeid 的结果会指代对应的无 cv 限定类型（即 typeid(T)==typeid(const T)）。
如果对处于构造和销毁过程中的对象（在构造函数或析构函数之内，包括构造函数的初始化器列表或默认成员初始化式）使用 typeid，那么此 typeid 指代的 std::type_info 对象表示正在构造或销毁的类，即便它不是最终派生类。
- ↑在其他语境下，对此类表达式 进行求值会导致未定义行为。
[编辑]注解
当应用于多态类型的表达式时，typeid 表达式的求值可能涉及运行时开销（虚表查找），其他情况下 typeid 表达式都在编译时解决。
未指明 typeid 指代的对象的析构函数是否会在程序结束时执行。
不保证同一类型上的 typeid 表达式的所有求值都指代同一个 std::type_info 对象，不过这些 type_info 对象的 std::type_info::hash_code 相同，它们的 std::type_index 也相同。
conststd::type_info& ti1 =typeid(A);conststd::type_info& ti2 =typeid(A); assert(&ti1 ==&ti2);// 不保证assert(ti1 == ti2);// 保证assert(ti1.hash_code()== ti2.hash_code());// 保证assert(std::type_index(ti1)==std::type_index(ti2));// 保证
[编辑]关键词
[编辑]示例
该示例展示使用一种实现时的输出，其中 type_info::name 返回完整类型名；若使用 gcc 或相似者则须通过 c++filt -t 过滤。
运行此代码
#include <iostream>#include <string>#include <typeinfo> struct Base {};// 非多态struct Derived : Base {}; struct Base2 {virtualvoid foo(){}};// 多态struct Derived2 : Base2 {}; int main(){int myint =50;std::string mystr ="string";double*mydoubleptr = nullptr; std::cout<<"myint 的类型："<<typeid(myint).name()<<'\n'<<"mystr 的类型："<<typeid(mystr).name()<<'\n'<<"mydoubleptr 的类型："<<typeid(mydoubleptr).name()<<'\n'; // std::cout << myint 是多态类型的泛左值表达式；求值conststd::type_info& r1 =typeid(std::cout<< myint);// 副作用：打印 50std::cout<<'\n'<<"std::cout<<myint 的类型："<< r1.name()<<'\n'; // std::printf() 不是多态类型的泛左值表达式；不求值conststd::type_info& r2 =typeid(std::printf("%d\n", myint));std::cout<<"printf(\"%d\\n\",myint) 的类型："<< r2.name()<<'\n'; // 非多态左值时是静态类型 Derived d1; Base& b1 = d1;std::cout<<"非多态基类的引用："<<typeid(b1).name()<<'\n'; Derived2 d2; Base2& b2 = d2;std::cout<<"多态基类的引用："<<typeid(b2).name()<<'\n'; try{// 解引用空指针：对于非多态表达式 OKstd::cout<<"mydoubleptr 指向 "<<typeid(*mydoubleptr).name()<<'\n';// 解引用空指针：对多态左值则不行 Derived2* bad_ptr = nullptr;std::cout<<"bad_ptr 指向...";std::cout<<typeid(*bad_ptr).name()<<'\n';}catch(conststd::bad_typeid& e){std::cout<<" 捕获 "<< e.what()<<'\n';}}
可能的输出：
======== 来自 Clang 的输出 ======== myint 的类型：i mystr 的类型：NSt3__112basic_stringIcNS_11char_traitsIcEENS_9allocatorIcEEEE mydoubleptr 的类型：Pd 50 std::cout<<myint 的类型：NSt3__113basic_ostreamIcNS_11char_traitsIcEEEE printf("%d\n",myint) 的类型：i 非多态基类的引用：4Base 多态基类的引用：8Derived2 mydoubleptr 指向 d bad_ptr 指向... 捕获 std::bad_typeid ======== 来自 MSVC 的输出 ======== myint 的类型：int mystr 的类型：class std::basic_string<char,struct std::char_traits<char>,⮠ class std::allocator<char> > mydoubleptr 的类型：double * __ptr64 50 std::cout<<myint 的类型：class std::basic_ostream<char,struct std::char_traits<char> > printf("%d\n",myint) 的类型：int 非多态基类的引用：struct Base 多态基类的引用：struct Derived2 mydoubleptr 指向 double bad_ptr 指向... 捕获 Attempted a typeid of nullptr pointer![编辑]缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
| 缺陷报告 | 应用于 | 出版时的行为 | 正确行为 |
|---|---|---|---|
| CWG 492 | C++98 | 对指代 cv 限定类型的引用应用 typeid 的结果表示被引用类型 | 结果表示无 cv 限定的被引用类型 |
| CWG 1416 | C++98 | 对于顶层 cv 限定的用词可能会引起误解 | 改进用词 |
| CWG 1431 | C++98 | 只允许 typeid 抛出 std::bad_typeid | 允许抛出可匹配的派生类 |
| CWG 1954 | C++98 | 不明确是否会在表达式 的子表达式中检查空指针解引用 | 只会在顶层检查 |
[编辑]参阅
| 包含某个类型的信息，typeid 运算符所返回的类 (类) |
