C++多参数类模板如何仅对单个参数特化成员函数

需求完全可以实现，不需要修改原有类模板的任何代码，之前的写法报错只是没用对C++模板特化的语法。

你之前的写法踩了C++类模板成员特化的语法规则坑：

• 能正常编译的Collection<Pair, 50u>::display是成员函数全特化，必须把类的两个模板参数（T、CAPACITY）都写死成固定值，所以只能匹配CAPACITY=50的场景，覆盖不了任意CAPACITY的情况。
• 写Collection<Pair>::display会报错，是因为Collection本身是双参数模板，你既没给全参数，也没提前声明CAPACITY是可变参数，编译器自然会提示类模板参数不足。

特化时先把CAPACITY声明为可变的非类型模板参数就行，代码如下：

// 声明保留CAPACITY为可变模板参数
template <unsigned CAPACITY>
// 固定T为Pair，CAPACITY沿用可变参数
void Collection<Pair, CAPACITY>::display(std::ostream& ostr) const
{
    ostr << "----------------------" << std::endl;
    ostr << "| This is a Pair |" << std::endl;
    ostr << "----------------------" << std::endl;
}

• 所有Collection<Pair, N>实例（N是任意合法无符号整数，比如10、50、200）调用display时，都会走这个特化逻辑，输出Pair专属内容。
• 所有T不是Pair的Collection实例，比如Collection<int, 50>、Collection<std::string, 20>，还是用原类里的通用display实现，不受任何影响。
• 这个写法从C98标准开始就支持，不需要依赖高版本C特性，兼容性极强。

内容的提问来源于stack exchange，提问作者OldSchool Ty