type_info 成员函数如何工作？

Question

我目前正在学习运行时类型 ID 和 Casting Operator。我有一些问题，你能帮我解决这个疑惑吗？

请参阅以下代码：

 #include <iostream>
 #include <typeinfo>

 using namespace std;

 class base
 {

 };

 class derived
 {

 };

 int main()
 {
      cout<<typeid(char).name()<<endl;
      cout<<typeid(int).name()<<endl;
      cout<<typeid(float).name()<<endl;
      cout<<typeid(double).name()<<endl;
      cout<<typeid(base).name()<<endl;
      cout<<typeid(derived).name()<<endl;
 }

输出：

  c
  i
  f
  d
  4base
  7derived

  Process returned 0 (0x0)   execution time : 0.238 s
  Press any key to continue.

问题：

1. typeid(base).name()给出“ 4base”；4这里有什么并typeid(derived).name()给出“ 7derived”；这是7什么？

2. 为什么typeid(char).name()和其他内置数据类型只给出第一个字母？

3. 功能是什么type_info::before()？

感谢您的时间和回答。

Answer 1

type_info::name返回一个实现定义的类型名称。它不一定对应于代码中这些类型名称的实际拼写。

GCC 和 Clang 返回损坏的名称，因为这就是这些类型名称在内部表示的方式。您可以通过实施名称修改规则来手动对它们进行解压缩，也可以使用现有工具（例如c++filt或相应的 API）。

type_info::before没有直接用处。它的值本质上是任意的，但一致的。这使它可用于将type_info对象存储在已排序的容器中，例如std::set，或将它们用作std::map. std::type_info::before这里可以用作排序关系。或者，type_info可能已经超载operator <，这可以说是它应该做的。即使是标准库作者也不明白为什么没有这样做。

以下代码显示了一个type_info::before曾经需要使用的示例。从 C++11 开始，不再需要它，因为您可以使用type_index密钥代替。此外，这显然是对运行时类型信息的人为使用：在您根本不会使用的实际代码中，您将type_info通过函数重载来解决问题。

#include <iostream>
#include <map>
#include <string>
#include <typeinfo>

auto type_info_less = [](std::type_info const* a, std::type_info const* b) {
    return a->before(*b);
};

using type_name_map = std::map<
    std::type_info const*,
    char const*,
    decltype(type_info_less)
>;

auto const readable_type_names = type_name_map(
    {
        {& typeid(int), "int"},
        {& typeid(float), "float"},
        {& typeid(std::string), "std::string"},
        // ...
    },
    type_info_less
);

template <typename T>
auto type_name() {
    return readable_type_names.find(& typeid(T))->second;
}

int main() {
    std::cout << type_name<std::string>() << "\n";
    // Prints ”std::string”.
}

请注意，我们需要存储指针，因为type_info它不可复制或移动。