函数模板: 函数模板是通用的函数描述, 它们使用泛型来定义函数, 其中的泛型可以用于具体的类型替换, 通过将类型作为参数传递给模板, 可以使得编译器生成该类型的函数.
以两个数的加法为例子
template
T func(T a, T b)
{
T temp;
temp = a + b;
return temp;
}
函数模板在调用的时候, 编译器会根据你传入的实际类型推断模板参数类型, 这个过程是在编译期间完成的.当编译器无法推断出实际类型, 需要我们手动的传入类型.
int res = func(12, 13);
当使用具体类型传入参数的时候, 函数模板会生成这个类型特定的函数
int func(int a, int b)
{
int temp;
temp = a + b;
return temp;
}
在模板参数列表里面可以定义非类型参数, 但非类型参数必须是一个常量,模板的实例化是在编译期间执行的.
template
int func1()
{
return a + b;
}
cout << func1<1, 2>() << endl;
非类型模板参数必须要在编译期间确定
int x;
cout << func1() << endl; // 参数必须在编译的时候确定
带有模板参数, 需要我们传递类型.
template
int func2(T c)
{
return (int) c + a + b;
}
cout << func2(3) << endl;
类模板通常用来实例化一个特定的类,类模板与函数模板类似, 但类模板必须提供参数类型(函数模板可以自动推断, 但如果推断不出, 要手动提供)
template
class ....
在类模板里面, 成员函数要以template
template
class Stack
{
private:
T x;
public:
Stack();
}
template
Stack::Stack()
{
}