This is a common question in C++ programming. There are two valid answers to this. There are advantages and disadvantages to both answers and your choice will depend on context. The common answer is to put all the implementation in the header file, but there’s another approach will will be suitable in some cases. The choice is yours.
The code in a template is merely a ‘pattern’ known to the compiler. The compiler won’t compile the constructors cola<float>::cola(...)
and cola<string>::cola(...)
until it is forced to do so. And we must ensure that this compilation happens for the constructors at least once in the entire compilation process, or we will get the ‘undefined reference’ error. (This applies to the other methods of cola<T>
also.)
Understanding the problem
The problem is caused by the fact that main.cpp
and cola.cpp
will be compiled separately first. In main.cpp
, the compiler will implicitly instantiate the template classes cola<float>
and cola<string>
because those particular instantiations are used in main.cpp
. The bad news is that the implementations of those member functions are not in main.cpp
, nor in any header file included in main.cpp
, and therefore the compiler can’t include complete versions of those functions in main.o
. When compiling cola.cpp
, the compiler won’t compile those instantiations either, because there are no implicit or explicit instantiations of cola<float>
or cola<string>
. Remember, when compiling cola.cpp
, the compiler has no clue which instantiations will be needed; and we can’t expect it to compile for every type in order to ensure this problem never happens! (cola<int>
, cola<char>
, cola<ostream>
, cola< cola<int> >
… and so on …)
The two answers are:
- Tell the compiler, at the end of
cola.cpp
, which particular template classes will be required, forcing it to compilecola<float>
andcola<string>
. - Put the implementation of the member functions in a header file that will be included every time any other ‘translation unit’ (such as
main.cpp
) uses the template class.
Answer 1: Explicitly instantiate the template, and its member definitions
At the end of cola.cpp
, you should add lines explicitly instantiating all the relevant templates, such as
template class cola<float>;
template class cola<string>;
and you add the following two lines at the end of nodo_colaypila.cpp
:
template class nodo_colaypila<float>;
template class nodo_colaypila<std :: string>;
This will ensure that, when the compiler is compiling cola.cpp
that it will explicitly compile all the code for the cola<float>
and cola<string>
classes. Similarly, nodo_colaypila.cpp
contains the implementations of the nodo_colaypila<...>
classes.
In this approach, you should ensure that all the of the implementation is placed into one .cpp
file (i.e. one translation unit) and that the explicit instantation is placed after the definition of all the functions (i.e. at the end of the file).
Answer 2: Copy the code into the relevant header file
The common answer is to move all the code from the implementation files cola.cpp
and nodo_colaypila.cpp
into cola.h
and nodo_colaypila.h
. In the long run, this is more flexible as it means you can use extra instantiations (e.g. cola<char>
) without any more work. But it could mean the same functions are compiled many times, once in each translation unit. This is not a big problem, as the linker will correctly ignore the duplicate implementations. But it might slow down the compilation a little.
Summary
The default answer, used by the STL for example and in most of the code that any of us will write, is to put all the implementations in the header files. But in a more private project, you will have more knowledge and control of which particular template classes will be instantiated. In fact, this ‘bug’ might be seen as a feature, as it stops users of your code from accidentally using instantiations you have not tested for or planned for (“I know this works for cola<float>
and cola<string>
, if you want to use something else, tell me first and will can verify it works before enabling it.”).
Finally, there are three other minor typos in the code in your question:
- You are missing an
#endif
at the end of nodo_colaypila.h - in cola.h
nodo_colaypila<T>* ult, pri;
should benodo_colaypila<T> *ult, *pri;
– both are pointers. - nodo_colaypila.cpp: The default parameter should be in the header file
nodo_colaypila.h
, not in this implementation file.