变分高阶函数的过载解析

Question

假设我有一个变量高阶函数

template<typename F, typename ...Args>
void execution(F func, Args&&... args)
{
    func(std::forward<Args>(args)...);
}

那么对于这个过载集

void f() {}
void f(int arg) {}

过载解决将是不可能的

int main()
{
    execution(f, 1);
    execution(f);
    return 0;
}

然而，如果只提供两者中的任何一个，程序就会编译

>

为什么会发生这种情况？为什么模板参数演绎失败？

如果我从集合中删除f（）并将其替换为f（arg，arg2），仍然存在问题。是否有解决方法，或者我是否始终必须提供函数的类型作为模板参数？

execution<void()>(f);

Answer 1

没有可用的特定函数“f ”:

简化它：

template<typename F>
void execution(F func)
{}

void f() {}
void f(int arg) {}

int main()
{
    execution(f);
    return 0;
}

您有两个函数'f'可用于模板参数推导/替换

Answer 2

您需要一个重载集对象。这是一个表示f的整个重载函数集的对象：

struct f_overload_set {
  template<typename...As>
  auto operator()(As&&...as)->
    decltype(f(std::declval<As>()...))
  { return f(std::forward<As>(as)...); }
};

现在将f_overload_set{}传递给您的模板函数。

模板的函数值参数必须是值，并且在当前C中没有代表函数的整个重载集的第一类值。符号f在每个使用点被消歧为一个重载：但这需要在使用点的即时上下文。上面推迟了消歧，直到我们有了可用的参数。

Answer 3

在进行模板类型推导时，编译器不会分析函数内部如何使用类型。因此，在推导模板参数时，编译器看不到不同模板参数之间的关系。因此，额外的可变参数模板参数根本无关紧要，问题可以简化为

template<typename Func> void execution(Func func);

void f();
void f(int);

execution(f);

有了这个最小化的代码，模板参数推导失败的原因应该很明显。

您可以通过使第一个参数显式依赖于其余模板参数来解决此问题，例如：

template<typename... Args>
 void execution(void (*func)(Args ...), Args ... args)
{
  func(std::forward<Args>(args) ...);
}