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)

Что может быть не так?

Спасибо.

EDIT

На самом деле, я узнал, как этого избежать, но я не уверен, что понимаю.

Мой класс 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 для внутреннего использования, то же ограничение распространяется и на него.