`typeid` 运算符

查询类型的相关信息。

在必须得知多态对象的动态类型，以及用于静态类型标识时使用。

如果 expression 是标识多态类型（即声明或继承至少一个虚函数的类）左值(直到 C++11)标识多态类型（即声明或继承至少一个虚函数的类）对象的泛左值(自 C++11 起)表达式，则 typeid 表达式求值该表达式，然后引用代表表达式的动态类型的 std::type_info 对象。

如果 expression 是间接表达式且其操作数求值为空指针值，则抛出与类型 std::bad_typeid 的处理程序匹配的类型的异常^[1]。

否则，typeid 不对表达式求值，并且它标识的 std::type_info 对象代表表达式的静态类型。不执行左值到右值、数组到指针或函数到指针的转换。

然而，对于纯右值参数，会（形式上）执行临时量实质化：实参必须在 typeid 表达式出现的语境中可析构。

(自 C++17)

如果 type 或 expression 的类型是 cv 限定的，则 typeid 的结果引用代表 cv 无限定类型的 std::type_info 对象（即 typeid(const T) == typeid(T)）。

如果在构造或析构期间（在析构函数或构造函数中，包括构造函数的初始化器列表或默认成员初始化器）对对象使用 typeid，则此 typeid 引用的 std::type_info 对象代表正在构造或析构的类，即使它不是最派生类。

↑ 在其他语境中，对此类 expression 求值会导致未定义行为。

[编辑] 注解

当应用于多态类型的表达式时，typeid 表达式的求值可能涉及运行时开销（虚函数表查找），否则 typeid 表达式在编译时解析。

未指明是否在程序结束时执行 typeid 引用的对象的析构函数。

不保证对同一类型的所有 typeid 表达式求值都将引用相同的 std::type_info 对象，尽管它们将比较相等，但这些 type_info 对象的 std::type_info::hash_code 将是相同的，它们的 std::type_index 也将是相同的。

const std::type_info& ti1 = typeid(A);
const std::type_info& ti2 = typeid(A);
 
assert(&ti1 == &ti2); // not guaranteed
assert(ti1 == ti2); // guaranteed
assert(ti1.hash_code() == ti2.hash_code()); // guaranteed
assert(std::type_index(ti1) == std::type_index(ti2)); // guaranteed

[编辑] 关键词

typeid

[编辑] 示例

示例展示了使用 type_info::name 返回完整类型名称的实现之一的输出；如果使用 gcc 或类似工具，请通过 c++filt -t 过滤。

运行此代码

#include <iostream>
#include <string>
#include <typeinfo>
 
struct Base {}; // non-polymorphic
struct Derived : Base {};
 
struct Base2 { virtual void foo() {} }; // polymorphic
struct Derived2 : Base2 {};
 
int main()
{
    int myint = 50;
    std::string mystr = "string";
    double *mydoubleptr = nullptr;
 
    std::cout << "myint has type: " << typeid(myint).name() << '\n'
              << "mystr has type: " << typeid(mystr).name() << '\n'
              << "mydoubleptr has type: " << typeid(mydoubleptr).name() << '\n';
 
    // std::cout << myint is a glvalue expression of polymorphic type; it is evaluated
    const std::type_info& r1 = typeid(std::cout << myint); // side-effect: prints 50
    std::cout << '\n' << "std::cout<<myint has type : " << r1.name() << '\n';
 
    // std::printf() is not a glvalue expression of polymorphic type; NOT evaluated
    const std::type_info& r2 = typeid(std::printf("%d\n", myint));
    std::cout << "printf(\"%d\\n\",myint) has type : " << r2.name() << '\n';
 
    // Non-polymorphic lvalue is a static type
    Derived d1;
    Base& b1 = d1;
    std::cout << "reference to non-polymorphic base: " << typeid(b1).name() << '\n';
 
    Derived2 d2;
    Base2& b2 = d2;
    std::cout << "reference to polymorphic base: " << typeid(b2).name() << '\n';
 
    try
    {
        // dereferencing a null pointer: okay for a non-polymorphic expression
        std::cout << "mydoubleptr points to " << typeid(*mydoubleptr).name() << '\n'; 
        // dereferencing a null pointer: not okay for a polymorphic lvalue
        Derived2* bad_ptr = nullptr;
        std::cout << "bad_ptr points to... ";
        std::cout << typeid(*bad_ptr).name() << '\n';
    }
    catch (const std::bad_typeid& e)
    {
        std::cout << " caught " << e.what() << '\n';
    }
}

可能的输出

======== output from Clang ========
myint has type: i
mystr has type: NSt3__112basic_stringIcNS_11char_traitsIcEENS_9allocatorIcEEEE
mydoubleptr has type: Pd
50
std::cout<<myint has type : NSt3__113basic_ostreamIcNS_11char_traitsIcEEEE
printf("%d\n",myint) has type : i
reference to non-polymorphic base: 4Base
reference to polymorphic base: 8Derived2
mydoubleptr points to d
bad_ptr points to...  caught std::bad_typeid
 
======== output from MSVC ========
myint has type: int
mystr has type: class std::basic_string<char,struct std::char_traits<char>,⮠
class std::allocator<char> >
mydoubleptr has type: double * __ptr64
50
std::cout<<myint has type : class std::basic_ostream<char,struct std::char_traits<char> >
printf("%d\n",myint) has type : int
reference to non-polymorphic base: struct Base
reference to polymorphic base: struct Derived2
mydoubleptr points to double
bad_ptr points to...  caught Attempted a typeid of nullptr pointer!

[编辑] 缺陷报告

以下行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。

DR	应用于	已发布行为	正确行为
CWG 492	C++98	当 typeid 应用于 cv 限定的引用时类型，结果代表被引用类型	结果代表 cv 无限定的被引用类型
CWG 1416	C++98	关于顶层的措辞 cv 限定可能被误解	改进了措辞
CWG 1431	C++98	typeid 仅被允许抛出 std::bad_typeid	允许抛出可匹配的派生类
CWG 1954	C++98	不清楚是否可以检查空指针解引用在 expression 的子表达式中	仅在顶层检查

[编辑] 参见

type_info

包含一些类型的信息，typeid 运算符返回的类
(类) [编辑]

[1] 在其他语境中，对此类 expression 求值会导致未定义行为。

[1]

编译器支持
独立和宿主式
语言
标准库
标准库头文件
具名要求
特性测试宏 (C++20)
语言支持库
概念库 (C++20)
诊断库
内存管理库
元编程库 (C++11)
通用工具库
容器库
迭代器库
范围库 (C++20)
算法库
字符串库
文本处理库
数值库
日期和时间库
输入/输出库
文件系统库 (C++17)
并发支持库 (C++11)
执行控制库 (C++26)
技术规范
符号索引
外部库


`typeid (` type `)`	(1)

`typeid (` expression `)`	(2)

cppreference.cn

命名空间

变体

视图

操作