Почему при использовании шаблонов классов выдает ошибку «неразрешенный внешний символ»?

Question

[lightalex]

Доброго времени суток!
Пытаюсь использовать шаблонный класс:

TemplateClass.h

#pragma once
#include <iostream>
#include <boost/asio/ip/tcp.hpp>

template <class T>
class TemplateClass {
public:
	TemplateClass();
	~TemplateClass();
};

TemplateClass.cpp

#include "pch.h"
#include "TemplateClass.h"


template <class T>
TemplateClass<T>::TemplateClass() { }

template <class T>
TemplateClass<T>::~TemplateClass() { }

main.cpp

#include "pch.h"
#include <iostream>
#include "TemplateClass.h"

int main() {
	TemplateClass<boost::asio::ip::tcp::socket>* test = new TemplateClass<boost::asio::ip::tcp::socket>();
}

Выдает ошибку при компиляции:

Скриншот

Текстовый вариант

• Серьезность Код Описание Проект Файл Строка Состояние подавления
  Ошибка (активно) E2512 Аргумент для тестирования функции макро должен быть простым идентификатором. TemplateClassErrorTest D:\cpp\libraries\boost_1_68_0\boost\system\error_code.hpp 401
  
  
• Серьезность Код Описание Проект Файл Строка Состояние подавления
  Ошибка LNK2001 неразрешенный внешний символ ""public: __cdecl TemplateClass >::TemplateClass >(void)" (??0?$TemplateClass@V?$basic_stream_socket@Vtcp@ip@asio@boost@@@asio@boost@@@@QEAA@XZ)" TemplateClassErrorTest D:\cpp\Tests\TemplateClassErrorTest\TemplateClassErrorTest\TemplateClassErrorTest.obj 1
  
  
• Серьезность Код Описание Проект Файл Строка Состояние подавления
  Ошибка LNK1120 неразрешенных внешних элементов: 1 TemplateClassErrorTest D:\cpp\Tests\TemplateClassErrorTest\x64\Release\TemplateClassErrorTest.exe 1
  
  

Если перенести содержимое файла TemplateClass.cpp в файл TemplateClass.h, то все компилируется, все работает.
Подскажите, что не так?

Answer 1

[Vitaly]

Потому что шаблоны должны быть объявлены и определены в заголовочном файле (по стандарту языка). Перенесите всё из cpp в h и у вас всё заработает.

Comments

[lightalex]

То есть даже все функции шаблонного класса должны находиться в H файле.
Я правильно понял?

[Vitaly]

lightalex, Да, всё верно. Тоже самое и для свободных шаблонных функций, которые не члены класса.

[eeiaao]

lightalex, реализацию можно вынести в .cpp, если инстанциировать шаблонный метод руками

[lightalex]

eeiaao, это как?
У меня же не шаблон функции, а шаблон класса.

[eeiaao]

lightalex,

template TemplateClass<boost::asio::ip::tcp::socket>::TemplateClass();
template TemplateClass<boost::asio::ip::tcp::socket>::~TemplateClass();

дописать в конец TemplateClass.cpp, но для этого придётся подключать boost::asio::ip::tcp::socket. Никогда так не делайте!)

[lightalex]

eeiaao, спасибо за пояснение!
Если вам не сложно, оформите как ответ, с пометкой "никогда так не делать" :)
Думаю некоторым может быть полезен данный способ, не смотря на его не фэн-шуйность

[Vitaly]

lightalex, Не надо так делать. Это и правда очень вредный совет :)

Если вы хотите реализацию в отдельный файл вынести, то выносите её в ещё один h файл и подключайте его в конце файла с объявлением. Иногда это может быть полезно, в особенности если кода много.