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

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

如果你知道你要打电话的功能的签名（当然可以），你不能

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

void dummy() {}

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