16、C++ 模板特化与重载：深入解析

C++ 模板特化与重载：深入解析

1. 显式特化概述

在 C++ 中，函数模板重载结合部分排序规则可让我们向通用实现中添加更特化的模板，以透明地调整代码提高效率。但类模板不能重载，为此引入了显式特化机制来实现类模板的透明定制。显式特化通常指的是全特化，即模板参数被完全替换，不再有模板参数留存。类模板、函数模板以及类模板中可在类定义体外定义的成员（如成员函数、嵌套类和静态数据成员）都能进行全特化。

2. 全类模板特化

全特化通过 template<> 来引入，类名声明后需跟上特化所针对的模板实参。例如：

template<typename T>
class S {
public:
    void info() {
        std::cout << "generic (S<T>::info())\n";
    }
};

template<>
class S<void> {
public:
    void msg() {
        std::cout << "fully specialized (S<void>::msg())\n";
    }
};

从这个例子可以看出，全特化的实现无需与通用定义有任何关联，这使得成员函数名可以不同。指定的模板实参列表必须与模板参数列表相对应，对于有默认模板实参的参数，其实参是可选的。

以下是更多示例代码及解释：