Llamar métodos heredados de una clase template

[mariano_donati]

Hola a todos.
Les planteo el escenario, simplificado. Tengo una clase A. Luego, una clase template B que hereda de A. Por último, tengo una clase C que hereda de B, pero C la defino como:

Código C++:

class C : public B<AlgunTipo>
{
    //Declaración de la interface
};
 

Además, los métodos de B los defino en un archivo separado (.mm ya que estoy desarrollando para iPhone) de la forma template<class T> void B<T>::unMetodo(...).

Resulta que si intento llamar a un método de C, pero que esté definido en B (es decir, un método heredado de B), el compilador me dice "undefined symbol" y me da la lista de lugares desde donde se hace referencia al método.
Ya he leído varios tutoriales acerca de templates y según creo de acuerdo a lo que he leído la sintaxis es correcta.
¿Alguna idea por qué el compilador no me está detectando esos métodos?.

Gracias por adelantado.

[mariano_donati]

Pude regenerar el problema para hacerlo más entendible en dev-c++, con código y corto:

BoardBase.h

Código C++:

template<class T>
class BoardBase
{
    T value;
    
    public:
    void print();
};
 

BoardBase.cpp

Código C++:

#include "BoardBase.h"
#include <iostream>
 
template<class T> void BoardBase<T>::print()
{
    cout << "Probando print" << endl;
}
 

Board.h

Código C++:

#include "BoardBase.h"
 
class Board : public BoardBase<int>
{
    public:
    void printDerived();
};
 

Board.cpp

Código C++:

#include "Board.h"
#include <iostream>
void Board::printDerived()
{
    cout << "Probando printDerived" << endl;
}
 

Si en el main llamo a printDerived() todo funciona correctamente. Sin embargo, si llamo a print(), ahora en Dev-C++, me sale el error [Linker error] undefined reference to `BoardBase<int>::print(void)' . Si bien los mensajes no son iguales, el error es equivalente al que obtengo en el compilador para iPhone.

[fightmx]

Voy a suponer que la función main se encuentra en un archivo main.cpp, hasta aquí tienes 3 archivos que serán traducidos a código objeto por el compilador; esto es: main.cpp, Board.cpp y BoardBase.cpp. Pues bien, al momento de compilar main.cpp el compilador trata de crear una instancia para BoardBase<int>::print(), pero solo logra ver la declaración del template y no su definición puesto que se encuentra en otra unidad de código (BoardBase.cpp), por lo que no se genera dicha instancia. Entonces, cuando el enlazador(linker) busca la definición de la función en las diferentes unidades de código objeto tampoco la encuentra, porque solo se tiene la definición del template en BoardBase.cpp y no hay ningún código que le indique al compilador que haya que crear una instancia de BoardBase<int>::print() , luego entonces no la encuentra y se muestra el error. Recuerda que tu defines los templates y el compilador se encarga de crear las instancias necesarias. La buena, es que también podemos crear instancias de forma explícita.

Para este caso tienes 2 soluciones:

1. Te basta con mover la definición a su archivo de cabecera (olvidate de BoardBase.cpp), es común que tengas tanto declaraciones como definiciones de templates en los archivos de cabecera.

BoardBase.h

Código C++:

#ifndef BOARDBASE_H
#define BOARDBASE_H
#include <iostream>
 
template<class T>
class BoardBase
{
    T value;
    
    public:
    void print();
};
 
template<class T> void BoardBase<T>::print()
{
    std::cout << "Probando print" << std::endl;
}
 
#endif // BOARDBASE_H
 

2. Crear una instancia para BoardBase<int>::print() de forma explícita en BoardBase.cpp

BoardBase.cpp

Código C++:

#include "BoardBase.h"
#include <iostream>
using namespace std;
 
template<class T> void BoardBase<T>::print()
{
    cout << "Probando print" << endl;
}
 
 
template void BoardBase<int>::print();
// o tambien puedes usar:  template BoardBase<int>;
 

Observa la declaración seguida de la palabra "template". De hecho puedes crear una instancia para la clase completa y no solo para un método, pero podrías estar creando instancias de métodos que resulten innecesarias, pros y contras, pero bueno.

Por último, ten cuidado con el namespace std para cout y endl, y la otra utiliza las directivas #ifndef y #define del preprocesador para evitar inclusiones múltiples de tus archivos de cabecera.