c++ - 使用 dynamic_cast 来验证指向多态类型的指针

Question

由于某些原因，在我们的应用程序中，我们可能拥有已被删除的指针:

IPolymorphicObject* p_object = CreateObject();

某处 p_object 将被删除(通过 delete 或卸载分配它的模块)

delete p_type;

另一个使用 p_object 保存值的代码，让它成为 mp_object。

mp_object->SomeMethod();

因为 mp_object 已经被删除 - 我们遇到了崩溃。 我知道最好的方法是切换到 shared_ptr/weak_ptr，但现在它需要大量重构，这就是为什么我找到了另一个解决方案——如何检查指针有效性。

我知道 dynamic_cast 将返回指向内存中实际对象偏移量的指针。

我也知道 dynamic_cast(p_invalid_pointer) 会抛出异常 non_rtti_object 我可以捕捉到我因此编写验证方法:

template<class T>
bool IsPointerValid(T* ip_ptr)
{
try
{
dynamic_cast<void*>(ip_ptr);
}
catch(...)
{
return false;
}

return true;
}

最终代码如下:

如果(IsPointerValid(mp_object)) mp_object->SomeMethod();

我知道这将是非常糟糕的解决方案，应该避免。

我的问题是:如果指向多态对象的指针无效，IsPointerValid 是否总是返回 false？

Answer 1

这是未定义的行为。

您需要了解的是，dynamic_cast 需要一个“有效”指针。即，指向“有效”对象的指针。

给定一个指向无效对象的指针，一个不再存在的对象，这会导致未定义的行为。

有时候你会在这里得到真实的。有时你会弄错。有时你会得到 "File Not Found"作为返回值。这就是未定义行为的含义。