我想是指以下的情况：

template <typename T>
struct base {
   void foo() { std::cout << "generic" << std::endl; }
   void bar() { std::cout << "bar" << std::endl; }
};
template <>
void base<int>::foo() // specialize only one member
{ 
   std::cout << "int" << std::endl; 
}
int main() {
   base<int> i;
   i.foo();         // int
   i.bar();         // bar
}

一旦这样做了，您就不能将完整的模板专门化为任何其他东西，所以

template <>
struct base<int> {};  // error

我认为这意味着你可以：

• 专门化整个类和所有成员（数据和函数，静态或非静态，虚拟或非虚拟）必须被声明和定义，即使它们与非专门化版本相同，
• 特殊化一些函数成员，但这样你就不能特殊化整个类（例如：e.所有成员的声明方式与非特殊情况相同，您只需提供某些函数成员的实现）。

Explicit and implicit instantiation和类似以下的情况可以被记住。
当类被显式示例化时，泛型类的所有成员都将出现在示例化的类中。然而，假设通过提及类主体来描述类专门化。只有在专门化类中显式定义的成员（无论是已经存在于泛型类中的成员还是新成员）才会出现在示例化类中。
假设（泛型类的）成员函数经由特定作用域的类专门化来定义，则专门化的类被隐式地示例化，其将以适当专门化的方式具有这些函数以及泛型类中存在的所有其他成员。
在第二种情况下，由于一个专门化的类已经被隐式地示例化了，我们以后不能再定义一个具有相同专门化的类，无论是通过显式示例化还是通过提到类体。为了添加特定于该专门化的成员，可能需要执行后者。在这种情况下，这是不可能的，因为编译器已经示例化了一个专用类。
不管类专门化可以被示例化的这些方式如何，用户总是可以自由地基于其他模板参数来示例化其他专门化。