std::type_info_std typeinfo-优快云博客

本文链接：https://blog.youkuaiyun.com/xie__jin__cheng/article/details/143255739

1.概要

2.内容

1.std::type_info

std::type_info 是 C++ 标准库中的一个类，它提供了在运行时获取类型信息的能力。这个类通常与 typeid 关键字一起使用，typeid 返回一个指向 std::type_info 对象的引用，该对象包含了有关特定类型的编译时信息。

std::type_info 类提供了几个成员函数，但最常用的是 name() 成员函数，它返回一个 C 字符串，表示类型的名称。这个名称的确切格式和可读性取决于编译器和具体的实现；有些编译器可能会返回装饰过的、难以直接理解的名称，而有些编译器则可能提供更为人类可读的类型名。

除了 name() 之外，std::type_info 还可能提供其他成员函数，比如比较运算符（==、!=、<、<=、>、>=），用于比较两个 std::type_info 对象是否表示相同的类型。然而，这些比较运算符的可用性可能取决于编译器和标准库的实现。

下面是一个使用 std::type_info 和 typeid 的简单例子：

#include <iostream>  
#include <typeinfo>  
  
class Base {  
public:  
    virtual ~Base() {} // 虚析构函数确保多态性  
};  
  
class Derived : public Base {  
};  
  
int main() {  
    Base* basePtr = new Derived();  
  
    // 获取并打印 basePtr 指向的对象的类型信息  
    const std::type_info& typeInfo = typeid(*basePtr);  
    std::cout << "The type of basePtr is: " << typeInfo.name() << std::endl;  
  
    // 比较类型信息  
    if (typeid(*basePtr) == typeid(Derived)) {  
        std::cout << "basePtr points to a Derived object." << std::endl;  
    }  
  
    delete basePtr; // 清理内存  
    return 0;  
}

在这个例子中，typeid(*basePtr) 返回一个 std::type_info 对象的引用，该对象表示 basePtr 指向的对象的实际类型（在这个例子中是 Derived）。然后，我们使用 typeInfo.name() 来获取并打印这个类型的名称。此外，我们还使用 typeid 和 == 运算符来检查 basePtr 是否指向一个 Derived 类型的对象。

请注意，std::type_info 的行为（特别是 name() 函数返回的字符串格式）可能会因编译器而异。如果你需要跨编译器的、更为一致的类型名称表示，你可能需要考虑使用第三方库，如 Boost.TypeIndex。

std::type_info的构成

std::type_info 是 C++ 标准库中的一个类，它提供了在运行时获取类型信息的功能。虽然 C++ 标准库并没有详细规定 std::type_info 的内部实现细节，但我们可以根据一般的使用经验和编译器实现来理解它的基本构成和特性。

一般来说，std::type_info 类包含以下关键特性和组成部分：

类型名称：
- std::type_info 类通常包含一个指向类型名称的指针或引用。这个名称通常是通过 name() 成员函数返回的，但请注意，这个名称的确切格式和可读性取决于编译器实现，有时可能不是人类可读的。
类型比较：
- std::type_info 类提供了比较运算符（如 ==、!=），用于比较两个 std::type_info 对象是否表示相同的类型。这些比较运算符的实现依赖于编译器的类型信息表示方式。
类型信息存储：
- std::type_info 对象通常在编译时生成，并作为静态数据存在于最终生成的目标代码中。编译器会在静态存储空间里为这些 std::type_info 对象分配空间，并生成代码来初始化它们的内容。
多态支持：
- std::type_info 和 typeid 关键字通常与多态性一起使用。在多态类型（即含有虚函数的类）的上下文中，typeid 可以返回对象的实际类型，而不仅仅是其静态类型。
虚析构函数：
- std::type_info 类通常包含一个虚析构函数，这使得它可以作为其他类型信息类的基类。然而，用户通常不能直接创建 std::type_info 对象，因为标准库没有提供其公开的构造函数。
编译器实现依赖：
- std::type_info 的具体实现细节（如类型名称的表示方式、类型信息的存储方式等）高度依赖于编译器的实现。不同的编译器可能会采用不同的方式来生成和存储类型信息。

需要注意的是，由于 std::type_info 的具体实现细节并未在 C++ 标准中明确规定，因此上述描述是基于一般的使用经验和编译器实现的理解。在实际编程中，开发者应该遵循编译器和标准库文档的指导来使用 std::type_info 和 typeid 关键字。

此外，虽然 std::type_info 提供了在运行时获取类型信息的能力，但使用它可能会对程序性能产生一定影响。因此，在不需要运行时类型检查的情况下，开发者应该避免使用 std::type_info 和 typeid 关键字。

std::type_info的属性除了name还有啥

std::type_info 是 C++ 标准库中用于在运行时获取类型信息的类。除了广为人知的 name() 成员函数外，std::type_info 还可能具有其他属性或成员函数，尽管这些并不是 C++ 标准明确规定的，而是依赖于具体编译器和标准库的实现。以下是一些可能在某些实现中出现的 std::type_info 的属性或成员函数：

比较运算符：
- ==：用于比较两个 std::type_info 对象是否表示相同的类型。
- !=：用于比较两个 std::type_info 对象是否表示不同的类型。
- 其他比较运算符（如 <、<=、>、>=）也可能存在，但使用较少。
hash_code() 成员函数：
- 在某些实现中，std::type_info 可能包含一个 hash_code() 成员函数，它返回一个整数值，表示类型的哈希码。这个哈希码可以用于快速比较类型是否相等，但需要注意哈希冲突的可能性。
before() 成员函数：
- 在某些实现中，std::type_info 可能包含一个 before() 成员函数，它接受另一个 std::type_info 对象作为参数，并返回一个布尔值，表示调用对象在类型顺序上是否位于参数对象之前。这种类型顺序通常用于内部实现细节，并不保证在不同编译器或不同版本的标准库之间保持一致。
虚析构函数：
- std::type_info 包含一个虚析构函数，这使得它可以作为其他类型信息类的基类。然而，用户通常不能直接实例化 std::type_info 对象，因为标准库没有提供其公开的构造函数。
内部实现细节：
- std::type_info 的内部实现细节高度依赖于编译器和标准库的实现。它可能包含指向类型名称的指针、类型信息的存储结构等。但这些细节通常对用户是隐藏的，不需要直接访问。