不使用typeid 的原因有很多。除了使用 type_info 的成员（实现定义的行为）之外，通常（总是？）可以使用其他 C++ 语言特性来提供类似的功能，例如：重载、虚函数等。
那么，除了依赖于实现定义的行为的使用之外，有没有人有一个真实的例子，typeid 是最好的解决方案？
【问题讨论】：
boost::any 使用typeid 来实现any_cast。
template<typename T> any_cast(const any& other) {
if(typeid(T) != other.type()) throw bad_any_cast();
//...actual cast here...
}
你不能确定T 是多态的，所以dynamic_cast 是不可能的，并且boost::any 调用中的封闭类型现在已经丢失了，所以其他类型的转换都不能提供任何类型类型安全。
【讨论】：
typeid 比替代方案更好。虽然，这是基于它抛出异常而不是说“断言”——我想知道这是否仅仅是因为 boost 更喜欢因异常而不是断言而失败。
当实现多方法（或多调度）时，实际调用是从例如一张地图，使用std::type_info* 作为键。
【讨论】：
typeid，虽然很明显它确实需要。
get_type_token 函数成员来识别它们（脆弱且强耦合的解决方案）。这也需要对基本类型进行装箱，或者有一个令牌以其他方式传递它们。
写一个动态树，你可以在运行时修改树的结构，每个链接都有不同的类型，它需要typeid。 dynamic_cast 还不够。
编辑：这里有一些细节：
class I {
public:
virtual std::string type() const=0;
virtual void *value() const=0;
};
template<class T>
class Impl : public I
{
public:
Impl(T t) : t(t) { }
std::string type() const { return typeid(T).name(); }
void *value() const { return &t; }
private:
T t;
};
然后用这些构建一棵树：
template<class Node, class Link>
class Tree { };
链接类型为 I* 接口...由于上述适用于 T1、T2、T3、T4 类型的任何值，我们也可以对任何函数 T->T1、T->T2 使用类似的类， T->T3, T->T4，并使用该函数类型作为树的节点。现在您已经在动态树中描述了正确的表达式。
【讨论】：
class I 无论如何都实现了所需的接口 - 在这种情况下，我们可以只使用访问者模式，我们会编写访问者，它将在他们关心的节点上运行并忽略他们的节点别。不需要typeid 或void*。
我用它来探测我的全部捕获处理程序中异常的类类型。
// fudge vtable existence (thrown exceptions must have one)
class StubException
{
virtual ~StubException();
};
.....
catch(...)
{
StubException *e = getExceptionObject(); // compiler/rt specific
std::string s = typeid(e).name();
...
throw;
}
函数getExceptionObject() 是一个小型实用程序库的一部分，我错误地访问了有关异常的其他信息。当一个函数抛出一个我应该被捕获但没有被捕获的异常时，它会派上用场。多年来，自从我立即知道需要覆盖的异常类型以来，它无疑节省了很多挫败感。
【讨论】：
您可以使用typeid 来比较两个对象的实际类型。如果您想检查两个对象的相等性，并且首先确保它们是完全相同的类型，这可能很有用（尽管我必须说我没有看到很多这样做，所以可能有一个很好的理由为什么这不是好主意...）。
【讨论】：
dynamic_cast 无法更好/同样好解决的用例吗？
那么，除了依赖于实现定义的行为的使用之外，有没有人有一个真实世界的例子，其中 typeid 是最好的解决方案？
我有时会在调试输出中使用它，以验证传递给我的函数的模板参数确实属于给定类型。这对我来说是有意义的，因为传递给我的函数的实际模板参数是由一个专门的元函数生成的，我想确保使用正确的元函数。
【讨论】：
typeid 和 demanling 进行日志记录。很有帮助。
class_name 方法变得更容易。
GGobLedeGooKKMyClassNameOoGaBooGGaA的东西，但它只是为了调试东西所以我并不在意。