especialización de plantilla en otro archivo C++. ¿Qué versión Obtiene

Question

tengo estos archivos: -

1.h: -

#include <iostream> 

using namespace std; 

template <typename A> 
void f() { 
    cout<<"generic\n"; 
} 

1.cpp: -

#include "1.h" 

template <> 
void f<int>() { 
    cout<<"for ints only\n"; 
} 

main.cpp: -

#include "1.h" 

int main() { 
    f<int>(); 
    return 0; 
} 

Ahora, compilo y corro estos con g ++ como este: -

g++ -c 1.cpp -o 1.o 
g++ main.cpp 1.o 
./a.out 

Y consigo: -

for ints only 

Por otro lado, puedo compilar con icpc así: -

icpc -c 1.cpp -o 1.o 
icpc main.cpp 1.o 
./a.out 

Y consigo: -

generic 

¿Qué dice el estándar C++ sobre esto? ¿Hay algún compilador "correcto" y el otro "incorrecto" o el estándar es ambiguo sobre este tema y ambos son "correctos"?

Answer 1

Su programa muestra un comportamiento indefinido. La especialización debe declararse en cada unidad de traducción en la que se utiliza, según C++ 11 §14.7.3/6:

Si una plantilla, una plantilla de miembro o un miembro de una plantilla de clase están explícitamente especializados entonces esa especialización se declarará antes del primer uso de esa especialización que causaría una instanciación implícita, en cada unidad de traducción en la que se produce dicho uso; no se requiere diagnóstico.