在C++中,函数模板(Function Template)是一种强大的特性,它允许程序员编写与类型无关的代码。通过函数模板,可以定义一个函数,该函数能够处理多种数据类型,而无需为每种数据类型都编写一个单独的函数。
函数模板的定义
函数模板的定义以template关键字开始,后面跟着一个尖括号(<和>)内的模板参数列表。模板参数列表可以包含一个或多个模板参数,每个参数前面都有一个类型参数(如typename T或class T,其中T是参数名)。
template <typename T>
T add(T a, T b) {
return a + b;
}
在这个例子中,add是一个函数模板,它接受两个相同类型的参数a和b,并返回它们的和。T是一个类型参数,它将在函数模板被实例化时由实际类型替换。
函数模板的使用
当调用一个函数模板时,编译器会根据提供的参数类型自动选择或生成一个该类型的函数实例。这个过程称为模板实例化(Template Instantiation)。
int main() {
int x = 5, y = 10;
double a = 2.5, b = 3.5;
// 编译器会为int类型实例化add模板
int sum1 = add(x, y); // sum1 = 15
// 编译器会为double类型实例化add模板
double sum2 = add(a, b); // sum2 = 6.0
return 0;
}
在这个例子中,当调用add(x, y)时,编译器会生成一个int类型的add函数实例。同样地,当调用add(a, b)时,会生成一个double类型的add函数实例。
注意事项:
- 函数模板的实例化是隐式的,除非显式地指定了模板参数(这称为显式模板实例化)。
- 当多个函数模板可以匹配给定的函数调用时,会发生模板重载解析(Template Overload Resolution),编译器会选择最匹配的模板进行实例化。
通过函数模板,C++程序员可以编写更加通用和可重用的代码,从而提高开发效率和代码质量。