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; }

---

总结

1. 模板特化：针对特定类型提供完全定制的实现。
2. 模板偏特化：为模板参数的某些模式定制部分实现，仅适用于类模板。
3. 函数模板通过显式特化或函数重载实现类似偏特化行为。
4. 在现代 C++ 中，SFINAE 和 std::enable_if 提供了更多灵活性以实现模板行为定制。