模板專業化鏈接失敗

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

從理論上講，因爲我的專業「獲取」的方法，連接器應該能夠從一個目標文件回升。相反，我得到的鏈接未解決的引用錯誤，如果我把源文件的方法：

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