包装模板函数和<未解析的重载函数类型

我的包装功能有问题。

template <typename Iter, typename SomeFunction>                         
void wrap(Iter first, Iter last, SomeFunction someFunction)
{
  someFunction(first, last);
}

我想这样使用它：

template <typename Iter>
void fill5(Iter first, Iter last)
{
    fill(first, last, 5); 
}
int main()
{
    vector<int> v(100, -1);
    wrap(v.begin(), v.end(), fill5);

}

但我得到

test.cpp: In function ‘int main()’:
test.cpp:16:40: error: no matching function for call to ‘wrap(std::vector<int>::iterator, std::vector<int>::iterator, <unresolved overloaded function type>)’
test.cpp:16:40: note: candidate is:
wrap.h:6:6: note: template<class Iter, class SomeFunction> void wrap(Iter, Iter, someFunction)

我知道如果我像这样调用该函数

wrap(v.begin(), v.end(), fill5< vector<int>::iterator> );

它会编译。但我总是必须明确地这样做吗？太糟糕了。为什么编译器无法推断出将使用哪个函数？是否有可能编写包装函数来接受第一个函数中的参数？

在 C++03 或 C++11 中，您对此无能为力。

fill5是一个函数template，并且您不能获取函数模板的地址。函数模板被编译器视为无限重载集，并要求您显式指定要获取其地址的实例：

wrap(v.begin(), v.end(), fill5<vector<int>::iterator>);
//                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^

或者（正如我在对原始帖子的评论中提到的，以及其他答案所建议的），您可以使用带有模板化调用运算符的函子来包装调用fill5.

然而，在 C++14 中，我们可以做得更好：我们可以使用泛型 lambda 来简化一些事情。如果你定义这个宏：

#define WRAP(f) \
    [&] (auto&&... args) -> decltype(auto) \
    { return f (std::forward<decltype(args)>(args)...); }

然后你可以写：

int main()
{
    std::vector<int> v(100, -1);
    wrap(v.begin(), v.end(), WRAP(fill5));
}

这里有一个活生生的例子 http://coliru.stacked-crooked.com/a/888dd433262b8260.