C++中的模板特化和偏特化是模板编程中的重要概念，它们允许程序员为特定类型或条件提供更具体的实现。
模板特化
模板特化是指为特定类型提供一个明确的实现，从而覆盖普通模板的通用实现。这通常在模板类或函数对某个特定类型的处理方式需要不同于一般类型时使用。
完全特化
完全特化是指模板的所有参数都被固定为具体类型。
语法：
template <typename T>
class MyClass {
public:
void func() {
// 默认实现
}
};
// 完全特化
template <>
class MyClass<int> {
public:
void func() {
// 针对 int 的特化实现
}
};示例：
#include <iostream>
// 通用模板
template <typename T>
class Printer {
public:
void print(T value) {
std::cout << "Value: " << value << std::endl;
}
};
// 对 int 类型的完全特化
template <>
class Printer<int> {
public:
void print(int value) {
std::cout << "Integer: " << value << std::endl;
}
};
int main() {
Printer<double> p1;
p1.print(5.5); // 输出: Value: 5.5
Printer<int> p2;
p2.print(5); // 输出: Integer: 5
return 0;
}
输出：
Value: 5.5
Integer: 5在这个例子中，Printer<int> 是对 Printer<T> 的完全特化，用于处理 int 类型。
偏特化
模板偏特化是指只针对模板的某些参数进行特化，而其他参数保持为模板类型。这通常用于处理有多个参数的模板类更多样化和灵活性。
语法：
template <typename T, typename U>
class MyClass {
public:
void func() {
// 默认实现
}
};
// 偏特化
template <typename T>
class MyClass<T, int> {
public:
void func() {
// 针对第二个参数为 int 的特化实现
}
};示例:
#include <iostream>
// 通用模板
template <typename T, typename U>
class Pair {
public:
void show() {
std::cout << "Generic Pair" << std::endl;
}
};
// 对第二个参数为 int 的偏特化
template <typename T>
class Pair<T, int> {
public:
void show() {
std::cout << "Pair with second type as int" << std::endl;
}
};
int main() {
Pair<double, double> p1;
p1.show(); // 输出: Generic Pair
Pair<double, int> p2;
p2.show(); // 输出: Pair with second type as int
return 0;
}
//输出：
Generic Pair
Pair with second type as int在这个例子中，Pair<T, int> 是对 Pair<T, U> 的偏特化，仅当第二个模板参数为 int 时使用。
范围特化
在 C++ 中，“范围特化”（通常被称为“部分特化”或“范围特化”）并不是一个官方术语，它通常指的是通过对模板参数使用某种范围条件、特定类型或组合条件来定义特化模板。这有点类似于部分特化，但更具体于使用特定的特化条件。
数字范围特化
假设我们希望实现一个函数模板，可以处理不同的数值类型并对其范围进行特化。
#include <iostream>
#include <type_traits>
// 通用模板
template <typename T>
void display(T value) {
std::cout << "Generic value: " << value << std::endl;
}
// 特化：当 T 是整数类型
template <typename T>
void display(T value) {
static_assert(std::is_integral<T>::value, "Only integral types are allowed.");
std::cout << "Integer value: " << value << std::endl;
}
// 特化：当 T 是浮点类型
template <typename T>
void display(T value) {
static_assert(std::is_floating_point<T>::value, "Only floating point types are allowed.");
std::cout << "Float value: " << value << std::endl;
}
int main() {
display(10); // 输出: Integer value: 10
display(3.14); // 输出: Float value: 3.14
// display("Hello"); // 会导致编译错误
return 0;
}在这个例子中，使用 std::is_integral 和 std::is_floating_point 检查类型的范围，并为不同的数据类型提供不同的实现。
模板部分特化
#include <iostream>
// 通用模板类
template <typename T, typename U>
class Pair {
public:
void show() {
std::cout << "Generic Pair" << std::endl;
}
};
// 偏特化：当第二个参数是 int
template <typename T>
class Pair<T, int> {
public:
void show() {
std::cout << "Pair with second type as int" << std::endl;
}
};
// 偏特化：当第二个参数是 double
template <typename T>
class Pair<T, double> {
public:
void show() {
std::cout << "Pair with second type as double" << std::endl;
}
};
int main() {
Pair<double, int> p1;
p1.show(); // 输出: Pair with second type as int
Pair<int, double> p2;
p2.show(); // 输出: Pair with second type as double
Pair<int, int> p3;
p3.show(); // 输出: Generic Pair
return 0;
}在这个例子中，根据第二个模板参数的类型（int 和 double），对 Pair 类进行了特化。
