提示重载函数模板作为模板参数的最简洁的方法是什么

Question

我正在尝试创建一个函数模板，它接受 std::max 和其他具有兼容原型的模板：

template <typename F>
int f(F g)
{
    return g(1,2);
}

由于许多重载，模板参数 F 无法推断为 f.e.对于std::max，所以这将失败：

f(std::max);

一种可能性是用static_cast 提示：

f(static_cast<int const& (*)(int const&,int const&)>(std::max));

我正在寻找一种不那么冗长的方式，同时仍然能够轻松传递任何其他类型的匹配函数，例如 f.e.

f([](int i, int j) { return 3; });
f(std::function<int(int,int)>([](int i, int j) { return 4; }));

Here's a godbolt.

如果 C++11 和 C++14 有一个简单的方法，那就太好了，但如果只有一个 C++17 及以上版本，这也会有很大帮助。

Answer 1

问题是 std::max 不是你的职能。

您无法修改函数以使其接受一组重载。一组重载不是您可以传递的。您可以传递的是带有重载operator() 的对象。例如

struct foo {
    template <typename T> bool operator()(T a,T b){return a+b;}
};

f(foo{}); // OK 

std::max 但是是一个函数模板，您需要先实例化该函数，然后才能将函数传递给f。你对此无能为力。尽管您不一定需要std::function 或static_cast 来选择正确的重载。如评论中所述，您可以这样做

 f([](int a, int b) { return std::max(a, b); });

这会在 lambda 中触发 std::max<int> 的实例化，或者如果您更喜欢在 f 中选择类型，您可以像上面的示例一样执行：

 f([](auto a, auto b) { return std::max(a,b); });

这个 lambda 表达式类似于上面的foo。你有一个具体的对象，只有 operator() 是一个模板，它只在调用时被实例化，这样在 f 你甚至可以这样做：

template <typename F>
int f(F g)
{
    if (some_condition) return g(1,2); // calls std::max<int>
    else return g(1.2,1.4);            // calls std::max<double>
                                       // (though int is returned anyhow)
}

f([](auto a, auto b) { return std::max(a,b); });