链接时模板专业化失败

Question

我想了解模板专业化的问题。我正在使用 Visual C++ 10.0 (2010)。我有这样的课：

class VariableManager
{
public:

    template<typename VarT>
        VarT get(std::string const& name) const
        {
                    // Some code...
        }

   // This method supposed to be fully evaluated, linkable method.   
    template<>
        std::string get<std::string>(std::string const& name) const;

private:
    std::map<std::string, boost::any> mVariables;
};

理论上，因为我专门使用了“get”方法，所以链接器应该能够从目标文件中获取。相反，如果我将方法放在源文件中，则链接器会出现未解决的引用错误：

    template<>
    std::string VariableManager::get<std::string>(std::string const& name) const
            {
                 // Doing something...
            }

如果我将此方法作为内联方法放在头文件中，则构建会正常进行。我确实理解模板的功能是这样的：

        template<typename VarT>
            VarT get(std::string const& name) const;

应该放在头文件中，因为编译器不能根据调用代码特化模板，但在完全特化的情况下，是类的实现，因此特化的模板方法应该已经作为公共符号存在。有人可以解释一下这个问题吗？

Answer 1

您的分析是正确的 - 一个显式专门化的函数模板，它具有使用显式值指定的任何模板参数，提供了函数的完整定义。

如果您已将包含显式特化定义的相应.cpp 文件正确包含到您的项目中，则 VC++ 不应引发链接器错误。不过，为了符合标准，请注意，您必须在封闭类之外声明您的专业化。该标准禁止在封闭类内部声明显式特化（其他编译器将拒绝您的代码）。所以更改头文件以像这样声明特化，而不是

class VariableManager
{
public:

    template<typename VarT>
        VarT get(std::string const& name) const
        {
                    // Some code...
        }

private:
    std::map<std::string, boost::any> mVariables;
};

// This method supposed to be fully evaluated, linkable method.   
template<>
std::string VariableManager::get<std::string>(std::string const& name) const;

我还要注意，你不能在你的类体内调用get<std::string>。这是因为任何这样的调用都不会看到显式的特化声明，因此会尝试从模板定义中实例化函数。标准使此类代码格式错误，无需进行诊断。

Answer 2

专门化模板不会强制编译器实例化它（我认为 GCC 会这样做）；您仍然需要明确告诉编译器实际实例化模板。您可以通过显式模板实例化来做到这一点。基本上，只需在源文件中添加：

template std::string VariableManager::get(const std::string& name) const;

Answer 3

以template<> 开头的方法仍被视为template 专业化 方法。所以你必须要放入一个头文件中。

如果你想把它放到一个实现文件中，那么你必须重载它。

class VariableManager
{
//...
  VarT get(std::string const& name) const
  {}

  std::string get(std::string const& name) const; //overloading not specialization
};