Linux C++: ¿Cómo usar apropiadamente las especializaciones de plantillas en múltiples archivos?

Question

Tengo un problema extraño. En Windows, con Visual Studio 2010 y también con el compilador Intel todo está vinculado como se esperaba. Pero cuando intento compilar mi código con CLang 3.0 en Linux, compila (y si solo uso un solo archivo CPP, también lo vincula y lo ejecuta) pero no enlaza.

El mensaje es que hay múltiples definiciones de símbolos, que se refieren a instancias de plantilla. Por ejemplo, consideremos las dos líneas siguientes en un archivo de cabecera compartida a través de múltiples unidades de compilación:

template<class T> void myFunc(T in) { } 
template<> void myFunc<int>(int in) { } 

Ahora desde el enlazador Linux me gustaría tener algo en la línea de:

"xyz archivo": múltiple definición de "myFunc (int in)", definido por primera vez en "algún archivo".

Pero, ¿cómo evitaría eso? Como funciona en Windows, supongo que también debería funcionar en Linux.

Lo mismo aplica para los miembros de datos de plantilla estáticos, que son más o menos los mismos que los anteriores simplemente declaran una variable en lugar de una función. Preferiría que funcionara para miembros de datos de plantilla estáticos.

Si todo lo demás falla, supongo que todavía podía crear un archivo "MakeAll.cpp" que acaba incluye CPP hay, pero eso no suena como una solución deseable para mí ...

Gracias por ¡tu ayuda!

Answer 1

En mi entendimiento, que son, de hecho, la definición de sus especializaciones de plantilla en múltiples ocasiones, y esto también te dará un error de compiladores de Windows.

En el archivo de cabecera que son definir una función mediante la provisión de un cuerpo: existirá

template<> void myFunc<int>(int in) { } 

Esta definición en múltiples unidades de compilación y el enlazador debe se quejan.

Las mismas reglas se aplican para su especialización de plantilla como para funciones que no son de plantilla ordinaria, puede coger inline o usar una declaración por separado y definición, poniendo

template<> void myFunc<int>(int in); 

en un encabezado y

template<> void myFunc<int>(int in) 
{ 
    // ... 
} 

en un archivo .cpp.

Answer 2

No tengo el estándar a mano ahora, pero creo que la especialización tiene que ser declarada inline.

Answer 3

plantillas se crean instancias por el compilador, y es la responsabilidad de los compiladores para asegurarse de que sólo se definen una vez.

Cuando usted se especializa completamente una función, no es una plantilla de más (pero una función ordinaria), y es su responsabilidad de asegurarse de que no se multiplicará definido.

Hay muy poca diferencia entre estas funciones

template<> 
void f<int>(int x) 
{ } 

void f(int x) 
{ } 

cuando se trata de la regla de una definición.

Agregar inline ayuda en ambos casos.