防止模板部分特化错误

Question

有一个代码：

#include <functional>

template<typename DataType, typename Compare=std::less<DataType>>
class MyClass {
public:
  explicit MyClass(const Compare& f = Compare()) {
    compare = f;
  };

  bool foo(DataType, DataType);
private:
  Compare compare;
};

template<typename DataType>
bool MyClass<DataType>::foo(DataType a, DataType b) {
  return compare(a, b);
}

当编译出错时：

error: nested name specifier 'MyClass<DataType>::'
      for declaration does not refer into a class, class template or class
      template partial specialization bool MyClass<DataType>::foo(DataType a, DataType b) {

如何防止错误并在类外声明方法？

Answer 1

您必须提供主要模板定义中的模板参数：

//        vvvvvvvvvvvvvvvvvvvvvvvvvvvvv
template <typename DataType, typename X>
bool MyClass<DataType, X>::foo(DataType a, DataType b) {
//           ^^^^^^^^^^^
  return compare(a, b);
}