C++模板编程是C++区别于其他很多编程语言的重要特性，它允许开发者编写与类型无关的通用代码，同时还能在编译阶段完成很多逻辑处理，既提升了代码的复用性，也减少了运行时的性能开销。很多开发者日常使用模板大多是在接触标准库的容器和算法时，实际上模板编程的应用范围非常广泛，能实现很多常规编码方式难以完成的功能。
C++模板编程的基础应用
最基础的模板应用是泛型函数和泛型类，通过模板参数让同一份逻辑可以适配不同的数据类型，不需要为每种类型重复编写相同的代码。比如我们可以编写一个通用的加法函数，支持所有支持加法运算符的类型。
#include <iostream>
// 泛型加法函数模板
template <typename T>
T add(T a, T b) {
return a + b;
}
int main() {
int intResult = add(1, 2);
double doubleResult = add(3.5, 4.2);
std::cout << "int result: " << intResult << std::endl;
std::cout << "double result: " << doubleResult << std::endl;
return 0;
}
除了函数模板，类模板也非常常用，比如标准库中的std::vector就是典型的类模板，我们可以指定存储的元素类型来实例化不同的容器对象。
模板特化与偏特化
模板特化允许我们为特定的类型提供特殊的实现逻辑，当模板参数匹配到特化的类型时，编译器会优先使用特化版本的实现。比如我们想为指针类型单独处理加法逻辑，就可以使用模板特化。
#include <iostream>
// 基础模板
template <typename T>
T add(T a, T b) {
return a + b;
}
// 针对指针类型的特化模板
template <>
int* add<int*>(int* a, int* b) {
static int temp = 0;
temp = *a + *b;
return &temp;
}
int main() {
int x = 10, y = 20;
int* result = add(&x, &y);
std::cout << "pointer add result: " << *result << std::endl;
return 0;
}
偏特化则是针对模板参数的一部分进行特殊化处理，比如我们有一个模板类有两个类型参数，想要对其中一个参数为特定类型的情况做特殊处理，就可以使用偏特化。
可变参数模板
C++11引入的可变参数模板让模板可以接收任意数量和类型的参数，这为实现一些灵活的功能提供了可能，比如可以编写一个打印任意数量参数的函数。
#include <iostream>
// 递归终止函数
void print() {}
// 可变参数模板函数
template <typename T, typename... Args>
void print(T first, Args... rest) {
std::cout << first << " ";
print(rest...);
}
int main() {
print(1, 2.5, "hello", 'a');
return 0;
}
可变参数模板在很多场景下都非常实用，比如标准库中的std::tuple就是基于可变参数模板实现的，可以存储任意数量和类型的元素。
模板元编程实现编译期计算
模板元编程是利用模板在编译阶段完成逻辑计算的技术，计算的结果会在编译期确定，不会占用运行时的资源。最常见的例子是编译期计算斐波那契数列。
#include <iostream>
// 模板元编程计算斐波那契数列
template <int N>
struct Fibonacci {
static const int value = Fibonacci<N-1>::value + Fibonacci<N-2>::value;
};
// 模板特化终止递归
template <>
struct Fibonacci<1> {
static const int value = 1;
};
template <>
struct Fibonacci<0> {
static const int value = 0;
};
int main() {
std::cout << "Fibonacci(10) = " << Fibonacci<10>::value << std::endl;
return 0;
}
上面的代码中，斐波那契数列的计算全部在编译阶段完成，运行时直接使用计算好的结果，提升了程序的运行效率。模板元编程还可以实现类型判断、类型转换等编译期类型处理逻辑，是很多高级库的核心实现方式。
模板编程的注意事项
虽然模板编程功能强大，但使用时也需要注意一些问题。首先模板的代码通常写在头文件中，因为编译器需要在实例化模板时看到完整的模板定义，这会导致头文件的体积变大。其次模板的报错信息通常比较复杂，尤其是嵌套层次较深的模板代码，出错时定位问题会比较困难。另外过度使用模板元编程会让代码可读性下降，增加后续维护的成本，需要根据实际场景合理选择使用。