模板由操作员填写

Question

你能在C++中使用模板（或类似的）来指定函数中执行哪个操作吗？

我不知道如何更清楚地解释它，所以我将向您展示如何在代码中完成（但没有）：

template <operator OPERATION> int getMaxOrMin(int a, int b) {
    return a OPERATION b ? a : b;
}

在哪里找到 a 或 b 的最大值或最小值（这是我的位置）伪语法有点令人困惑，请耐心等待）：

int max = getMaxOrMin< > > (a, b);
int min = getMaxOrMin< < > (a, b);

我知道这根本不是怎么做的（因为它甚至在语法上没有意义），但我希望这能澄清我想做的事情的类型。

我想知道这一点的原因是我正在制作一个 PriorityQueue 实现，如果能够在支持最大堆或最小堆之间轻松切换，而无需复制和粘贴代码来创建两个不同的类，那就太好了。

我知道我可以用宏来做到这一点，但我知道如何做到这一点的唯一方法是给我一个最大堆或一个最小堆，但不能在同一个编译中同时提供两者。不过，我可能忽略了一种方式。

Answer 1

做 std::map 和朋友所做的事情：将比较函数/函子作为模板参数。请参阅 std::less 和 std::greater。

请记住，标准库已经拥有一个开发良好且经过调试的优先级队列，您可以将其与任意比较函数一起使用。

Answer 2

是的，但是您需要像函子一样定义它：

template <typename OPERATION>
int getMaxOrMin(int a, int b)
{
    OPERATION  operation;
    return operation(a, b) ? a : b;
}

现在您可以像这样使用它：

struct myLess
{
    bool operator()(int a,int b) const { return a < b; }
}
struct myGreat
{
    bool operator()(int a,int b) const { return a > b; }
}

void code()
{
    int x = getMaxOrMin<myLess>(5,6);
    int y = getMaxOrMin<myGreat>(5,6);
}

这看起来需要很多工作。但标准中有很多预定义的函子。在此页面上，向下滚动到“6：函数对象”。
对于你的情况有：

std::less
std::greater

所以代码变成：

template <typename OPERATION>
int getMaxOrMin(int a, int b)
{
    OPERATION  operation;
    return operation(a, b) ? a : b;
}

void codeTry2()
{
    int x = getMaxOrMin<std::less<int> >(5,6);
    int y = getMaxOrMin<std::greater<int> >(5,6);
}