使用const指针不能工作的boost :: dynamic_pointer_cast？

Question

假设我有两个类，A和B，其中B是A的子类。

我还有以下功能：

void foo(boost::shared_ptr<const A> a)
{
    boost::shared_ptr<const B> b = boost::dynamic_pointer_cast<const B>(a); // Error !
}

使用gcc编译时会出现以下错误：

C:\Boost\include/boost/smart_ptr/shared_ptr.hpp: In constructor 'boost::shared_ptr< <template-parameter-1-1> >::shared_ptr(const boost::shared_ptr<Y>&, boost::detail::dynamic_cast_tag) [with Y = const A, T = const B]':
C:\Boost\include/boost/smart_ptr/shared_ptr.hpp:522:   instantiated from 'boost::shared_ptr<X> boost::dynamic_pointer_cast(const boost::shared_ptr<U>&) [with T = const B, U = const A]'
src\a.cpp:10:   instantiated from here
C:\Boost\include/boost/smart_ptr/shared_ptr.hpp:259: error: cannot dynamic_cast 'r->boost::shared_ptr<const A>::px' (of type 'const class A* const') to type 'const class B*' (source type is not polymorphic)

可能出现什么问题？

谢谢。

修改

实际上，我发现了如何避免这种情况，但我不确定理解。

我的A类是空的（因此没有虚拟析构函数）。如果我添加一个虚拟析构函数，则错误消失。但我不明白，为什么要这样做？

Answer 1

dynamic_pointer_cast在内部使用C ++ dynamic_cast，而dynamic_cast要求您的类至少拥有一个虚拟方法。没有虚拟方法意味着没有vtable，没有vtable dynamic_cast将无法确定哪些强制转换在运行时是可行的。

Answer 2

如果dynamic_cast是一个至少有一个虚拟成员函数（虚拟析构函数计数）的类，则只能在Type*指针上使用Type。由于boost::dynamic_pointer_cast在内部使用dynamic_cast，因此也适用相同的限制。