С++ & Шаблоны классов

[dronte]

Код примерно такого содержания:
main.cpp

(Нажмите, чтобы показать/скрыть)

Код: [Выделить]

#include <stdio.h>
#include <stdlib.h>
#include <iostream>
#include "List.h"

int main (void) {
        List<double> t;
        return 0;
}


List.h

(Нажмите, чтобы показать/скрыть)

Код: [Выделить]

#ifndef LIST_H_
#define LIST_H_
template <class T>
struct ListItem {
        T value;
        ListItem<T> *next;
};

template <class T>
class List {
        ListItem<T> base;
        ListItem<T> *after, *before;

public:
        List ();
        List (const List<T> &l);
        ~List();
  ....
};
#endif


List.cpp

(Нажмите, чтобы показать/скрыть)

Код: [Выделить]

#include <stdio.h>
#include <stdlib.h>
#include <iostream>
#include "List.h"

template <class T>
List<T>::List () {
        after = &base;
        before = after;
}


template <class T>
List<T>::List (const List<T> &l) {
        CopyFromOther (l);
}

template <class T>
List<T>::~List () {
        GoBegin();
        while (after != &base) {
                DelAfter();
        }
}

....


ошибки компилятора:

Код: [Выделить]

g++ -c List.cpp
g++ -c main.cpp
g++ List.o main.o -o List
main.o: In function `main':
main.cpp:(.text+0x12): undefined reference to `List<double>::List()'
main.cpp:(.text+0x23): undefined reference to `List<double>::~List()'
collect2: ошибка: выполнение ld завершилось с кодом возврата 1
make: *** [List] Ошибка 1

Вопрос, в чем возникла проблема ??
вроде как все есть ...

[Peter_I]

А вы попробуйте для начала включить List.cpp в main, после неё.
При этом сделайте проверку, чтобы List.h не загружался дважды.
Либо командой компилировать оба cpp-модуля.
Либо написать Makefile.

Пётр.

[quiet_readonly]

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

Собственно из-за постоянного инстанцирования и создания множества реализаций для одного и того же шаблонного класса код на C++ компилируется куда медленее, чем код на C или Objective-C. Ну а постоянное инстанцирование возникает из-за того, что директива #include просто включает содержимое заголовочного файла в тот файл, из которого был сделан #include.

Так что перенесите код из List.cpp в List.h либо переименуйте List.cpp в List.inl и уберите его из процесса сборки, а затем включите List.inl в List.h через #include.

[dronte]

Peter_I, компилировалось все как раз таки с помощью мейкфайла, как это можно было заметить по листингу ошибок

Спасибо, quiet_readonly, заработало, как правда тогда быть с тем, что объявление шаблона будет присутствовать целиком во всех файлах где он используется ... хотя читал, что к шаблону можно относиться как к макросу, а тогда проблем быть не должно вроде, ну узнаем.

[Астронафтик Чарли]

Интересно 

[Peter_I]

Прошу прощения, я спешил и не посмотрел как следует.
Сейчас попробовал скомпилировать это пример как три разных файла,
только List.cpp переименовал в list.cpp, модуль с main скомпилировался,
а list.cpp - нет, сообщения такие:

Код: [Выделить]

list.cpp: In destructor ‘List<T>::~List()’:
list.cpp:22:17: error: there are no arguments to ‘GoBegin’ that depend on a template parameter, so a declaration of ‘GoBegin’ must be available [-fpermissive]
         GoBegin();
                 ^
list.cpp:22:17: note: (if you use ‘-fpermissive’, G++ will accept your code, but allowing the use of an undeclared name is deprecated)
list.cpp:24:26: error: there are no arguments to ‘DelAfter’ that depend on a template parameter, so a declaration of ‘DelAfter’ must be available [-fpermissive]
                 DelAfter();
                          ^
ld: cannot find list: No such file or directory
понятно, что ld не может построить исполнимый файл.

Пётр.