我可以用算术运算的方式编写关系运算符吗？

所以我有一个相当复杂的函数：

template <typename T>
void foo(const int param1, const int param2, int& out_param)

Given int bar, const int arg1, and const int arg2该函数将通过以下任一方式调用：foo<plus<int>>(arg1, arg2, bar) or foo<minus<int>>(arg1, arg2, bar)

在内部，该函数相当复杂，但我根据作为模板参数传递的仿函数的类型执行不同的关系运算符。

如果是plus我需要去做：

1. arg1 > arg2
2. bar > 0
3. bar > -10

如果是minus我需要去做：

1. arg1 < arg2
2. bar < 0
3. bar < 10

注意10两者没有相同的符号3s。我目前正在通过传递第二个模板参数来解决所有这些问题（less or greater.）但我认为将这些关系写成算术运算可能更有意义。这是否可能，或者我是否需要采用第二个模板参数？

T{}(0, arg1) > T{}(0,arg2);
T{}(0, bar) > 0;
T{}(0, bar) > -10;

基本思想是a > b当且仅当-a < -b. And plus(0,a)==a while minus(0,a)==-a.

最后一个很棘手，因为我们想改变顺序<和标志。幸运的是他们取消了：

假设我们想要一个常数-10在加号的情况下，并且10在负值的情况下。然后

plus(0,-10)

is -10 and

minus(0,-10)

is 10.

所以我们得到：

T{}(0, bar) > T{}(0, T{}(0,-10))

在加号的情况下，rhs 是0+0+-10, aka -10.

在负值的情况下，这是0-(0-(-10)), aka -10.

所以简短的形式是：

T{}(0,bar) > -10

它应该有效。