将 std::function 与模板一起使用

Question

所以在它最精炼的形式中，我有这样的事情发生，

template <class T>
bool f(const T &a, const T &b, std::function<bool(const T&, const T&)> func)
{
    return func(a,b);
}

template <class T>
bool g(const T &a, const T &b)
{
    return true;
}  

但是任何尝试调用f()，使用任何东西，f('a', 'b', g)，f(1, 2, g)，总是导致“没有匹配的函数调用'f'”，无论我是否将变量作为常量引用传递或只是普通值或其他。我假设它无法推断出一些模板，但我不知道在哪里或为什么。

我承认，我一般对如何使用函数对象知之甚少，做这样的事情是否可能？

Answer 1

参数func 被声明为std::function，并且您试图传递一个函数指针，这需要隐式转换。 Template argument deduction不考虑隐式转换然后推演失败。

类型推导不考虑隐式转换（除了上面列出的类型调整）：这是重载解析的工作，稍后会发生。

你可以显式构造一个std::function，

f('a', 'b', static_cast<std::function<bool(const char&, const char&)>>(g<char>));

或显式指定模板参数（绕过模板参数推导，使隐式转换稍后生效），

f<char>('a', 'b', g<char>);    

或者干脆不要使用std::function。

template <class T, class F>
bool f(const T &a, const T &b, F func)
{
    return func(a,b);
}

f('a', 'b', g<char>);

Answer 2

我已为您解决了一些问题并添加了一些示例。这应该可以帮助您了解如何使用简单的 std::function。

#include <iostream>
#include <string>
#include <functional>

template <class T>
bool f(const T &a, const T &b, std::function<bool(const T&, const T&)> func)
{
    return func(a,b);
}

template <class T>
bool g(const T &a, const T &b)
{
    return a==b; // a simple comparator
}  

int main()
{
   int a = 1;
   int b = 1;

   // instantiate f and g as integer type functions
   if( f<int>(a,b,g<int>) == true) 
      std::cout << "true" << std::endl;
   else
      std::cout << "false" << std::endl;

   std::string c="dead";
   std::string d="beef";
   // and now as strings
   if( f<std::string>(c,d,g<std::string>) == true) 
      std::cout << "true" << std::endl;
   else
      std::cout << "false" << std::endl;
   return 0;
}