Шаблоны класса и специализация

[РагнаР]

Нужно реализовать класс двусторонняя очередь- дек на шаблонах работающий для целых типов и для строк типа char*(без стл).
Возникает проблема при специализации метода.
Вот собственно и сам класс:

#include<iostream>
template<class TInfo>
class TDeque
{
protected:
	struct TDequeItem
	{
		TInfo Info;
		TDequeItem* Next;
		TDequeItem* Prev;
	};
	TDequeItem *Front,*Rear;
	int Size;
	void Erase();
	void Clone(const TDeque &);
	void DeleteItem(TDequeItem*);
	void* PtrByIndex(int)const;
public:

	class error{};
	TDeque()
	{
		Front=NULL;Rear=NULL;Size=0;
	}
	TDeque (const TDeque &);
	virtual ~TDeque();
	void InsFront(TInfo);
	void InsRear(TInfo);
	bool DelFront(TInfo &);
	bool DelRear(TInfo &);
	const TDeque& operator = (const TDeque &);
	const TInfo& GetByIndex(unsigned)const;
	void SetByIndex(TInfo,unsigned);
	void Browse(void(TInfo&));
	void Browse(void(TInfo))const;
	void Print()const;
};
template<typename TInfo>void TDeque<TInfo>::DeleteItem(TDequeItem *A)
{
	delete A;
	Size--;
}
template<>void TDeque<char*>::DeleteItem(TDequeItem *A)
{
	delete []A->Info;
	delete A;
	Size--;
}
template<typename TInfo>bool TDeque<TInfo>::DelFront(TInfo &q)
{
	if(Front==NULL)
		return false;
	else
	{
		q=Front->Info;
		TDequeItem*p=Front;
		Front=Front->Next;
//		Front->Prev=NULL;
		DeleteItem(p);
		return true;
	}
}
template<>bool TDeque<char*>::DelFront(char* &a)//Вот проблема в этом месте
{
	if(Front==NULL)
		return false;
	else
	{
		delete[]a;
		a=new char[strlen(Front->Info)+1];
		strcpy(a,Front->Info);
		TDequeItem*p=Front;		
		Front=Front->Next;
//		Front->Prev=NULL;
		DeleteItem(p);
		return true;
	}
}

Текст ошибки:
1>c:\users\admin\documents\visual studio 2008\projects\labrab\deque(template )\deque_header.h(188) : error C2908: explicit specialization; 'bool TDeque<TInfo>::DelFront(TInfo &)' has already been instantiated

В чем проблема и как её исправить?

[pproger]

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

[onewho]

у меня и так компилируется..
может попробуйте template<> удалить ?

[РагнаР]

Сообщение от pproger

у тебя шаблонный класс, а ты хочешь частично специализировать один метод? так нельзя

А поподробнее можно? Почему тогда не возникает проблем с такой функцией?

template<typename TInfo>void TDeque<TInfo>::SetByIndex(TInfo info, unsigned int k)
{
	((TDequeItem*)PtrByIndex(k))->Info=info;
}
template<>void TDeque<char*>::SetByIndex(char* info, unsigned int k)
{
	char *tmp=(char*)((TDequeItem*)PtrByIndex(k))->Info;
	delete []tmp;
	tmp=new char[strlen(info)+1];
	strcpy(tmp,info);
	((TDequeItem*)PtrByIndex(k))->Info=tmp;

[РагнаР]

Сообщение от pproger

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

TDeque<char*>q;
	char*a=new char;
	q.InsFront("mk");
	q.DelFront(a);

[pproger]

2РагнаР
у тебя InsFront не специализирован на char *, поэтому твой приведенный код не скомпилится

TDeque<char*>q;
char*a=new char;
q.DelFront(a);

вот так у меня все компилится

может ты этот файл инклудишь в нескольких местах? стражи включения (ifndef-define-endif) стоят на хидер?

А поподробнее можно? Почему тогда не возникает проблем с такой функцией?

я бред сказанул, конечно методы можно специализировать

[РагнаР]

Сообщение от pproger

2РагнаР
у тебя InsFront не специализирован на char *, поэтому твой приведенный код не скомпилится

[qoute]
А поподробнее можно? Почему тогда не возникает проблем с такой функцией?

я бред сказанул, конечно методы можно специализировать[/QUOTE]


Я просто не всю программу сбросил, вот InsFront

template<typename TInfo> void TDeque<TInfo>::InsFront(TInfo A) 
{
	TDequeItem *p=new TDequeItem;
	p->Info=A;
	p->Next=Front;
	Front=p;
	if(Rear==NULL)
		Rear=p;
	else
	{
		(p->Next)->Prev=p;
	}
	p->Prev=NULL;
		Size++;
}
template<>void TDeque<char*>::InsFront(char* A)
{
	TDequeItem *p=new TDequeItem;
	p->Info=new char[strlen(A)+1];
	strcpy(p->Info,A);
	p->Next=Front;
	Front=p;
	if(Size==0)
		Rear=p;
	else
	{
		(p->Next)->Prev=p;
	}
	Size++;
}

[pproger]

2РагнаР

может ты этот файл инклудишь в нескольких местах? стражи включения (ifndef-define-endif) стоят на хидер?

вобщем попробовал в 2003 студии, все норм. специализация правильная. где то ты второй раз специализируешь

[РагнаР]

Сообщение от pproger

2РагнаР


вобщем попробовал в 2003 студии, все норм. специализация правильная. где то ты второй раз специализируешь

Студия 2008года. Файла в программе только два:header и main.
Полный текст header вот
http://ideone.com/mxTLp

[pproger]

я не очень хорошо разбираюсь в шаблонах, но вот:

template<>void TDeque<char*>::Erase()
{
        char*A=new char;
        while(DelFront(A));
        Size=0;
}

Erase у тебя так же специализирован на char *, в котором ты вызываешь DelFront. Erase пока не знает, что ты специализировал DelFront на char * (ибо он описан ниже), поэтому инстанцируется метод DelFront<char *> из DelFront<T>. а потом ты опять определяешь DelFront<char *>, хотя у тебя он уже есть.

просто объяви Erase<char *> ПОСЛЕ DelFront<char *>