模板特化 多重定义符号

Question

我知道我在这里遗漏了一些简单的东西，但我有一个我专门研究的类的模板化成员函数。

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.

这是在我的头文件中定义的（应该是模板），但是当我去编译时，我得到了一堆多重定义的符号，一个典型的错误是：

     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

我可以通过内联方法来修复它，但我认为这没有必要......我忘记了什么？

编辑：我正在使用 Visual Studio 2010

Answer 1

完整的专业化不再是模板。这是一个具体的功能。因此，它需要（隐式或显式）声明inline。最简单的方法是在返回类型规范之前添加该关键字。

也就是说，显示的代码与您的错误消息不对应。

您的错误消息涉及返回类型std::string，而不是返回类型int。

Answer 2

正如 Alf 所说，完整的专业化不再是模板。 但是，我不确定它 必须 内联定义。 您还应该能够拆分声明和定义。

即在您的标题中有：

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

并且在实现中有：

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

我还认为，按权利，模板化定义也应该明确内联（我一直这样做），但如果给定的编译器在为模板应用 ODR 时松懈，也不会太惊讶.我很想看看另有说明的标准参考。

Answer 3

我建议您从代码中完全删除以下实现，这样如果 T 不是 int，编译器可以在编译时自身生成错误。错误的早期检测优于延迟检测（在运行时完成）。

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()));
}

讨论这件事的主题/问题完全相同。请看这个：

Partial template specialization for specific type, c++