c++ - c++模板函数地址

Question

为什么编译失败？ (g++-4.5)

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

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

编辑:这是一种解决方法:

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他们设计了措辞，“Nico Josuttis”的例子和他们的最后一个例子。

还有另一个规则，该措辞强制执行，但编译器没有正确执行。例如，see this clang PR .