为什么我可以捕获一个对象或dynamic_cast，即使它的std::type_info对象不同

我正在进行一项实验，并在程序和从程序中打开的共享库中定义了相同的类，并确保程序的dynsym表中没有类型信息对象的条目。然后，我从共享库中抛出该类的一个对象，并尝试使用相同的类类型捕获它。

我预计linux和gcc上的实现不会捕捉到异常，因为程序和共享库中两个类的类型信息对象都不同，因此只有运行时对损坏的类名进行字符串比较，才可能匹配。

它仍然匹配，我甚至可以对共享库中定义的类进行动态下转换。有人能解释一下在这种情况下实现是如何工作的吗？

编辑

根据安腾ABI的状态，观察到的行为似乎是不一致的。我在这里错过了什么？

因此，除了指向不完整类型的直接或间接指针外，在对这些type_info对象进行操作时，等式和不等式运算符可以写成地址比较：两个type_info结构描述相同的类型，当且仅当它们是相同的结构（在同一地址）。

由于两个typeinfo具有不同的地址，因此所描述的结构表示不同的类型。因此，强制转换应该已经失败，并且不应该捕获异常。