Шаблонные функции C++

[devilr]

Доброго времени суток!
Есть класс, описанный полностью в одном файле:

Код: Выделить всё

// это вспомогательный класс, нет смысла его выносить отдельно
class Foo
{

};

class TestClass
{
public:
    explicit TestClass() {}
    virtual ~TestClass() {}

    template<typename T>
    void f_test(void) {}
};

Требуется запустить из другого класса функцию f_test. Делаем:

Код: Выделить всё

    TestClass *tc = new TestClass();
    tc->f_test<Foo>();
    delete tc;

Всё работает.
Однако, если класс testClass раскидать по двум файлам (cpp и hpp) то, при попытке сборки, выскочит ошибка: undefined reference to `void TestClass::f_test<Foo>()'
Почему так?

[Bizdelnick]

Однако, если класс testClass раскидать по двум файлам (cpp и hpp) то, при попытке сборки, выскочит ошибка: undefined reference to `void TestClass::f_test<Foo>()'
Почему так?

Как именно раскидать? Все шаблоны должны быть доступны там, где они инстанциируются. Если Вы перенесли определение шаблона в cpp, а инклюдите hpp, то компилятор его не найдёт.

[devilr]

Как именно раскидать?

Как обычно. Описание класса в hpp, само тело в cpp.

Все шаблоны должны быть доступны там, где они инстанциируются. Если Вы перенесли определение шаблона в cpp, а инклюдите hpp, то компилятор его не найдёт.

Похоже, что именно так. Попробовал перенести тело функции в hpp, убрав его из cpp - работает. Хотя, как то это неуклюже.
Может есть более изящное решение?

[Bizdelnick]

как то это неуклюже

С шаблонами всегда так.

Добавлено (11:25):

Может есть более изящное решение?

Можно использовать явное инстанциирование шаблона в том же модуле, где он определён, но у меня пальцы не поворачиваются назвать это более изящным решением.

[devilr]

Можно использовать явное инстанциирование шаблона в том же модуле, где он определён, но у меня пальцы не поворачиваются назвать это более изящным решением.

А это как? Можете пример привести?
P.S. Мне код в hpp не нравится тем, что он будет 100500 раз собираться. Ровно столько, сколько "инклюдится" сам hpp. По той же причине, мне не нравятся языки типа C# - крупные проекты собираются/пересобираются слишком долго и толком с этим ничего не сделать.

[Bizdelnick]

Я ж не плюсовик ни разу, могу в синтаксисе ошибиться. Как-то наподобие

Код: Выделить всё

template void f_test<TestClass *>(void);

Но лучше в поиск с запросом «explicit instantiation».
И да, это потребуется делать для каждого типа, что убивает весь смысл использования шаблона.

Добавлено (11:59):

Мне код в hpp не нравится тем, что он будет 100500 раз собираться.

Есть такое дело, да. Есть и лекарство от него — PCH (precompiled headers), но это тоже то ещё уродство.
Но Вы что, думаете, STL и прочие библиотеки шаблонов как-то по-другому работают?

[devilr]

И да, это потребуется делать для каждого типа, что убивает весь смысл использования шаблона.

Это да. Результатом будет 100500 вышеупомянутых строчек, что убьёт сам шаблон. Я думал, что вы предложите что-то такое, новое...

Добавлено (12:04):

Но Вы что, думаете, STL и прочие библиотеки шаблонов как-то по-другому работают?

Они, хотя бы, в явно виде это не показывают.