用于类模板专业化的运算符重载

Question

我在这里遇到一个令人困惑的问题，到目前为止，我找不到任何解决方案：链接器抱怨重载的非成员运算符==的多重定义。 想象一下以下情况：

template <class T>
struct MyPtr
{
  T* val;
  ...
}

template <class T> bool operator==(MyPtr<T> const & lhs, MyPtr<T> const & rhs)
{ return *lhs.val == *rhs.val; }
template <class T> bool operator==(MyPtr<T> const & lhs, T* const & rhs)
{ return *lhs.val == *rhs;}

到目前为止，一切都很好，但是像我尝试让我的班专门对char *做出反应时，事情变得很奇怪：

template <>
struct MyPtr<char>
{
  char* val;
  ...
}

//Now each of these functions result in a multiple definition error of the Linker, 
//and i dont get why:
//bool operator== (MyPtr<char> const& lhs, MyPtr<char> const& rhs)
//{ return strcmp(lhs.val,rhs.val) == 0;}

//template <> bool operator==<char> (MyPtr<char> const& lhs, MyPtr<char> const& rhs)
//{ return strcmp(lhs.val,rhs.val) == 0;}

那我在做什么错呢？ 我的代码中的顺序与此处编写的相同。 将这些函数定义移到Class专业化之上会导致错误：

Error : specialization of 'MyPtr<char>' after instantiation
Error : redefinition of 'class MyPtr<char>'

请注意，我必须使用GCC 4.1.2。 我希望它不是这里的编译器问题...再次...

Answer 1

在以下情况下，函数定义应仅出现在头文件中：

• 它已使用inline关键字OR声明。
• 它是在类定义中定义的，或者
• 它涉及至少一个模板参数

（这些情况适用于ODR的多定义定义版本。）

因此，模板功能通常不需要inline 。 但是显式专门化实际上没有任何模板参数，因此，如果要在头文件中将其inline ，则应将其inline标记。

Answer 2

这不应该吗

template <> bool operator==<char> (MyPtr<char> const& lhs, MyPtr<char> const& rhs)
{ return strcmp(lhs.val,rhs.val) == 0;}

是

template <> bool operator==<char> (MyPtr<char> const& lhs, char* const& rhs)
{ return strcmp(lhs.val,rhs) == 0;}

？

感谢jogojapan的更正