C++模板函數的地址

Question

爲什麼這個編譯失敗？ （克++ - 4.5）

template < typename U > 
static void h() { 
} 

int main() { 
    auto p = &h<int>; // error: p has incomplete type 
} 

EDIT：這裏是一個變通：

template < typename U > 
static void h() { 
} 

int main() { 
    typedef decltype (&h<int>) D; 
    D p = &h<int>; // works 
} 

Answer 1

在C++ 0x中，這是保證工作。然而，在C++ 03中，這不起作用（即初始化部分），有些編譯器顯然不支持它。另外，我記得C++ 0x的寫法並不清楚&h<int>是什麼，當它是一個函數模板的參數並且推導出相應的參數（這是auto被轉換爲概念性的）。然而，它的意圖是有效的。見this defect report他們在那裏設計的措辭，「尼科Josuttis」的例子和他們的最後一個例子。

還有另一個規則，措辭強制執行但編譯器沒有正確執行。例如，see this clang PR。

Answer 2

它不編譯，因爲 'P' 的類型是未知的編譯器，其是必須的在C++不像其他一些語言。

嘗試

template < typename U > 
static void h() { 
} 

int main() { 
    auto void (*p)() = &h<int>; 
} 

Answer 3

嘗試

auto p = static_cast<void(*)()>(& h<int>); 

因爲gcc對待模板用作重載之一。從海灣合作委員會的角度來看，它就像你會有h(int param)和h(float param) - 編譯器必須選擇哪一個？

我注意到舊版本的gcc有什麼問題，但我會試着更詳細地解釋它。 GCC無法推斷出該類型，因爲模板化函數被視爲超載。這基本上就像你具備以下條件：

void h(int) 
{ 
} 

void h(float) 
{ 
} 

void (*p)(int) = & h; //ok 
void (*p)(float) = & h; //ok 
auto p = & h; //error: which version of h? 

海合會h<int>簡直就像重載h函數依賴於T參數無盡的替代品。有問題的代碼是O.K.做到以下幾點：

void (*p)() = & h<int>; 

（這就是爲什麼我沒有得到通過typedef「變通」）

，因爲我以爲OP想用C++ 11 auto通過關鍵字標籤的建議，我靜態鑄造了h<int>到void(*)()，這是一種無操作，只是爲了欺騙gcc，因爲它無法正確處理模板化函數和auto。

函數void h<int>()和void h<float>()當然應該被當作具有相同指針類型的不同函數處理，而不是h函數的超載版本。實例化時，他們應該表現得像void hInt()和void hFloat()，你應該能夠使用自動喜歡這裏：

void hInt() 
{ 
} 

void hFloat() 
{ 
} 

auto p = hInt; 
p = hFloat; 

但由於某些原因海合會他們喜歡的h重載版本。

請給出downvotes的原因。