函数模板是否可以在高阶函数调用中用作一等公民？

问：

将函数模板作为参数传递给另一个函数模板总是有点棘手。通常，必须求助于创建一个 lambda 对象来调用原始函数。

例

template <typename It>
void f(It, It) {}

void g(std::vector<int>::iterator, std::vector<int>::iterator) {}

template <typename C, typename F>
void callA(C&& c, F callable) {
  return callable(std::begin(c), std::end(c));
}

问题

如果我有一个 ，我不能只传递给 因为是一个模板而不是一个函数：std::vector<int> cfcallAf

callA(c, f); // f has an unresolved overloaded function type and cannot be deduced
callA(c, std::distance); // same problem
callA(c, g); // works because g is a proper function, not a template
callA(c, [](auto a, auto b) {return f(a,b);}); // works again

即使我们帮助推断出可调用对象的类型：

template <typename C, template <typename> typename F,
          typename T = std::decay_t<decltype(std::begin(std::declval<C>()))>>
auto callB(C&& c, F<T> callable) {
  return callable(std::begin(c), std::end(c));
}

这无法编译。

问题

有没有办法强制 C++ 直接推断函数的类型，而无需诉诸 lambda 函数或类型擦除，例如？实际上，（如何）我才能将函数模板变成一等公民？也就是说，推断出它的类型。std::function

在定义高阶函数时，我愿意花一些时间（参见 vs），但在调用它时却不行。callBcallA