typeid 运算符

来自cppreference.com
< cpp‎ | language
 
 
 
表达式
概述
值类别(左值 lvalue 、右值 rvalue 、亡值 xvalue )
求值顺序(序列点)
常量表达式
不求值表达式
初等表达式
lambda 表达式(C++11)
字面量
整数字面量
浮点字面量
布尔字面量
字符字面量,包含转义序列
字符串字面量
空指针字面量(C++11)
用户定义字面量(C++11)
运算符
赋值运算符a=b, a+=b, a-=b, a*=b, a/=b, a%=b, a&=b, a|=b, a^=b, a<<=b, a>>=b
自增与自减++a, --a, a++, a--
算术运算符+a, -a, a+b, a-b, a*b, a/b, a%b, ~a, a&b, a|b, a^b, a<<b, a>>b
逻辑运算符a||b, a&&b, !a
比较运算符a==b, a!=b, a<b, a>b, a<=b, a>=b, a<=>b(C++20)
成员访问运算符a[b], *a, &a, a->b, a.b, a->*b, a.*b
其他运算符a(...), a,b, a?b:c
运算符的替代表示
优先级和结合性
折叠表达式(C++17)
new 表达式
delete 表达式
throw 表达式
alignof
sizeof
sizeof...(C++11)
typeid
noexcept(C++11)
运算符重载
类型转换
隐式转换
const_cast
static_cast
reinterpret_cast
dynamic_cast
显式转换 (T)a, T(a)
用户定义转换
 

查询类型的信息。

用于必须知晓多态对象动态类型的场合以及静态类型鉴别。

目录

[编辑] 语法

typeid( type ) (1)
typeid( expression ) (2)

必须在使用 typeid 前包含头文件 <typeinfo> (若不包含该头文件,则关键词 typeid 的每次使用都令程序为病式。)

typeid 表达式为左值表达式,表示一个拥有静态存储期的,多态类型 const std::type_info 或从它派生的某些类型的对象。

[编辑] 解释

1) 指代一个表示 type 类型的 std::type_info 对象。若 type 为引用类型,则结果所指代的 std::type_info 对象表示被引用的类型。
2) 检验表达式 expression
a)expression 为标识一个多态类型(即声明或继承至少一个虚函数的类)对象的泛左值表达式,则 typeid 表达式求值该表达式,然后指代表示该表达式动态类型的 std::type_info 对象。若泛左值表达式通过应用一元 * 运算符到指针取得,且指针为空指针值,则抛出 std::bad_typeid 类型或从 std::bad_typeid 派生的类型的异常。
b)expression 不是多态类型的泛左值表达式,则 typeid不求值表达式,而它所指代的 std::type_info 对象表示该表达式的静态类型。不进行左值到右值、数组到指针,或函数到指针转换。然而对于纯右值参数,(形式上)进行临时量实质化: typeid 检测结果对象的类型。 (C++17 起)

在所有情况下, typeid 都忽略 cv 限定符(即 typeid(T) == typeid(const T)

typeid 的操作数为类类型或到类类型的引用,则该类类型必须不是不完整类型

typeid 在对象的构造和析构中被使用(用于构造函数或析构函数中,包括构造函数的初始化器列表默认成员初始化器),则此 typeid 所指代的 std::type_info 对象表示正在构造或析构的类,即使它不是最终派生类。

[编辑] 关键词

typeid

[编辑] 注意

在应用到多态类型的表达式时, 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); // 不保证
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 { virtual void foo() {} }; // 多态
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 为多态类型的泛左值表达式;求值它
    const std::type_info& r1 = typeid(std::cout << myint);
    std::cout << '\n' << "std::cout<<myint has type : " << r1.name() << '\n';
 
    // std::printf() 不是多态类型的泛左值表达式;不求值
    const std::type_info& r2 = typeid(std::printf("%d\n", myint));
    std::cout << "printf(\"%d\\n\",myint) has type : " << r2.name() << '\n';
 
    // 非多态左值为静态类型
    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 {
        // 解引用空指针:对于非多态表达式 OK
        std::cout << "mydoubleptr points to " << typeid(*mydoubleptr).name() << '\n'; 
        // 解引用空指针:对多态左值不 OK
        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';
    }
}

可能的输出:

myint has type: int
mystr has type: std::basic_string<char, std::char_traits<char>, std::allocator<char> >
mydoubleptr has type: double*
50
std::cout<<myint has type : std::basic_ostream<char, std::char_traits<char> >
printf("%d\n",myint) has type : int
reference to non-polymorphic base: Base
reference to polymorphic base: Derived2
mydoubleptr points to double
bad_ptr points to...  caught std::bad_typeid