0 / 0 / 0
Регистрация: 07.04.2016
Сообщений: 3
1

Приведение типов умных указателей

21.06.2016, 07:47. Показов 1600. Ответов 7

Добрый день.

Реализовал простенький умный указатель с подсчетом ссылок.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
template<typename object_t>
class Ptr
{
public:
    typedef object_t object_type;
    
    Ptr();
    Ptr(object_t* object);
    Ptr(const Ptr<object_t>& other);
    ~Ptr();
    
    object_t* PeekPointer();
    
    Ptr<object_t>& operator=(const Ptr<object_t>& other);
    object_t& operator*() const;
    object_t* operator->() const;
    operator bool() const;
 
    template <typename T>
    operator Ptr<T>()
    {
        Ptr<T> res(dynamic_cast<T*>(m_ptr));
        delete res.m_refCounter;
        res.m_refCounter = m_refCounter;
        Ref();
        return res;
    }
 
private:
    template<typename any_t> friend class Ptr;
 
    inline void Ref();
    inline void Unref();
    
    object_t* m_ptr;
    uint32_t* m_refCounter;
};
Вопросы касаются оператора приведения типа template <typename T> operator Ptr<T>().
1. Как проверить, что текущий тип и тип преобразования находятся в одной иерархии наследования? А то динамикастит все подряд.
2. Есть ли более правильный способ приведения типов умного указателя?
__________________
Помощь в написании контрольных, курсовых и дипломных работ, диссертаций здесь
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
21.06.2016, 07:47
Ответы с готовыми решениями:

приведение типов указателей
Задача у меня простая. Нужно побитно оперировать с числом unsigned int и на каких-то этапах...

Отличие приведение типов указателей
Чем отличаются при Base* a_ptr = new Derivered(); следующие строки: A) auto ptr =...

Использование умных указателей
Всем привет! Недавно наконец попробовал использовать умные указатели и мне понравилось, но...

Подсчет умных указателей
Здравствуйте! Столкнулся с проблемой реализации умных указателей . Совсем не выходит написать...

7
Don't worry, be happy
17769 / 10534 / 2034
Регистрация: 27.09.2012
Сообщений: 26,505
Записей в блоге: 1
21.06.2016, 07:59 2
Цитата Сообщение от prodenx Посмотреть сообщение
Как проверить, что текущий тип и тип преобразования находятся в одной иерархии наследования?
C++
1
static_assert(std::is_base_of<BaseClass, DerivedClass>::value, "Types is not combatible");
0
0 / 0 / 0
Регистрация: 07.04.2016
Сообщений: 3
21.06.2016, 08:42  [ТС] 3
А если без использования стандарта C++11?
0
16271 / 8830 / 2166
Регистрация: 30.01.2014
Сообщений: 15,257
21.06.2016, 09:59 4
Цитата Сообщение от prodenx Посмотреть сообщение
А если без использования стандарта C++11?
С помощью boost, например. И лучше пользоваться конструктором для преобразования, больше контроля, чище код.
C++
1
2
3
4
5
6
7
8
9
10
template <typename P>
class Ptr
{
public:
    template <typename T>
    Ptr(Ptr<T> & other, typename boost::enable_if< boost::is_base_of<P, T> >::type * = 0)
        : m_ptr(other.m_ptr)
    { }
//....
};
Насчет dynamic_cast по умолчанию - очень спорное решение. По умолчанию должна поддерживаться естественная семантика преобразования указателей (Наследник -> База). А преобразование dynamic_cast лучше вынести в отдельную функцию, нечто вроде:
C++
1
2
template <typename T, typename P>
Ptr<T> dynamic_ptr_cast(Ptr<P> & x);
PS. Если буст использовать не хочется, то enable_if пишется легко руками, с is_base_of чуть сложнее, но не смертельно.
0
Don't worry, be happy
17769 / 10534 / 2034
Регистрация: 27.09.2012
Сообщений: 26,505
Записей в блоге: 1
21.06.2016, 11:11 5
Цитата Сообщение от DrOffset Посмотреть сообщение
с is_base_of чуть сложнее, но не смертельно.
Разве простой SFINAE'ки с ссылкой не достаточно?
0
16271 / 8830 / 2166
Регистрация: 30.01.2014
Сообщений: 15,257
21.06.2016, 11:17 6
Цитата Сообщение от Croessmah Посмотреть сообщение
Разве простой SFINAE'ки с ссылкой не достаточно?
Если ты про такое:
C++
1
2
3
4
    template <typename T>
    Ptr(typename boost::enable_if< boost::is_base_of<P, T>, Ptr<T> >::type & other)
        : m_ptr(other.m_ptr)
    { }
то нет. Заблокируешь вывод типа.
1
Don't worry, be happy
17769 / 10534 / 2034
Регистрация: 27.09.2012
Сообщений: 26,505
Записей в блоге: 1
21.06.2016, 11:20 7
Цитата Сообщение от DrOffset Посмотреть сообщение
то нет
Блин, даже не понял о чем Вы.
Оказывается, я прочитал не так.
то enable_if пишется легко руками, с is_base_of чуть сложнее
'с' пропустил, получилось, что is_base_of сложнее написать, чем enable_if

В мозгу получилось несоответствие моего вопроса и Вашего ответа
0
0 / 0 / 0
Регистрация: 07.04.2016
Сообщений: 3
22.06.2016, 11:19  [ТС] 8
Спасибо всем за помощь, помогли
0
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
22.06.2016, 11:19
Помогаю со студенческими работами здесь

Использование умных указателей
В каких случаях вы используете умные указатели, а в каких обычные?

Правильное использование умных указателей, как членов класса
Допустим у нас есть класс Node, объекты которого могут хранить вложенные Node, как правильнее...

Подскажите как переписать класс с использованием умных указателей, либо STL
К сожалению, знания об умных указателях и библиотеке STL прошли мимо меня... Сейчас пытаюсь...

Различия указателей char* от указателей других типов
Помогите пожалуйста разобраться! Прочитал раздел про указатели и даже вроде бы понял. Что...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
8
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2022, CyberForum.ru