Тип производного класса

notAll · Регистрация: 27.05.2016

Студворк — интернет-сервис помощи студентам

Как можно узнать тип производного класса на этапе компиляции?

C++
1
2
3
4
5
6
7
8
9
10
11
#include <iostream>
#include <type_traits>
 
struct A {};
struct B : A {};
 
int main()
{
    A* pa = new B();
    static_assert(std::is_same<B, decltype(*pa)>::value, "*pa must be B type");
}

@HelicopterK52 · 25.08.2016, 15:52

Сообщение от notAll

Как можно узнать тип производного класса на этапе компиляции?

Никак, на то оно и сделано для этапа исполнения.

notAll · 25.08.2016, 16:06 **[ТС]**

Тогда такой вопрос: как мне сконструировать ValuePtrt с правильным производным типом, так как это делает shared_ptr?

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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
#include <iostream>
#include <memory>
 
template <typename T>
class ValuePtr
{
    T* p_;
    template <typename U> friend class ValuePtr;
 
public:
    explicit ValuePtr(T* p = nullptr) : p_(p) {}
    ~ValuePtr() { delete p_; }
    T& operator * () const { return *p_; }
    T* operator -> () const { return p_; }
 
    void swap(ValuePtr& other) noexcept { std::swap(p_, other.p_); }
 
    ValuePtr(const ValuePtr& other)
            : p_(other.p_ ? new T(*other.p_) : nullptr) {}
 
    ValuePtr& operator = (const ValuePtr& other)
    {
        ValuePtr temp(other);
        swap(temp);
        return *this;
    }
 
    template <typename U>
    ValuePtr(const ValuePtr<U>& other)
            : p_(other.p_ ? new T(*other.p_) : nullptr) {}
 
    template <typename U>
    ValuePtr& operator = (const ValuePtr<U>& other)
    {
        ValuePtr temp(other);
        swap(temp);
        return *this;
    }
};
 
struct A
{
    std::string aname{"A"};
    virtual void print() const { puts(aname.c_str()); }
};
struct B : A
{
    std::string bname{"B"};
    void print() const override { puts(bname.c_str()); }
};
 
int main()
{
    ValuePtr<A> a1(new B);
    a1->print(); // B
 
    ValuePtr<A> a2(a1);
    a2->print(); // A
 
    std::shared_ptr<A> a3(new B);
    a3->print(); // B
 
    std::shared_ptr<A> a4(a3);
    a4->print(); // B
}

@DrOffset · 25.08.2016, 16:12

Сообщение от notAll

как мне сконструировать ValuePtrt с правильным производным типом, так как это делает

Нужен шаблонный конструктор + идиома type erasure.

@John Prick · 25.08.2016, 16:12

C++
1
2
    ValuePtr(const ValuePtr& other)
            : p_(other.p_ ? new T(*other.p_) : nullptr) {}

А зачем создавать новый объект? Надо просто скопировать указатель.

notAll · 25.08.2016, 17:45 **[ТС]**

Сообщение от John Prick

А зачем создавать новый объект?

Просто класс должен вести себя как значение, а не указатель.

Добавлено через 1 час 27 минут
DrOffset, а можно какой то небольшой пример кода? Пробовал разные варианты, но никак не могу понять как получить тип наследников. Я хоть на верном пути?:

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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
template <typename T>
class ValuePtr
{
    template <typename U> friend class ValuePtr;
 
    struct base_holder
    {
        virtual ~base_holder() {}
        virtual const std::type_info& type_info() const = 0;
        virtual T* get_pointer() const = 0;
    };
 
    //template <typename TE>
    struct holder : base_holder
    {
        T* t_;
        holder(T* t) : t_(t) {}
 
        const std::type_info &type_info() const override
        {
            return typeid(t_);
        }
 
        ~holder() { delete t_; }
 
        T* get_pointer() const override { return t_;}
    };
 
    base_holder* held_;
 
public:
    template <typename U>
    explicit ValuePtr(U* p = nullptr) : held_(new holder(p)) {}
    
 
    template <typename U>
    ValuePtr(const ValuePtr<U>& other) :  held_(new holder(new HowGetDerivedType(*other))) {}
 
    ~ValuePtr() { delete held_; }
 
    T& operator * () const { return *held_->get_pointer(); }
    T* operator -> () const { return held_->get_pointer(); }
 
};
 
 
struct A
{
    std::string aname{"A"};
    virtual void print() const { puts(aname.c_str()); }
};
 
struct B : A
{
    std::string bname{"B"};
    void print() const override { puts(bname.c_str()); }
};
 
int main()
{
    ValuePtr<A> a1(new B);
    a1->print();
 
    ValuePtr<A> a2(a1);
    a2->print();
}

