C++ 函数模板的偏特化和完全特化设置

函数模板偏特化和完全特化允许我们为特定的模板参数类型定制模板行为。这是通过提供重载版来实现的，这些重载版具有特定参数类型的显式模板参数。

偏特化

偏特化为特定参数类型（或类型组合）提供专门的实现。以下是如何设置偏特化：

立即学习“C++免费学习笔记（深入）”；

template<typename T>
void func(T x) { ... }  // 默认实现

template<>
void func(int x) { ... }  // 偏特化，适用于 int 参数

完全特化

完全特化为特定参数类型提供精确的实现。以下是如何设置完全特化：

C++ 算法竞赛自动化测试数据生成与校验框架

根据原题生成新题面、验证器及完整测试数据，自动套用 testlib 模板，用于用户要求生成测试数据时。

下载

template<>
void func<int>(int x) { ... }  // 完全特化，仅适用于 int 参数

实战案例

让我们考虑一个计算矩形的面积的函数模板：

template<typename T>
T area(T length, T width) {
  return length * width;
}

但是，对于整型参数，我们希望优化性能：

template<>
int area(int length, int width) {
  return (length + width) / 2 * (length - width);
}

这个偏特化只适用于 int 参数。

另一方面，对于浮点数，我们可能需要考虑四舍五入行为。

template<>
float area(float length, float width) {
  return std::roundf(length * width);
}

这就是完全特化的用法。它完全取代了 float 参数版本的默认实现。