由操作员填写的模板

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);
}

这似乎需要做很多工作。但是标准中有很多预定义的函子。在this page 上向下滚动到“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);
}