Шаблоны в cpp, что и как?

Question

[Ckpyt]

Как отделить реализацию шаблона от его объявления?


К примеру:

queue.h:

template<class T> queue{
struct item{
   atomic<T> itm
   item*next
}
queue();
push();
pop();
~queue();
}

queue.cpp

template<typename  T>
queue<T>::queue()
{
	Head=new qq;
	End=Head;
}

template<typename  T>
void queue<T>::push(T* item){
	try{
		Logger("Function::%s position:%s:%i",__FUNCTION__,__FILE__,__LINE__);
		item* t=new item;
		t->item=NULL;
		t->next=NULL;
		End->itm=new atomic<T*>;
		End->itm->store(item);
		End->next=t;
		End=End->next;
	}
	catch(...){
		Exout("Exception::%s position:%s:%i",__FUNCTION__,__FILE__,__LINE__);
		throw;
	}
}
и т.д.

Код в данном виде, в тем месте, где используется шаблон, выдает ошибку линковки


П.с. зачем надо: GUI проекта написано на .NET, и студия говорит, что не может одновременно использовать CLR и atomic.

П.п.с: VS 2012, стандарт с++2011

Answer 1

[jcmvbkbc]

Если используемые T известны заранее, можно в queue.cpp явно инстанцировать нужные типы.
Например:

template class queue<int>;

Answer 2

[Chaos_Optima]

#include «queue.cpp»

Answer 3

[B@rmaley.e><e]

И что же компилятор должен скомпилировать из cpp файла? Какой объектный файл получится?
Реализацию шаблонных методов / функций нельзя выносить в отдельный translation unit, следуйте совету Chaos_Optima

Comments

[jcmvbkbc]

Реализацию шаблонных методов / функций нельзя выносить в отдельный translation unit

Тут вы неправы. При наличии явного инстанцирования из этого:

template <typename T>
class Q
{
        T t;
        void f(T);
};

#include "q.h"

template <typename T> void Q<T>::f(T v)
{
        t += v;
}

template class Q<int>;

получится, например, вот что:

$ g++ q.cpp -g -c -o q.o
$ objdump --demangle -d q.o

q.o:     file format elf64-x86-64


Disassembly of section .text._ZN1QIiE1fEi:

0000000000000000 <Q<int>::f(int)>:
   0:   55                      push   %rbp
   1:   48 89 e5                mov    %rsp,%rbp
   4:   48 89 7d f8             mov    %rdi,-0x8(%rbp)
   8:   89 75 f4                mov    %esi,-0xc(%rbp)
   b:   48 8b 45 f8             mov    -0x8(%rbp),%rax
   f:   8b 00                   mov    (%rax),%eax
  11:   89 c2                   mov    %eax,%edx
  13:   03 55 f4                add    -0xc(%rbp),%edx
  16:   48 8b 45 f8             mov    -0x8(%rbp),%rax
  1a:   89 10                   mov    %edx,(%rax)
  1c:   5d                      pop    %rbp
  1d:   c3                      retq   

Другое дело, что незачем это делать без веских на то причин.

[B@rmaley.e><e]

Ну с явно инстанцированными классами всё понятно. Правда, возникает вопрос: а зачем тогда шаблоны? Извне всё равно их не использовать. Разве что для переиспользования кода.
А так — да, не спорю.