假设我有两个类,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
类是空的(因此没有虚拟析构函数)。如果我添加一个虚拟析构函数,则错误消失。但我不明白,为什么要这样做?
答案 0 :(得分:17)
dynamic_pointer_cast
在内部使用C ++ dynamic_cast
,而dynamic_cast
要求您的类至少拥有一个虚拟方法。没有虚拟方法意味着没有vtable,没有vtable dynamic_cast
将无法确定哪些强制转换在运行时是可行的。
答案 1 :(得分:3)
如果dynamic_cast
是一个至少有一个虚拟成员函数(虚拟析构函数计数)的类,则只能在Type*
指针上使用Type
。由于boost::dynamic_pointer_cast
在内部使用dynamic_cast
,因此也适用相同的限制。