Специализация шаблона для базового класса

[Racheengel]

Основная идея (проблема) в следующем.
Есть закрытая гуй-библиотека, которая содержит разные графические классы.
Некоторые из них имеют общего предка, некоторые нет.
У меня задача расширить функциональность всех этих классов одинаковым образом.
В настоящее время это сделано так, что параллельно к библиотечным существуют "свои" расширяющие классы.
Для того, чтого они могли сосуществовать с гуй-системой, они обязаны быть наследниками библиотечных объектов.
Решено это с помощью multiple inheritance: "свои" классы наследуются от "расширителей" и от гуй-объектов одновременно.
Т.е. так:

// это гуй-библиотека
class GuiBase;
class GuiObjectA : public GuiBase;
class GuiObjectB : public GuiObjectB;
class GuiObjectC : public GuiBase;
---

// это наши "расширители"
class ItemBase;
class ExtItem1: public ItemBase;
class ExtItem2: public ItemBase;
---

// это "расширенные" гуй-классы (идея)
class GuiItemA:  public GuiObjectA, public ExtItem1;
class GuiItemB:  public GuiObjectB, public ExtItem1;
class GuiItemA2:  public GuiObjectA, public ExtItem2;
class GuiItemC2:  public GuiObjectC, public ExtItem2;
и т.д.

проблема в том, что "расширители" должны иметь доступ к гуи-объектам (что при идее выше не будет работать).
Поэтому был слелан соответсвующий темлейт типа

template <class Gui, class Extender>
class GuiItem: public Gui, public Extender
// тут общий функционал, связывающий Gui и Extender

и далее

class GuiItemA:  public GuiItem<GuiObjectA, ExtItem1>;
class GuiItemC2:  public GuiItem<GuiObjectC, ExtItem2>;
...

в некоторых случаях имплементации GuiItem требуется различать между GuiObjectA и GuiObjectC.
Решено с помощью рантайма, хотя мне казалось, что тут как раз шаблоны - самое оно. Но как-то не срастается...

[__Heaven__]

Накидал небольшой примерчик. Для вашей задачи вроде должен подойти. Но, вроде, тут надо идти другими путями.
https://ideone.com/zeBvoW

Код

C++ (Qt)
#include <iostream>
using namespace std;
 
struct A{
	void print() const {cout << "A\n";}
};
 
struct B: public A{
	void print() const {cout << "B\n";}
};
 
struct C: public B{
	void print() const {cout << "C\n";}
};
 
template<class T>
void print(const T &someClass){
	someClass.print();
}
 
int main() {
	print(A());
	print(B());
	print(C());
 
	return 0;
}

A
B
C

[Old]

проблема в том, что "расширители" должны иметь доступ к гуи-объектам (что при идее выше не будет работать).

Почему не будет работать?

[Racheengel]

проблема в том, что "расширители" должны иметь доступ к гуи-объектам (что при идее выше не будет работать).

Почему не будет работать?

Потому что, если написать так:

class GuiItemA:  public GuiObjectA, public ExtItem1;

то ExtItem1 не "видит", что такое GuiObjectA.
Это "знает" только GuiItemA. Но "знать" он должен в зависимости от того, что есть GuiObject...

[Racheengel]

Быть может даже и виртуальность не нужна. Обычная перегрузка doStuff поможет?

В том и проблема, что перегружать его надо внутри шаблона, в зависимости от его аргумента (GuiObjectX).
Я как раз этого и хотел добиться, но пока не срастаеццо

[Old]

то ExtItem1 не "видит", что такое GuiObjectA.
Это "знает" только GuiItemA. Но "знать" он должен в зависимости от того, что есть GuiObject...

Так может:

Код

C++ (Qt)
class GuiItemA:  public GuiObjectA, public ExtItem1<GuiObjectA>
 

[Racheengel]

Тогда проблема в том, что ExtItem1 будет темплейтом.
А в последующем коде повсеместно юзается dynamic_cast<ExtItem*>(...), что с темплейтом не прокатит

[__Heaven__]

Racheengel, имхо, dynamic_cast можно виртуалами заменить. также, посмотрите такую конструкцию

Код

C++ (Qt)
template <class GuiItem>
class ExtendedGuiItemA:  public GuiItem
 

И мне кажется, что вы не посмотрели код в #16

[Racheengel]

Racheengel, имхо, dynamic_cast можно виртуалами заменить. также, посмотрите такую конструкцию

Код

C++ (Qt)
template <class GuiItem>
class ExtendedGuiItemA:  public GuiItem
 

И мне кажется, что вы не посмотрели код в #16

Посмотрел, это в принципе практически то же, что и m_ax предложил.
Проблема тут в том, что:
1. из someClass.print() нельзя просто получить доступ к приватным членам вызывающего класса.
2. не все классы имеют метод print(), для некоторых надо вызывать нечто иное.

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

class Base;
class Item: Base;
class Item2: Item;

virtual void doStuff(Base* base)
{
// код для Base
}

virtual void doStuff(Item2* item)
{
// код для Item2, но Item2 - тоже наследник Base
}

имхо тут конфликт будет...

[m_ax]

из someClass.print() нельзя просто получить доступ к приватным членам вызывающего класса.

Соберите тогда все приватные члены в один класс и передавайте объект этого класса в хелпер)

[Igors]

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

Ну вообще-то это "фабрика" - создать новый класс из разных (или слабо-связных) исходных.

[Old]

Ну вообще-то это "фабрика" - создать новый класс из разных (или слабо-связных) исходных.

Нет. Фабрика это когда один объект создает другие объекты.

[Racheengel]

из someClass.print() нельзя просто получить доступ к приватным членам вызывающего класса.

Соберите тогда все приватные члены в один класс и передавайте объект этого класса в хелпер)

А методы? Хелперы френдить?

[m_ax]

А методы?  Хелперы френдить?

Так с таким раскладом здесь проще специализировать ваш T для каждого типа.. Если там всё так сильно друг на друге повязано..
Ну и вообще над архитектурой думать-думать и думать, а уже потом писать)

[Racheengel]

Ну и вообще над архитектурой думать-думать и думать, а уже потом писать)

Так уже все "придумано до нас" и изменениям не подлежит.
Наше дело - "расширить"