"通配符函数指针非类型模板参数"

Question

模板可以采用非类型函数指针参数，但如果所有可能的函数指针参数都被接受，就会出现问题，例如：

void dummy()
{
}

template <typename FT, FT* fp>
void proxy()
{
  fp();
}

int main()
{
  proxy<decltype(dummy), &dummy>();

  return 0;
}

Answer 1

对于您的特定问题，更好的解决方案是仅将函数类型作为模板参数，而将项目作为普通函数参数。 您还可以使用类型推导，而不是显式指定要使用的参数类型：

void dummy()
{
}

template <typename FT>
void proxy(FT fp)
{
  fp();
}

int main()
{
  proxy(fp);

  return 0;
}

Answer 2

从 c++20 开始，我们现在有了这个<\/a>：

void dummy() { }

template <auto fp>
void proxy()
{
  fp();
}

int main()
{
  proxy<dummy>();

  return 0;
}

Answer 3

如果您知道要调用的函数的签名（当然可以），则不能

template<void F()>
void proxy()
{
    F();
}

void dummy() {}

int main()
{
    proxy<dummy>();
}