Множественное наследование

@iXakeR · Регистрация: 18.05.2017

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

Добрый день, коллективный разум, прошу твоей помощи.
Вопрос в следующем: как имея следующую структуру классов использующих множественное наследование реализовать задумку.

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
template <class P>
class Basic {
protected:
  typedef typename P::ValueType ValueType;
  typedef typename P::PointerType PointerType;
public:
  inline operator ValueType() {
    return ((P *)this)->operator*();
  }
  
  inline operator PointerType() {
    return ((P *)this)->operator->();
  }
};
 
template <class P>
class VoidPtr {
public:
  inline void * ToVoidPtr() {
    return (void *)(P *)(this)->operator->();
  }
  
  inline operator void *() {
    return ToVoidPtr();
  }
};
 
template <class T, template <class> class ... Conversation>
class Pointer : public Conversation<Pointer<T>> ... {
public:
  typedef T ValueType;
  typedef ValueType * PointerType;
protected:
  void * data_;
public:
  Pointer() { data_ = nullptr; }
  Pointer(T& data) { data_ = (void *)&data; }
  T& operator*() {
    return *(T *)data_;
  }
  T * operator->() {
    return (T *)data_;
  }
};

Если создать класс Pointer следующим образом:

C++
1
Pointer<int>

все замечательно. Если унаследоваться только от одного класса

C++
1
Pointer<int, Basic>

- все ок. Все работает, преобразование к базовому типу тоже ок. Но если указать

C++
1
Pointer<int, Basic, VoidPtr>

, то при попытке преобразовать к void * или к базовому типу ошибка доступа к памяти из-за того что указатель в классе Basic классе Pointer указывают на разные участки памяти (в классе Basic или VoidPtr указатель на класс Pointer сдвинут на несколько байт вперед) и ну Вы поняли. Как можно выйти из данной ситуации.

@TRam_ · 18.05.2017, 21:29

наверно, сделать

C++
1
Pointer<VoidPtr, int, Basic>

@iXakeR · 19.05.2017, 07:26 **[ТС]**

Первый параметр в классе Pointer это тип сохраняемый в указателе, все последующие необязательные параметры - полити преобразования. Их может быть от 0 до очень много. Тоесть

C++
1
Pointer<int>

указатель на int

C++
1
Pointer<int, Basic>

указатель на int но с возможность преобразованния к базовому типу

C++
1
Pointer<int, DoubleConvert, VoidPtr, Basic>

возможно преобразовать к void *, базовому типу и к типу double, например
Тоесть стратегий преобразования может быть очень много и они задаются при определении шаблона.

@iXakeR · 21.05.2017, 12:01 **[ТС]**

Нашел решение, может быть можно реализовать и как-то по другому.

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
namespace ConversationStrategy {
    template <class P>
    class Strategy {
    public:
        void * data_;
    };
 
    template <class P>
    class None : virtual public Strategy<P> {};
 
    template <class P>
    class Basic : virtual public Strategy<P> {
    protected:
        typedef typename P::ValueType ValueType;
        typedef typename P::PointerType PointerType;
        typedef typename P::ClassType ClassType;
    public:
        inline operator ValueType() {
            return *(PointerType)Strategy<ClassType>::data_;
        }
 
        inline operator PointerType() {
            return (PointerType)Strategy<ClassType>::data_;
        }
    };
 
    template <class P>
    class VoidPtr : virtual public Strategy<P> {
    protected:
        typedef typename P::ClassType ClassType;
    public:
        inline void * ToVoidPtr() {
            return Strategy<ClassType>::data_;
        }
 
        inline operator void *() {
            return ToVoidPtr();
        }
    };
}
 
template <class T, template <class> class ... Conversation>
class Pointer : virtual private ConversationStrategy::Strategy<Pointer<T>>, virtual public Conversation<Pointer<T>> ... {
public:
    typedef T ValueType;
    typedef ValueType * PointerType;
    typedef ValueType * const ConstValueType;
    typedef ValueType& ReferenceType;
    typedef const ValueType& ConstReferenceType;
    typedef Pointer<ValueType> ClassType;
public:
    Pointer() { }
 
    Pointer(T& data) {
        ConversationStrategy::Strategy<ClassType>::data_ = (void *)&data;
    }
 
    T& operator*() {
        return *(T *)ConversationStrategy::Strategy<ClassType>::data_;
    }
 
    T * operator->() {
        return (T *)ConversationStrategy::Strategy<ClassType>::data_;
    }
};

Суть заключается в создании базового класса Strategy от которого и будут далее наследоваться все политики преобразований. В нем находится открытый член void * data_. Далее политика преобразования Basic, например, виртуально наследуется от Strategy и получает доступ к data_. Так как наследование виртуальное, то все политики получат один и тот же базовый класс Strategy и, следовательно, один член data_.
Класс Pointer, также виртуально наследуется от Strategy и от политик преобразования. Наследование от Strategy нужно так как, политик преобразования может и не быть вовсе.
В итоге все классы в дереве наследований имеют только одну и ту же копию Strategy и один член data_.

Новые блоги и статьи Все статьи Все блоги /
Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.
Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .