Как переопределить функцию в шаблоне с++?

Question

[Test]

template<class T>
class Tree{
****
public:
****
void show();
}

-----
class SomeClass{
***
public:
void show(){
 cout << 5;
}
}

-------

int main(){
Tree<SomeClass> t;
t.show();
}

Собственно, имеется шаблонный класс tree. Есть еще класс SomeClass, в котором есть метод show.
Создается дерево объектов SomeClass. И нужно его вывести.
Как это сделать?

Проблема в том, что таких SomeCLass будет несколько штук, я хочу в каждом определить свой метод show
И чтобы когда я обращался к Tree< SomeClass1 >.show() вызывался свой show,
для Tree< SomeClass2 >.show() - свой

Comments

[Евгений Шатунов]

YzxI

Как это сделать?

Что именно у тебя не получается? Приведи примеры твоих попыток и результатов их сборки/работы.

Проблема в том, что таких SomeCLass будет несколько штук

Это не проблема. Код пишется рядовым способом, будто тип тебе известен, а код не является шаблонным.

[Test]

Евгений Шатунов,

void showTree(Node *path){         // path - узел дерева
    if (path != nullptr){
        if (path->left != nullptr && path->left->key != 0){
            showTree(path->left);
        }

        if (path->center != nullptr && path->center->key != 0){
            showTree(path->center);
        }

        <b>path->t->show();</b>                //вот так чтобы работало, чтобы вызывался метод show для разных объектов свой

        if (path->right != nullptr && path->right->key != 0){
            showTree(path->right);
        }
    }
}

[Евгений Шатунов]

YzxI, У тебя тут нет шаблона Tree. Что такое Node? И почему экземпляр этого типа передается по указателю? Почему showTree является глобальной функцией? У тебя в вопросе совсем другое написано.

[Test]

Евгений Шатунов,

template<class T>
class Tree{
****
public:
****
 void showTree(){
        T().showTree();
    };

};

И всё работает!
Когда пишу
Tree t;
t.showTree() - вызывается именно showTree, описанный в SomeClass

[Евгений Шатунов]

YzxI, T().showTree(); - ты точно понимаешь, что тут происходит?
Почему SomeClass::show должна быть именно методом?

[Test]

Евгений Шатунов, как я понял, ищется функция с названием showTree() в классе T...

[Test]

Евгений Шатунов, ааа, он создает новый объект...

[Test]

Евгений Шатунов, хах, благодаря таким косякам я понял, что можно сделать и так:

T *t;
t->showTree();

(Хотя showTree вообще не объявлен в шаблоне, он объявлен только в SomeClass)

[Евгений Шатунов]

YzxI

T *t;
t->showTree();

Это еще больший косяк, чем был до этого. У тебя тут dangling pointer и, в общем случае, AVшечка.

[Евгений Шатунов]

YzxI, как я понимаю, ты даже поверхностно не знаком с синтаксисом языка. Советую в скором порядке изучить любую базовую литературу.
Начать можно с Джеффа Элджера, старая книга борозды не испортит.
Следом можно взять Девида Вандервуда. Дальше у тебя уже возможно получится осилить Герба с Адреем и, собственно, самого Андрея Александреску.

[Test]

Евгений Шатунов, спасибо, прочитаю
По поводу AV, она возникнет только в том случае, когда в Tree< Class> в Class не будет функции showTree() ?

[Евгений Шатунов]

YzxI, изучи вики. Ошибка доступа к памяти - это ошибка доступа к памяти. В твоем случае - к памяти по указателю t. А указатель этот у тебя висячий, в нем у тебя мусор.
При отсутствии метода у тебя будет ошибка компиляции в момент инстанцирования шаблона метода Tree<T>::showTree.
Не путай метод(member function) и функцию(global function). Все мои вопросы, кстати, до сих пор в силе. Ответы нужны больше тебе самому, чем мне.

Answer 1

[rPman]

Все свои SomeClassX породите от базового SomeClass определенным виртуальным методом show, тогда шаблон не понадобится, просто в классе Tree в методе show(SomeClass t) напишите t->show() а сам show определите в каждом SomeClassX свой.

Comments

[Test]

Да, это логично, спасибо
Но понимаете, это глупая лаба по инфе 1 курса, в задаче нужно использовать шаблоны(

[Adamos]

YzxI, так вы и используете шаблон. В дереве.
А подставляться в этот шаблон (и собираться в это дерево, и выводиться своей функцией) будут ваши классы, каждый из которых имеет метод show. Как раз наследование для шаблонов не требуется.
У вас в шаблоне не хватает описания структуры, в которой хранится дерево, и ее перебора для вывода каждого элемента. И то, и другое будет шаблонным.

[Test]

Adamos,
Евгений Шатунов,

void showTree(Node *path){         // path - узел дерева
    if (path != nullptr){
        if (path->left != nullptr && path->left->key != 0){
            showTree(path->left);
        }

        if (path->center != nullptr && path->center->key != 0){
            showTree(path->center);
        }

        path->t->show();                   //вот так чтобы работало, чтобы вызывался метод show для разных объектов свой

        if (path->right != nullptr && path->right->key != 0){
            showTree(path->right);
        }
    }
}

[Adamos]

YzxI,

class Node {
  public Tree< SomeClass1 > t;
}

template<class T>
class Tree{
std::vector< T > items;
public:
void show();
  for(const auto& item: items) {
    item.show();
  }
}

[Test]

Adamos, большое спасибо, так работает!
Есть еще один способ:

template<class T>
class Tree{
****
public:
****
 void showTree(){
        T().showTree();
    };

};

И всё работает!
Когда пишу
Tree< SomeClass > t;
t.showTree() - вызывается именно showTree, описанный в SomeClass

Answer 2

[laphroaig]

Можно через наследование:

template<typename T>
class Tree: public T 
{
// ... здесь show объявлять не нужно
};

Или аггрегацию

template<typename T>
class Tree
{
  T _some;
public:
  void show()
  {
    _some.show()
  }
};

Comments

[Test]

Спасибо! На способ с агрегацией почему-то ругается
И на удивление, я нашел решение, оно оказалось максимально простым:

template<class T>
class Tree{
****
public:
****
 void showTree(){
        T().showTree();
    };

};

И всё работает!
Когда пишу
Tree< SomeClass > t;
t.showTree() - вызывается именно showTree, описанный в SomeClass