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的原因。