可变高阶函数的重载分辨率

Overload resolution with variadic higher order functions

本文关键字：重载 分辨率 函数 高阶      更新时间：2023-10-16

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

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;
}
然而，如果只提供了两者中的一个，程序将编译
  1. 为什么会这样?为什么模板参数演绎失败?

  2. 如果我从集合中删除f()并用f(arg, arg2)替换它，仍然存在问题。是否有一个解决方案，或我总是必须提供函数的类型作为模板参数?

    execution<void()>(f);

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

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) ...);
}

您需要一个重载集合对象。这是一个对象，表示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{}传递给template函数。

template的函数值参数必须是值，并且在当前c++中没有第一个类值表示函数的整个重载集。符号f在每个使用点被消歧为一个重载:但这需要在使用点的直接上下文。以上将推迟消歧，直到我们手边有了参数。

没有特定的函数'f'可用:

简化:

template<typename F>
void execution(F func)
{}
void f() {}
void f(int arg) {}
int main()
{
    execution(f);
    return 0;
}

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

相关文章：