@DrOffset · 25.08.2016, 21:14

Сообщение от notAll

а можно какой то небольшой пример кода?

В простейшем случае код может выглядеть так:

Кликните здесь для просмотра всего текста

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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
template <typename T>
class ValuePtr
{
    struct HolderBase
    {
    public:
        explicit HolderBase(T * ptr)
            : m_ptr(ptr)
        { }
 
        virtual ~HolderBase()
        { }
 
        virtual HolderBase * clone() const = 0;
 
        T * get() const
        {
            return m_ptr;
        }
 
    private:
        T * m_ptr;
    };
//    template <typename U>
//    friend class ValuePtr;
 
    template <typename U>
    struct Holder : public HolderBase
    {
        explicit Holder(U * ptr)
            : HolderBase(ptr)
        { }
        Holder(Holder const & ptr)
            : HolderBase(ptr.get() ? new U(*ptr.get()) : nullptr)
        { }
        ~Holder()
        {
            delete get();
        }
 
        Holder * clone() const
        {
            return new Holder(*this);
        }
 
        U * get() const
        {
            return static_cast<U *>(HolderBase::get());
        }
    };
 
public:
    template <typename U>
    explicit ValuePtr(U * p = nullptr)
        : m_holder(new Holder<U>(p))
    { }
 
    T & operator * () const
    {
        return *m_holder->get();
    }
    T * operator ->() const
    {
        return m_holder->get();
    }
 
    void swap(ValuePtr & other) noexcept
    {
        std::swap(m_holder, other.m_holder);
    }
 
    ValuePtr(const ValuePtr & other)
        : m_holder(other.m_holder->clone())
    { }
 
    ValuePtr& operator=(const ValuePtr& other)
    {
        ValuePtr temp(other);
        swap(temp);
        return *this;
    }
 
//    template <typename U>
//    ValuePtr(const ValuePtr<U> & other)
//        : m_holder(other.m_holder->clone())
//    { }
 
//    template <typename U>
//    ValuePtr & operator= (const ValuePtr<U> & other)
//    {
//        ValuePtr temp(other);
//        swap(temp);
//        return *this;
//    }
private:
    std::unique_ptr<HolderBase> m_holder;
};

http://rextester.com/LONEUQ75111

Новые блоги и статьи Все статьи Все блоги /
Автозаполнение реквизита при выборе элемента справочника Maks 27.03.2026 Программный код из решения ниже на примере нетипового документа "ЗаявкаНаРемонтСпецтехники" разработанного в конфигурации КА2. При выборе "Спецтехники" (Тип Справочник. Спецтехника), заполняется. . .	Сумматор с применением элементов трёх состояний. Hrethgir 26.03.2026 Тут. https:/ / fips. ru/ EGD/ ab3c85c8-836d-4866-871b-c2f0c5d77fbc Первый документ красиво выглядит, но без схемы. Это конечно не даёт никаких плюсов автору, но тем не менее. . . всё может быть. . .	Автозаполнение реквизитов при создании документа Maks 26.03.2026 Программный код из решения ниже размещается в модуле объекта документа, в процедуре "ПриСозданииНаСервере". Алгоритм проверки заполнения реализован для исключения перезаписи значения реквизита,. . .	Команды формы и диалоговое окно Maks 26.03.2026 1. Команда формы "ЗаполнитьЗапчасти". Программный код из решения ниже на примере нетипового документа "ЗаявкаНаРемонтСпецтехники" разработанного в конфигурации КА2. В качестве источника данных. . .
Кому нужен AOT? DevAlt 26.03.2026 Решил сделать простой ланчер Написал заготовку: dotnet new console --aot -o UrlHandler var items = args. Split(":"); var tag = items; var id = items; var executable = args;. . .	Отправка уведомления на почту при создании или изменении элементов справочника Maks 24.03.2026 Программная отправка письма электронной почты на примере типового справочника "Склады" в конфигурации БП3. Перед реализацией необходимо выполнить настройку системной учетной записи электронной. . .	модель ЗдравоСохранения 5. Меньше увольнений- больше дохода! anaschu 24.03.2026 Теперь система здравосохранения уменьшает количество увольнений. 9TO2GP2bpX4 a42b81fb172ffc12ca589c7898261ccb/ https:/ / rutube. ru/ video/ a42b81fb172ffc12ca589c7898261ccb/ Слева синяя линия -. . .	Midnight Chicago Blues kumehtar 24.03.2026 Такой Midnight Chicago Blues, знаешь?. . Когда вечерние улицы становятся ночными, а ты не можешь уснуть. Ты идёшь в любимый старый бар, и бармен наливает тебе виски. Ты смотришь на пролетающие. . .

Тип производного класса

Решение