如何传递运算符作为默认函子参数？

Question

为简单起见，假设我想实现一个函数，该函数采用两个参数和谓词来测试相等性，

template<typename T, typename TCompare>
bool Eq(const T& a, const T& b, const TCompare& cmp) {
  return cmp(a, b);
}

但我还希望如果未传递谓词，则假定 operator== 。

我尝试了几种不同的方法，但都导致语法错误或“operator==”未定义。我什至尝试用 a 替换 Eq 函数

不过，我想我想要的是可能的，因为 STL 的大部分支持不传递可选的 TCompare 参数（std::sort、std::set .. .)。

更新： 感谢 levis501 的建议，这是迄今为止我发现的最好方法：

template<typename T, typename TCompare>
bool Eq(const T& a, const T& b, const TCompare& cmp) {
  return cmp(a, b); // or some lengthy code
}

template<typename T>
bool Eq(const T& a, const T& b) {
  static std::equal_to<T> EqCmp;
  return Eq(a, b, EqCmp);
}

因此，您基本上需要创建一个传递 std::equal_to 或任何其他运算符等效函子的包装器。由于某种原因，当您调用没有它的函数时，将其作为默认参数将无法编译。

Answer 1

std::equal_to 怎么样？ http://www.cplusplus.com/reference/std/function/equal_to/

Answer 2

你可以重载函数，不是吗？

// Use the user-supplied TCompare.
template<typename T, typename TCompare> 
bool Eq(const T& a, const T& b, TCompare cmp) { 
  return cmp(a, b); 
} 

// Use op== for equality otherwise.
template<typename T> 
bool Eq(const T& a, const T& b) { 
  return a == b; 
} 

如果代码使用三个参数调用 Eq()，编译器将解析对第一个重载的调用。如果代码仅使用两个参数调用 Eq()，则编译器将必须解析第二个重载。

Answer 3

我不认为像下面这样的东西适合你：

#include <functional>

template<typename T, typename TCompare = std::equal_to<T>>
class Math {
public:
    static bool Eq(const T& a, const T& b) {
        TCompare cmp;

        return cmp(a, b);
    }
};

int _tmain(int argc, _TCHAR* argv[]) {
    Math<int>::Eq(1,1);

    return 0;
}

Default template parameters are only allowed on class templates (或者至少 MSVC 10 是这么说的)