类模板中函数的专业化顺序是否重要

Question

考虑类似...

template<typename T>
class Vector {
  ...
  bool operator==( const Vector<float> &rhs ) {
    // compare and return
  }

  bool operator==( const Vector<T> &rhs ) {
    // compare and return
  }
  ...
 };

注意专业化如何高于非专业化版本。如果我将专用版本放在非专用版本下面，Vector == 比较是否仍然按预期工作？出于某种原因，我想我记得读过，如果您在这种情况下将专业化放在下面，那么当编译器查看标头时，它将首先看到默认值，看看它是否有效，然后使用它。

Answer 1

您的示例代码不是专门的，而是重载的。顺序确实很重要（但在您的代码中并不重要），因为函数需要在 C++ 中已知之前进行声明。因此，如果一个重载调用另一个重载，或者中间的另一个函数调用重载集，则调用可能会在不需要的地方结束。您的示例代码是有效且常见的。

出于某种原因，我想我记得读过，如果您在这种情况下将专业化放在下面，那么当编译器查看标头时，它将首先看到默认值，看看它是否有效，然后使用它。

你正在考虑以下规则

如果模板、成员模板或类模板的成员被显式特化，则应在第一次使用该特化之前声明该特化，这将导致在每个翻译单元中发生隐式实例化发生使用；无需诊断。

我忍不住引用一下标准中关于专业化的搞笑说法

函数模板、类模板、类模板的成员函数、类模板的静态数据成员、类模板的成员类、类模板的成员类模板、类模板的成员函数模板、成员的显式专业化声明的放置类模板的成员模板的函数、非模板类的成员模板的成员函数、类模板的成员类的成员函数模板等，以及类模板、非模板的成员类模板的部分特化声明的放置类、类模板的成员类模板等可以根据显式专业化声明及其在翻译单元中的实例化点的相对定位（如上文和下文所指定）影响程序是否格式良好。编写专业化时，请注意其位置；或者让它编译将是一个足以点燃其自焚的考验。

Answer 2

正如所写，我相信你有一个错误。你没有专门化运算符==，你正在重载它。不允许您重载这样的模板参数。

如果您的方法是一个自由函数，那么您可以对其进行专门化。例如

template <typename T>
void Foo(Vector<T> x) {
   std::cout << "x" << std::endl;
}
template <>
void Foo(Vector<float> y) {
   std::cout << "y" << std::endl;
}

...
Vector<int> intVec;
Vector<float> floatVec;
Foo(intVec); //prints x
Foo(floatVec); //prints y

，在本例中，如果您使用 Vector 调用 Foo，您将调用专用版本。

顺序在某种程度上很重要。首先，当可用时，编译器总是倾向于使用专门化形式而不是非专门化形式。之后，编译器将尝试按顺序实例化每个函数。如果可以成功编译，则将使用该专业化。如果不能，它将转到下一个。该原则称为“替换失败不是错误”(SFINAE)。 http://en.wikipedia.org/wiki/Substitution_failure_is_not_an_error 有更详细的描述。