C/C++基础知识复习（28）

1. 什么是模板特化和偏特化？

在 C++ 中，模板特化和偏特化是两种针对模板类型的高级用法，用于在某些特定情况下对模板的行为进行特殊处理。

模板特化（Full Specialization）

模板特化是对模板的某个具体类型提供专门的实现。这种特化完全替代了泛型模板的实现，适用于特定的类型。

模板偏特化（Partial Specialization）

模板偏特化是为一类特定的模板参数提供部分特定的实现，而不是对某个特定类型进行完全特化。偏特化只适用于类模板，而函数模板不能偏特化。

2. 如何进行模板特化和偏特化？

模板特化

语法：对泛型模板进行全特化，提供专门的实现。

#include <iostream> 
using namespace std; 
// 通用模板 
template <typename T> class Example { 
public: void display() {cout << "Generic template\n"; 
} 
}; // 对 `int` 类型进行特化 template <> class Example<int> {public: void display() {cout << "Specialized template for int\n"; 
} }; 
int main() { 
Example<double> e1; 
// 使用通用模板 
e1.display(); 
// 输出: Generic template Example<int> e2; 
// 使用特化版本 e2.display(); 
// 输出: Specialized template for int return 0; 
}

注意：

模板特化需要明确指定参数类型，如 Example<int>。
通用模板仍适用于未特化的其他类型。

模板偏特化

模板偏特化允许我们为模板的某些类型模式提供特定实现。只能用于类模板。

语法：对模板的部分参数或模式进行特定处理。

#include <iostream> using namespace std; 
// 通用模板 template <typename T1, typename T2> class Example {public: void display() {cout << "Generic template with two types\n";
} 
}; 
// 偏特化：当两个参数是相同类型时的特殊实现 
template <typename T> class Example<T, T> {public: void display() {cout << "Partial specialization for same types\n"; 
}}; // 偏特化：第一个参数是 `int` 时的特殊实现 template <typename T> class Example<int, T> { public: void display() {cout << "Partial specialization with int as the first parameter\n"; 
} 
}; 
int main() {Example<double, double> e1; // 偏特化（两个相同类型） 
e1.display(); // 输出: Partial specialization for same types Example<int, double> e2; 
// 偏特化（第一个是 int）e2.display(); 
// 输出: Partial specialization with int as the first parameter Example<float, double> e3; 
// 通用模板e3.display(); 
// 输出: Generic template with two types return 0; 
}

注意：

偏特化的匹配优先级高于通用模板，但低于完全特化。
偏特化只能在类模板中实现，函数模板不支持偏特化。

额外知识点

函数模板特化

函数模板没有偏特化，但可以通过函数重载和显式特化实现类似效果。

显式特化：

#include <iostream>using namespace std; 
// 通用函数模板 
template <typename T> void display(T val) {cout << "Generic function: " << val << endl; 
} // 特化：专门为 `int` 类型实现 
template <> void display(int val) {cout << "Specialized function for int: " << val << endl; 
} 
int main() {display(42); 
// 输出: Specialized function for int: 42 display(3.14); 
// 输出: Generic function: 3.14 return 0; 
}

偏特化与 `std::enable_if`

现代 C++ 中，可以通过 SFINAE（如 std::enable_if）替代部分偏特化的需求。例如，针对某些类型条件定制模板行为。

#include <iostream> 
#include <type_traits> using namespace std; 
// 通用模板 
template <typename T, typename Enable = void> class Example {public: void display() 
{ 
cout << "Generic template\n";} 
}; 
// 偏特化：当 T 是整数类型时启用 
template <typename T> class Example<T, typename enable_if<is_integral<T>::value>::type> 
{public: void display() 
{ 
cout << "Specialized for integral types\n"; 
} 
}; 
int main() {Example<int> e1; 
// 匹配整数类型 e1.display(); 
// 输出: Specialized for integral types Example<double> e2; 
// 匹配通用模板 e2.display(); 
// 输出: Generic template return 0; }