單獨聲明和模板函數專業化的定義：成員函數和非成員函數的不同行爲

Question

我想聲明函數模板的專用，但稍後在源文件中定義它。考慮下面的例子：

.hpp

// approach #1 
template <typename T> const char *GetTypeName(); 
template <> const char *GetTypeName<int>(); 

// approach #2 
template <typename T> class TypeName {static const char *Get();}; 
template <> const char *TypeName<int>::Get(); 

.cpp

// approach #1 
template <> const char *GetTypeName<int>() 
{ 
    return "int" 
} 

// approach #2 
template <> const char *TypeName<int>::Get() 
{ 
    return "int" 
} 

在2012 MSVC（CTP是不安裝），這兩個變種編譯罰款，但非會員變種（＃1）引發鏈接錯誤（未解決的外部錯誤，等等）。這是正常的行爲嗎？ MSVC的具體？編譯器錯誤？在CTP中修復？

編輯
我只使用專門的版本。它們在頭文件中聲明並在源文件中定義。這種方法適用於成員，但不適用於獨立功能。

EDIT 2
嗯......我想在家裏打造同一個快照（相同MSVC安裝，無需CTP），並將其鏈接沒有問題。看起來像當地的錯誤或安裝損壞。

Answer 1

函數模板不是函數。完全專用的功能模板是的一個功能。

由於必須定義所有（odr-used）函數，因此必須有辦法爲任意模板實例化生成定義。因此，主要功能模板的定義必須位於標題中。

header.h：

template <typename T>   // this 
const char * GetTypeName()  // is 
{        // not 
    return "foo";    // a 
}        // function 

template <> 
const char * GetTypeName<int>(); 

impl.cpp：

#include "header.h" 

template <> 
const char * GetTypeName<int>() 
{ 
    return "int"; 
}