Каким образом интеллектуальные указатели должны быть сброшены?

Интеллектуальные указатели могут обрабатывать понижающее приведение, но это не автоматическое действие. И получение константной корректности может быть немного сложным (я использовал нашу реализацию интеллектуального указателя в вопросах собеседования, здесь задействованы некоторые хитрости шаблонов). Но многие пользователи интеллектуальных указателей никогда не создают экземпляры своих интеллектуальных указателей с типами, квалифицированными константой.

Первое, что вам нужно исправить, - это счетчик. Поскольку вам может потребоваться совместное использование счетчика между smart_ptr<Base> и smart_ptr<Derived>, тип счетчика не должен зависеть от аргумента типа. В общем, это все равно не имеет большого значения. Счетчик - это просто size_t, вероятно, заключенный в класс. (Примечание: существуют альтернативные конструкции интеллектуальных указателей, но вопрос настоятельно предполагает, что используется счетчик)

Бросок к базе должен быть довольно тривиальным. Следовательно, ваш smart_ptr должен иметь конструктор, принимающий smart_ptr. В этом ctor добавьте строку static_cast<T*>((U*)0);. Это не генерирует код, но предотвращает создание экземпляра, когда T не является основанием для U (квалификации по модулю const).

Обратное должно быть явным приведением. Вы не можете программно перечислить все основания T, поэтому smart_ptr<T> не может быть производным от smart_ptr<Base1_of_T>, smart_ptr<Base2_of_T>, ... Следовательно, dynamic_cast<smart_ptr<T> > не будет работать. Вы можете предоставить свой собственный smart_dynamic_cast<SPT>(smart_ptr<U> const& pU). Лучше всего это реализовать как функцию, возвращающую SPT. В этой функции вы можете просто выполнить return SPT(dynamic_cast<SPT::value_type*>(&*pU)).

Требуемое свойство - это ковариация в указанном типе. То есть, если D - это B, тогда вам нужно smartptr<D> isa smartptr<B>. Я не думаю, что это вообще элегантно поддерживается в C ++, но, как всегда, доступны хаки с шаблонами / перегрузками.

http://www.boost.org/doc/libs/1_39_0/libs/smart_ptr/pointer_cast.html дает динамическое приведение, которое работает с обычным и boost :: smart_ptr. Вам следует извлечь уроки из реализации, если вы не хотите использовать только Boost.

Следите за веткой здесь в одном из списков рассылки ускоренных сообщений. Он показывает, как можно реализовать понижающее преобразование интеллектуального указателя в случае boost :: shared_ptr. HTH

Обычные интеллектуальные указатели, такие как std::auto_ptr, небезопасно использовать в контейнерах STL из-за того, что владение перемещается, когда STL назначает экземпляры интеллектуальных указателей друг другу при копировании данных внутри. Вместо этого вам нужно использовать что-то вроде boost::shared_ptr, которое внутренне реализует подсчет ссылок, чтобы гарантировать, что объект остается живым, независимо от того, сколько экземпляров интеллектуальных указателей ссылаются на него. Если вы пишете свои собственные типы интеллектуальных указателей, вам необходимо реализовать аналогичный подсчет ссылок.

Я нашел это на страницах Microsoft:

    std::shared_ptr<base> sp0(new derived); 
    std::shared_ptr<derived> sp1 = 
    std::dynamic_pointer_cast<derived>(sp0);