Substituindo múltiplas funções templated herdados com versões especializadas

Question

Ok, código de exemplo em primeiro lugar; esta é a minha tentativa de comunicar o que é que eu estou tentando fazer, embora não compila:

#include <iostream>

template <class T>
class Base
{
public:
    virtual void my_callback() = 0;
};

class Derived1
    : public Base<int>
    , public Base<float>
{
public:
    void my_callback<int>()
    {
        cout << "Int callback for Derived1.\n";
    }
    void my_callback<float>()
    {
        cout << "Float callback for Derived\n";
    }
};

class Derived2
    : public Base<int>
    , public Base<float>
{

public:
    void my_callback<int>()
    {
        cout << "Int callback for Derived2.\n";
    }
    void my_callback<float>()
    {
        cout << "Float callback for Derived2\n";
    }

};

int main()
{
    {
        Derived1 d;
        Base<int> * i_p = d;
        Base<float> * i_f = d;

        i_p->my_callback();
        i_f->my_callback();
    }
    {
        Derived2 d;
        Base<int> * i_p = d;
        Base<float> * i_f = d;

        i_p->my_callback();
        i_f->my_callback();
    }

    //Desired output:
    // Int callback for Derived1.
    // Float callback for Derived1
    // Int callback for Derived2.
    // Float callback for Derived2
    system("Pause");
}

Então, o que estou tentando fazer é fazer uma espécie de classe wrapper para herdar de que irá se conectar automaticamente a classe derivada para várias listas de chamada de retorno; ele precisa se conectar uma instância específica da classe derivada da lista, e eu quero que o "usuário" ter / começa a fazer as funções de retorno de chamada como parte de fazer a classe derivada, como você pode ver.

Parece que este deve ser capaz de trabalhar, embora eu pode precisar usar uma sintaxe diferente. Se ele não pode trabalhar, você tem alguma sugestão?

Answer 1

Sim, você pode fazer este trabalho:

#include <iostream>
using namespace std;

template <class T>
class Base
{
public:
  virtual void my_callback() = 0;
};

class Derived1 : public Base<int>, public Base<float>
{
public:
  void Base<int>::my_callback() {
    cout << "Int callback for Derived1.\n";
  }
  void Base<float>::my_callback() {
    cout << "Float callback for Derived\n";
  }
};

class Derived2 : public Base<int>, public Base<float>
{
public:
  void Base<int>::my_callback() {
    cout << "Int callback for Derived2.\n";
  }
  void Base<float>::my_callback() {
    cout << "Float callback for Derived2\n";
  }
};

int main()
{
  {
    Derived1 d;
    Base<int> * i_p = &d;
    Base<float> * i_f = &d;
    i_p->my_callback();
    i_f->my_callback();
  }
  {
    Derived2 d;
    Base<int> * i_p = &d;
    Base<float> * i_f = &d;
    i_p->my_callback();
    i_f->my_callback();
  }
}

Output:

Int callback for Derived1.
Float callback for Derived
Int callback for Derived2.
Float callback for Derived2

Answer 2

O que você quer é não é possível .

Você pode adicionar especializações modelo, embora eu não sei se isso realmente ajuda:

template <class T>
class Base {
public:
  virtual void my_callback() = 0;
};

template <>
class Base<int> {
public:
  virtual void my_callback() {
    cout << "Base<int>::my_callback()\n";
  }
};

template <>
class Base<float> {
public:
  virtual void my_callback() {
    cout << "Base<float>::my_callback()\n";
  }
};

class Derived1 : public Base<int>, public Base<float> {
public:
  // NOTE: no my_callback() implementation here
};

class Derived2 : public Base<int>, public Base<float> {
public:
  virtual void my_callback() {
    cout << "Derived2::my_callback()\n";
  }
};


int main()
{
  {
    Derived1 d;
    Base<int> * i_p = &d;
    Base<float> * i_f = &d;
    i_p->my_callback();
    i_f->my_callback();
  }
  {
    Derived2 d;
    Base<int> * i_p = &d;
    Base<float> * i_f = &d;
    i_p->my_callback();
    i_f->my_callback();
  }
}

Output:

Base<int>::my_callback()
Base<float>::my_callback()
Derived2::my_callback()
Derived2::my_callback()

Deixe-me tentar explicar por que:

Derived1 d;
Base<int> * i_p = &d;
Base<float> * i_f = &d;

// will check the vtable, and will call
//  either Derived1::my_callback
//  OR Base<int>::my_callback
i_p->my_callback();

// will check the vtable, and will call
//  either Derived1::my_callback
//  OR Base<float>::my_callback
i_f->my_callback();

Embora através do vtable existem duas versões do my_callback () na classe Derived1, você não pode substituir qualquer um deles, você só pode substituir ambos ao mesmo tempo (como Derived2 faz no exemplo)!

Você deve apenas fornecer dois métodos "my_callback1 ()" e "my_callback2 ()".

Answer 3

Seja usando uma classe de modelo ou um não-modelo, isto pode ser feito usando classes auxiliares em este estilo ou esta .

(parece que esta é a única solução portátil, se você não planeja usar nomes qualificados Microsoft específicos.)

Answer 4

não virtualidade associada template levanta um alarme na sua cabeça? ;)

Você tem que escolher o seu lado, quer a estática, ou o dinâmico.