typeid 什么时候可以为同一类型返回不同的 type_info 实例？

Question

Andrei Alexandrescu 在 现代 C++ 设计：

typeid返回的对象有 静态存储，因此您不必 担心终身问题。

安德烈继续说道：

该标准不保证 每次调用，例如 typeid(int) 返回对相同内容的引用 type_info 对象。

尽管标准不保证这一点，但在常见编译器（例如 GCC 和 Visual Studio）中如何实现这一点？

假设 typeid 不会泄漏（并且每次调用都返回一个新实例），它是每个应用程序、每个翻译单元、每个 dll/so 一个“表”，还是完全不同的东西？

是否有时会出现 &typeid(T) != &typeid(T) ？

我主要对 Windows 编译器感兴趣，但也欢迎任何有关 Linux 和其他平台的信息。

Answer 1

有时 &typeid(T) != &typeid(T) 吗？

我主要对 Windows 编译器感兴趣，但也欢迎任何有关 Linux 和其他平台的信息。

是的。因此，在 Windows 下 DLL 不能有未解析的符号。如果你有：

foo.h

struct foo { virtual ~foo() {} };

dll.cpp

#include "foo.h"
...
foo f;
cout << &typeid(&f) << endl

main.cpp

#include "foo.h"
...
foo f;
cout << &typeid(&f) << endl

会给你不同的指针。因为在加载dll之前typeid(foo)应该存在
在 dll 和主 exe 中

更重要的是，在 Linux 下，如果主可执行文件不是使用 -rdynamic （或 --export-dynamic）编译的，则 typeid 将解析为可执行文件中的不同符号，并且
在共享对象中（这通常不会在 ELF 平台下发生），因为链接可执行文件时进行了一些优化——删除了不必要的符号。

Answer 2

标准有时会未指定某些行为，以便给予实现一定的自由。在这种情况下，TypeID 的管理方式由编译器实现决定，您只需给出一组规则（本质上：不必关心如何分配内存）。

您需要能够根据内存地址比较 TypeId 是否有任何特殊原因？ TypeId 已经覆盖 == 和 != 以便为您提供比较它们的能力，并提供可用于唯一标识它们的 name() 。

如果您有《C++ 编程语言》(Bjarne Stroustrup)，第 15 章有很多有关处理类层次结构的详细信息。也许您可以在那里找到另一种解决方案？