泛型编程
C++支持的泛型编程(Generic Programming)是一种编程范式,它允许在编写代码时使用抽象的数据类型,而不是具体的数据类型。这使得代码更加灵活、可重用,并能适应不同的数据类型,而无需为每种数据类型编写单独的代码。
泛型编程的主要特点包括:
- 类型参数化:通过使用类型参数,可以编写适用于各种数据类型的代码,而无需显式指定具体的类型。
- 代码重用:泛型允许编写一次代码,并在不同的上下文中重复使用,从而提高了代码的可重用性和可维护性。
- 类型安全:泛型在编译时进行类型检查,确保类型的正确性,减少了运行时错误的可能性。
- 性能优化:泛型代码在编译时会进行类型擦除或者代码专门化,生成针对具体类型优化的代码,从而获得更好的性能。
下面举几个交换函数的例子:
void Swap(int& left, int& right)
{
int temp = left;
left = right;
right = temp;
}
void Swap(double& left, double& right)
{
double temp = left;
left = right;
right = temp;
}
void Swap(char& left, char& right)
{
char temp = left;
left = right;
right = temp;
}
这几个Swap要实现的功能都是一样的,即交换两个数的值,但如果我们不使用函数重载或者是函数模板,代码量就会增加很多,但我们一般会用用函数模板。
这是因为使用函数重载虽然可以实现,但是有一下几个不好的地方:
- 重载的函数仅仅是类型不同,代码复用率比较低,只要有新类型出现时,就需要用户自己增加对应的函数
- 代码的可维护性比较低,一个出错可能所有的重载均出错
下面要说到的模板就是泛型编程的基础
模板简介
C++ 模板(Template)是 C++ 语言提供的一种泛型编程机制,允许编写独立于具体数据类型的代码。模板可以用于函数和类,分别称为函数模板和类模板。
一. 函数模板
函数模板允许定义一个通用的函数,该函数可以适用于不同的数据类型,而无需为每种类型编写单独的函数。函数模板使用类型参数来表示通用的数据类型。
函数模板是一个蓝图,它本身并不是函数,是编译器用使用方式产生特定具体类型函数的模具。所以其实模板就是将本来应该我们做的重复的事情交给了编译器。
它的格式如下:
template<typename T1, typename T2,......,typename Tn>
返回值类型 函数名(参数列表){}
比如上面提到的交换函数:
template<typename T>
void Swap(T& left, T& right)
{
T temp = left;
left = right;
right = temp;
}
➡️注意:typename 是用来定义模板参数关键字,也可以使用 class(切记:不能使用struct代替class)
1. 函数模板的实例化
函数模板的实例化是指根据实际的函数调用,编译器自动生成具体类型的函数定义的过程。当使用函数模板时,编译器会根据传入的实参类型,自动推导模板参数的实际类型,并生成对应的函数定义。
函数模板实例化的过程如下:
- 定义函数模板:使用template关键字定义一个通用的函数模板,其中使用一个或多个类型参数作为占位符。
- 调用函数模板:在代码中调用函数模板,并传入具体的实参。
- 编译器推导模板参数:编译器根据传入的实参类型,自动推导出模板参数的实际类型。
- 生成具体函数定义:编译器根据推导出的实际类型,生成对应的函数定义,即将模板参数替换为实际类型。
- 编译和链接:编译器将生成的具体函数定义编译为目标代码,并与其他代码一起链接生成可执行文件。
模板参数实例化分为:隐式实例化和显式实例化。
Ⅰ. 隐式实例化
让编译器根据实参推演模板参数的实际类型
template <typename T>
void print(T value) {
cout << value << endl;
}
int main() {
int num = 42;
double pi = 3.14;
print(num); // 编译器根据 num 的类型 int 自动生成 print<int>(int) 的函数定义
print(pi); // 编译器根据 pi 的类型 double 生成 print<double>(double) 的函数定义。
return 0;
}
Ⅱ. 显式实例化
在函数名后的 <> 中指定模板参数的实际类型
template <typename T>
void print(T value) {
cout << value << endl;
}
int main() {
int num = 42;
double pi = 3.14;
print<int>(num);
print<double>(pi);
return 0;
}
需要注意的是:如果类型不匹配,编译器会尝试进行隐式类型转换,如果无法转换成功编译器将会报错。
2. 函数模板与普通函数的调用/匹配规则
有以下几点:
- 如果函数模板和普通函数都可以调用,会优先调用普通函数
- 通过空模板参数列表可以强制调用函数模板
// 专门处理int的加法函数
int Add(int left, int right)
{
return left + right;
}
// 通用加法函数
template<class T>
T Add(T left, T right)
{
return left + right;
}
void Test()
{
Add(1, 2); // 与非模板函数匹配,编译器不需要特化
Add<>(1, 2); // 调用编译器特化的Add版本
}
3. 函数模板也可以发生函数重载
4. 如果函数模板可以产生更好的匹配,会优先调用函数模板
👉所以说,提供了函数模板时,最好不要再提供普通函数。
二. 类模板
类模板允许程序员编写通用的类定义。通过使用类模板,可以创建适用于多种数据类型的类,而无需为每种数据类型编写单独的类定义。
类模板的主要特点包括:
- 参数化类型:类模板可以接受一个或多个类型参数,这些参数在类定义中用作占位符。在实例化类模板时,需要提供具体的类型参数。
- 代码重用:通过使用类模板,可以编写适用于各种数据类型的通用代码,避免了代码重复。
- 编译时多态:类模板在编译时进行实例化,根据提供的类型参数生成具体的类定义。这种多态性在编译时确定,不会带来运行时开销。
它的格式如下:
template<class T1, class T2, ..., class Tn>
class 类模板名
{
// 类内成员定义
};
下面是一个简单的示例:
template <class T>
class Stack { // Stack 是一个类模板,接受一个类型参数 T
private: // 通过使用 T 作为数据类型,Stack 类模板可以适用于各种数据类型,如 int 等
T* data;
int size;
int capacity;
public:
Stack(int cap = 10) : data(new T[cap]), size(0), capacity(cap) {}
// 析构
~Stack() {
delete[] data;
}
// 插入
void push(const T& item) {
if (size == capacity) {
// 扩容操作
}
data[size++] = item;
}
T pop() {
if (size == 0) {
// 处理栈为空的情况
}
return data[--size];
}
// 其他成员函数...
};
类模板的实例化
类模板实例化与函数模板实例化不同,类模板实例化需要在类模板名字后跟<>,然后将实例化的类型放在<>中即可,类模板名字不是真正的类,而实例化的结果才是真正的类。
Stack<int> intStack;
Stack<double> doubleStack;
Stack<std::string> stringStack;