问C++：用于区分类型的type_info

EN

在快速浏览文档之后，我会说：

对于两个不同的类型，

1. std::type_info::name总是返回两个不同的字符串，否则这意味着编译器在解析类型时丢失了自己，您不应该使用它。anymore.
2. Reference告诉：“如果类型在排序顺序中位于rhs的类型之前，则返回true。排序顺序只是一个由特定实现保持的内部顺序，并不一定与继承关系或声明顺序相关。”因此，您可以保证没有类型在排序顺序中具有相同的排名。
3. 模板类的每个实例化都是不同的类型。专门化也不例外。
4. 我真的不明白你的意思。如果您指的是将typedef foo bar;放在两个单独的编译单元中，而这两个编译单元中的栏是相同的，那么它就是这样工作的。如果你指的是typedef foo bar; typedef int bar;，它就不能工作(除非foo是int)。

关于你的其他问题：

你应该存储对std::type_info的引用，或者包装它，而不考虑性能，我假设比较运算符有恒定的时间，尽管类型复杂。之前必须有线性复杂度，这取决于你的代码中使用的不同类型的数量。，

• ，这真的很奇怪。您应该重载您的operator==，而不是将其设置为虚拟并覆盖它。

标准18.5.1 (type_info类)：

类type_info描述由实现生成的类型信息。此类的对象有效地存储了一个指向类型名称的指针，以及一个适合比较两种类型是否相等或排序顺序的编码值。类型的名称、编码规则和排序顺序都是未指定的，在不同的程序中可能会有所不同。

据我所知：

，

1. ，你没有关于std:type_info::name的保证。这个标准只说明了behavior.
2. That返回一个实现定义的name，我相信一个符合标准的实现可以为每个类型返回相同的字符串。
3. 我不知道，标准在这一点上也不是很清楚，所以我不会依赖这样的NTBS应该是一个明确的‘name’for me
5. 应该是一个明确的'Yes‘for me

关于第二组问题：

• 否，您不能存储type_info。Andrei Alexandrescu在其Modern C++ Design一书中提出了一个TypeInfo包装器。请注意，由typeid 返回的对象具有静态存储，因此您可以安全地存储指针，而无需担心对象的生存期
• 我相信您可以假定type_info比较非常有效(实际上没有太多可比较的内容)。

您可以像这样存储它。

class my_type_info
{
public:
     my_type_info(const std::type_info& info) : info_(&info){}
     std::type_info get() const { return *info_;}
private:
     const std::type_info* info_;
};

编辑：

C++标准5.2.8。

类型表达式的结果是静态类型const std：：type_info的左值...

这意味着你可以像这样使用它。

my_type_info(typeid(my_type));

typeid函数返回一个左值(它不是临时的)，因此返回的type_info的地址总是有效的。