c++ - type_info 成员函数如何工作？

Question

我目前正在学习运行时类型 ID 和强制转换运算符。我有一些疑问，您能帮我解答一下这个疑惑吗？

请参阅以下代码:

 #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(衍生).name() 给出“7衍生”；这里的 7 是什么？

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

3. type_info::before() 函数是什么？

感谢您的宝贵时间和答复。

Answer 1

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

GCC 和 Clang 返回 mangled names因为这就是这些类型名称在内部的表示方式。您可以通过实现名称修饰规则手动对它们进行修饰，也可以使用现有工具，例如 c++filt或the corresponding APIs .

type_info::before并不直接有用。它的值本质上是任意的，但是一致。这使得它可用于存储 type_info排序容器中的对象，例如 std::set ，或将它们用作 std::map 中的键。 std::type_info::before这里可以用作排序关系。或者，type_info可能已经重载operator <这可以说是它应该做的。 Even standard library authors不明白为什么没有这样做。

以下代码显示了使用 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开始的指针不可复制或移动。