一、函数模板
1.什么是函数模板?
函数模板简单来说就是一个模板,与函数参数的类型无关,是一个模子,不是真正的函数,实例化的函数会根据实参的类型自动推导类型。
2.函数模板格式
template<typename T1,typename T2...>
返回值类型 函数名(参数列表)
{}
3.函数模板原理
函数模板是一个模板,并不是真正的函数,它是根据传递过来的实参的类型实例化一个具体的函数,相当于我们将重复的事情交给了编译器来操作。
比如说:
template<typename T>
T Add(const T& a1, const T& a2)
{
return a1 + a2;
}
int main()
{
int a = 10, b = 20;
double c = 3.14,d = 2.11;
cout << Add(a, b) << endl;
cout << Add(c, d) << endl;
return 0;
}
我们定义了一个加法函数的函数模板,来进行加法操作,函数模板会根据我们传递的实参的类型自动实例化出不同的Add函数,这些函数之间构成函数重载。
4.函数模板实例化
(1)隐式实例化
举一个简单的例子:
在我们定义的函数模板中,只给定一个模板参数类型,但是我们可能会有两个不同的实参类型。
template<typename T>
T Add(const T& a1, const T& a2)
{
return a1 + a2;
}
int main()
{
int a = 10;
double b = 20.3;
cout << Add(a, b) << endl;
return 0;
}
对于只有一个类型的函数模板,却同时出现了两种不同类型的实参,编译器就无法确认到底用哪个实参类型实例化了。
解决办法:
int main()
{
int a = 10;
double b = 20.3;
cout << Add((double)a, b) << endl;
cout << Add(a, (int)b) << endl;
//可能存在精度丢失的情况
return 0;
}
隐式类型转换,就可以解决编译器无法识别的情况。
(2)显示实例化
template<typename T>
T Add(const T& a1, const T& a2)
{
return a1 + a2;
}
int main()
{
int a = 10;
double b = 20.3;
cout << Add(a, b) << endl;
return 0;
}
对于这个案例,还有一种解决方案:
int main()
{
int a = 10;
double b = 20.3;
cout << Add<int>(a, b) << endl;
return 0;
}
这样的方法叫做显式实例化,实际生活中,我们很少会遇到需要显式实例化的情况,不过对于下面的情况,就必须要显式实力化。
template<class T>
T* Alloc(int n)
{
return new T[n];
}
int main()
{
Alloc<double>(10);
return 0;
}
在这样的情况下,我们没有使用函数模板类型,所以仅仅传递实参n无法推导T的类型,这种情况下必须要使用显式实例化。
二.类模板
1.类模板定义格式
template<class T1, class T2, ..., class Tn>
class 类模板名
{
// 类内成员定义
};
2.类模板的实例化
注意:
普通类的类型和类名相同
模板类的类型和类名不同
类模板实例化与函数模板实例化不同,类模板实例化需要在类模板名字后跟<>,然后将实例化的类型放在<>中即可。
类模板名字不是真正的类,而实例化的结果才是真正的类。
比如:
// string类名,string<int>才是类型
string<int> s1;
string<double> s2;
1.不管是类模板还是函数模板,其作用范围就是紧跟着的类/函数。
也就是看{}
2.类模板中函数放在类外进行定义时,需要加模板参数列表
比如:
template<typename T>
class Stack
{
public:
Stack(size_t capacity = 3);
void Push(const T& data);
// 其他方法...
~Stack()
{
if (_array)
{
delete[]_array;
_capacity = _size = 0;
}
}
private:
T* _array;
int _capacity;
int _size;
};
//缺省参数不能给在函数定义,只能在声明给缺省值
//模板的作用域就是专门给一个函数或者一个类用的
//可以看{}的作用范围是那里,模板的作用范围就是哪里。
template<typename T>
Stack<T>::Stack(size_t capacity)
{
_array = new T[capacity];
_capacity = capacity;
_size = 0;
}
template<typename T>
void Stack<T>::Push(const T& data)
{
// CheckCapacity();
_array[_size] = data;
_size++;
}
函数在类外面进行定义时,需要加类模板的参数列表。
注意:不建议模板实例化出来的函数的声明和定义分离。
注意:不建议模板实例化出来的函数的声明和定义分离。
注意:不建议模板实例化出来的函数的声明和定义分离。
上面的例子仅仅是为了演示。文章来源:https://www.toymoban.com/news/detail-471860.html
总结
本文讲述了函数模板和类模板的相关问题。文章来源地址https://www.toymoban.com/news/detail-471860.html
到了这里,关于【C++】什么是函数模板/类模板?的文章就介绍完了。如果您还想了解更多内容,请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章,希望大家以后多多支持TOY模板网!