template и unresolved external symbol

[yudjin]

Начал осваивать шаблоны в с++, линковщик ругается следующим:

error LNK2019: unresolved external symbol "public: __thiscall Array_Stack<char>::~Array_Stack<char>(void)" (??1?$Array_Stack@D@@QAE@XZ) referenced in function _wmain   

MS VS 2010.

Задним местом чую, что ошибка элементарная, но решить не могу. Гугль пишет

Question: You have included the templates in every source file? (you should answer YES).
Question: You are not using function prototypes for template funcitons? (You should answer YES).

Как подключить шаблоны в сорц? Что значит "не используйте прототипы функций для шаблонных функций"...

Array_Stack.h

Код:

#pragma once
template<class T> class Array_Stack //: public MyStack<T>
{
private:
	T* arr;
	int top;
	int maxSize;

public:
	Array_Stack(int size);
	~Array_Stack(void);

	T pop();
	void push(T ch);
};

Array_Stack.cpp

Код:

#pragma once

#include "StdAfx.h"
#include "Array_Stack.h"

template<class T> Array_Stack<T>::Array_Stack(int size)
{
	maxSize = size;
	arr = new T[maxSize];
	top = 0;
}

template<class T> T Array_Stack<T>::pop()
{
	if(top == 0)
	{
		throw Overflow();
	}

	top--;
	return arr[top];
}

template<class T> void Array_Stack<T>::push(T ch)
{
	if(top == maxSize)
	{
		throw Overflow();
	}

	arr[top] = ch;
	top++;
}

template<class T> Array_Stack<T>::~Array_Stack()
{
	delete [] arr;
}

main

Код:

#pragma once

#include "stdafx.h"
#include <iostream>
#include "Array_Stack.h"

int _tmain(int argc, _TCHAR* argv[])
{
	int size = 10;
	Array_Stack<char> myStack (size);

	int x;
	std::cin >> x;
	return 0;
}

[RXL]

yudjin, полагаю, нужно инстанцировать шаблон для char, чтобы компилятор сгенерировал методы образующегося класса. И в параметрах деструктора void не нужен.

[yudjin]

Да это пример из книжки Страуструпа. Перечитал в очередной раз - ни о каком инстанциировании не идет речи...

На всякий случай добавил явное инстанциирование
template class Array_Stack<char>;
Ничего не поменялось.

[RXL]

Инстанцирование нужно проводить в Array_Stack.cpp, т.к. в main.cpp компилятор ничего не знает о коде твоих методов.
Либо перенести содержимое Array_Stack.cpp в заголовочный файл.
Надеюсь, ты уже понял, почему?

[yudjin]

Пока еще не совсем понял - наверное связано с тем, что шаблоны - механизм времени компиляции.
Перенос template class Array_Stack<char>; в Array_Stack.cpp помог, равно как и перенос кода из срр в заголовочный файл.

Отсюда можно сделать вывод - реализация моих шаблонных классов должна быть в заголовочном файле?

В любом случае - спасибо. Буду рыть дальше.

[RXL]

Верно мыслишь. Шаблоны не генерят исполнимого кода — код дает инстанцирование, явное или неявное. В момент инстанцирования должен быть доступен текст используемых в программе свойств и методов.

[Вад]

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

То есть, теоретически, экспорт шаблонов должен работать, а на практике шаблоны описывают в заголовочных файлах. Поскольку как-то нет стимула пробовать пользоваться этой фичей, то не могу сказать, насколько сегодня компиляторы это дело поддерживают. Одно время назад кое-какая поддержка была, но с ней добавлялась какая-то головная боль, уже не вспомню в деталях.