especialización de plantillas símbolos de multiplicación definida

Question

Sé que aquí me falta algo fácil, pero tengo una función de miembro con plantilla de una clase que he especializado.

MyClass 
{ 
    template<typename T> T GetTFromVariable(shared_ptr<TOtSimpleVariable> v, string s); 
} 

template<typename T> 
T MyClass::GetTFromVariable(shared_ptr<TOtSimpleVariable> v, string s) 
{ 
    throw std::runtime_error("Don't know how to convert " + ToString(v->GetString())); 
} 

template<> 
int MyClass::GetTFromVariable<int>(shared_ptr<TOtSimpleVariable> v, string s) 
{ 
    return v->GetInteger(); 
} 

template<> 
string MyClass::GetTFromVariable<string>(shared_ptr<TOtSimpleVariable> v, string s) 
{ 
    return v->GetString(); 
} 

// etc for other specialisations. 

Esto se define en mi archivo de cabecera (como plantillas deben ser) pero cuando voy y compilar me sale un montón de símbolos mutliply definidos, un error de este tipo representativo es:

 OtCustomZenith_logic.lib(PtPathOutput.obj) : error LNK2005: "public: class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> > __thiscall MyClass::GetTFromVariable<class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> > >(class boost::shared_ptr<class TOtSimpleVariable>,class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> >)" (??$GetTFromVariable@V?$basic_string@DU?$char_traits@D@std@@V?$allocator@D@2@@std@@@CommandProperties@@QAE?AV?$basic_string@DU?$char_traits@D@std@@V?$allocator@D@2@@std@@V?$shared_ptr@VTOtSimpleVariable@@@boost@@V12@@Z) already defined in TableFareSystem_test.obj 

que pueda arréglelo haciendo hincapié en los métodos, pero no creo que sea necesario ... ¿qué olvidé?

EDIT: Estoy usando Visual Studio 2010

Answer 1

Como se ha señalado Alf, la especialización completa ya no es una plantilla. Sin embargo, no estoy seguro de que tenga definido en línea. También debería poder dividir la declaración y la definición.

I.e. En el encabezado de tener:

template<> 
int MyClass::GetTFromVariable<int>(shared_ptr<TOtSimpleVariable> v, string s); 

y en la ejecución tienen:

template<> 
int MyClass::GetTFromVariable<int>(shared_ptr<TOtSimpleVariable> v, string s) 
{ 
    return v->GetInteger(); 
} 

Yo también había pensado que por derechos de la definición de plantilla también debe ser explícitamente línea (siempre he hecho), pero no estaría demasiado sorprendido si un compilador dado fuera poco aplicado en la aplicación de ODR para las plantillas. Me interesaría ver la referencia estándar que dice lo contrario.

Answer 2

La especialización completa ya no es una plantilla. Es una función concreta. Como tal, debe ser (implícita o explícitamente) declarado inline. Lo más fácil es agregar esa palabra clave antes de la especificación del tipo de devolución.

Dicho esto, el código presentado no corresponde a su mensaje de error.

Su mensaje de error se refiere al tipo de devolución std::string, no al tipo de devolución int.

Saludos & HTH.,

Answer 3

yo sugeriría que para eliminar la siguiente implementación de su código por completo, de manera que compilador puede generar el error en tiempo de compilación en sí si T no está int. La detección temprana de errores es mejor que la detección de retardos (que se realiza en tiempo de ejecución).

template<typename T> 
T MyClass::GetTFromVariable(shared_ptr<TOtSimpleVariable> v, string s) 
{ 
    throw std::runtime_error("Don't know how to convert " + ToString(v->GetString())); 
} 

Hay exactamente un tema/tema similar discutiendo esto. Por favor, eche un vistazo a esto:

Partial template specialization for specific type, c++