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 m