📖 前言:模板的诞生增强了代码的灵活性,节省资源,更快的迭代开发, C++ 的标准模板库 (STL) 因此而产生。
目录
🕒 1. 泛型编程
我们思考一下,如何实现一个通用的交换函数呢?
首先想到的就是函数重载,即:
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;
}
......
事实上当然可以,然而函数重载却有几个不好的地方:
- 重载的函数仅仅是类型不同,代码复用率比较低,只要有新类型出现时,就需要用户自己增加对应的函数。
- 代码的可维护性比较低,一个出错可能所有的重载均出错
因此,为了防止并优化以上情况,我们引入了泛型的函数模板
泛型编程:编写与类型无关的通用代码,是代码复用的一种手段,模板是泛型编程的基础。
🕒 2. 函数模板
🕘 2.1 函数模板的概念
函数模板代表了一个函数家族,该函数模板与类型无关,在使用时被参数化,根据实参类型产生函数的特定类型版本。
因此,这里引入了一个新的关键字:template
template<typename T> // 写typename或者class都是一样的
void Swap(T& left, T& right)
{
T temp = left;
left = right;
right = temp;
}
int main()
{
int a = 1, b = 2;
Swap(a, b);
char x = 'a', y = 'b';
Swap(x, y);
return 0;
}
🕘 2.2 函数模板的原理
函数模板是一个蓝图,它本身并不是函数,是编译器用使用方式产生特定具体类型函数的模具。所以其实模板就是将本来应该我们做的重复的事情交给了编译器。
在编译器编译阶段,对于模板函数的使用,编译器需要根据传入的实参类型来推演生成对应类型的函数以供调用。比如:当用double类型使用函数模板时,编译器通过对实参类型的推演,将T确定为double类型,然后产生一份专门处理double类型的代码,对于字符类型也是如此。
那么对于相同类型的参数,会不会重新建立栈帧呢?
答案是不会。
参数类型不同的模板调用能编译吗?
template<typename T>
void Swap(T& left, T& right)
{
T temp = left;
left = right;
right = temp;
}
int main()
{
int a = 1;
double x = 2.1;
Swap(a, x); // 报错
return 0;
}
不同类型的参数,我们在调用函数之前就会出错,因此不存在隐式类型转换这一步骤,因为调用之前函数模板会根据传进去的参数进行推演函数,但对于传入不同类型的参数,由于模板中的两个参数类型相同,在推演的过程中就会出错。即便不需要推演,直接调用:void Swap(int& left, int& right)
同样会出错,因为x类型不匹配,因此会发生隐式类型转换,但由于隐式类型转换的变量具有常性,也就是const int
类型,传入就会涉及权限的放大,故即便不经过推演也会出错。
那么我们可以怎样解决这个问题呢?
🕤 2.2.1 函数模板的实例化
- 自动推演实例化: 我们在推演之前将原本的类型进行了强制类型转换,这样类型就会统一,虽然隐式类型转换的变量具有常性,但函数模板的参数也是const类型的,因此这种方式可以解决。
- 显示实例化: 在调用函数的时候,我们发现其中已经指定了T的类型,这就代表着指定了这个函数模板的类型,因此会省去推演的步骤,在传参的过程中就会强转临时变量,这与上述一样是可以的。
template<class T>
T Add(const T& left, const T& right) // const修饰可以进行隐式类型转换
{
return left + right;
}
int main()
{
int a1 = 10, a2 = 20;
double d1 = 10.1, d2 = 20.2;
//自动推演实例化
cout << Add((double)a1, d2) << endl; // 输出:30.2
cout << Add(a1, (int)d2) << endl; // 输出:30
//显示实例化,不推演
cout << Add<double>(a1, d2) << endl;
cout << Add<int>(a1, d2) << endl;
return 0;
}
🕤 2.2.2 模板参数数量改变
经过上面的举例,我们发现在调用函数时稍加改动才可以进行编译,这都是因为函数模板中参数类型一致造成的,因此在这里我们采用将参数类型隔离开:
template<class T1, class T2>
T1 Add(const T1& left, const T2& right)
{
return left + right;
}
int main()
{
int a1 = 10, a2 = 20;
double d1 = 10.1, d2 = 20.2;
cout << Add(a1, a2) << endl;
cout << Add(d1, d2) << endl;
cout << Add(a1, d2) << endl;
cout << Add(a1, d2) << endl;
return 0;
}
🕘 2.3 模板参数的匹配原则
//专门处理int的加法函数
int Add(int x, int y) // _Z3Addii
{
return x + y;
}
//通用加法函数
template<class T>
T Add(T left, T right) // _Z3TAddii
{
return left + right;
}
int main()
{
int a = 1, b = 2;
cout << Add(a, b) << endl; // 调用第一个函数
cout << Add<int>(a, b) << endl; // 实例化指定调用模板函数
return 0;
}
- 一个非模板函数可以和一个同名的函数模板同时存在,而且该函数模板还可以被实例化为这个非模板函数。
- 对于非模板函数和同名函数模板,如果其他条件都相同,在调动时会优先调用非模板函数而不会从该模板产生出一个实例。如果模板可以产生一个具有更好匹配的函数, 那么将选择模板。
- 模板函数不允许自动类型转换,但普通函数可以进行自动类型转换。
🕒 3. 类模板
对于类来说,我们拿Stack类举例,其存储内容的内部成员的类型可以是int可以是double,我们可以根据需求将其typedef 类型STDatatype
,但如果这样的话,我们要是想同时用一个栈存储int变量,另一个栈存储double变量,这就需要重新建立另一个类,即前者类为StackInt,后者命名为StackDouble,但是这样会造成不小的负担,因此我们引入类模板。
🕘 3.1 类模板的定义格式
类模板实例化与函数模板实例化不同,类模板实例化需要在类模板名字后跟<>,然后将实例化的类型放在<>中即可,类模板名字不是真正的类,而实例化的结果才是真正的类。
template<typename T>
class Stack //注:此Stack类并不完美,仅演示
{
public:
Stack(int capacity = 4)
{
cout << "Stack(int capacity = )" <<capacity<<endl;
_a = (T*)malloc(sizeof(T)*capacity);
if (_a == nullptr)
{
perror("malloc fail");
exit(-1);
}
_top = 0;
_capacity = capacity;
}
void Push(const T& x) //对于这里引用来说,是最好的,因为如果x本身是类,传值就会调用拷贝构造,传引用有效的避免了这种情况
{
// ....
// 扩容
_a[_top++] = x;
}
private:
T* _a;
int _top;
int _capacity;
};
int main()
{
// 类模板一般没有推演时机,函数模板实参传递形参,推演模板函数
// 显示实例化
Stack<int> st1;
st1.Push(1);
Stack<double> st2;
st2.Push(2.1);
return 0;
}
🕘 3.2 类模板的示例array
#define N 10
template<class T>
class array // 注意命名会和库里的冲突
{
public://通过inline可以减少栈帧的损失
inline T& operator[](size_t i)//传引用的优势在这里体现,可以修改
{
assert(i < N);//强制检查越界
return _a[i];
}
private:
T _a[N];
};
int main()
{
array<int> a1;
for (size_t i = 0; i < N; i++)
{
a1[i] = i;
//等价于 a1.operator[](i) = i;
}
for (size_t i = 0; i < N; i++)
{
//a1.operator[](i)
cout << a1[i] << " ";
}
cout << endl;
for (size_t i = 0; i < N; ++i)
{
a1[i]++;
}
for (size_t i = 0; i < N; i++)
{
//a1.operator[](i)
cout << a1[i] << " ";
}
return 0;
}
对于此array(静态数组)类,我们可以从中看出其与正常定义数组的优势,对于正常定义的数组,越界访问或许检查不到错误,比如越界读,但对于我们自定义的类来说,通过assert(i<N)
的强制检查,就可以有效的避免这个问题。
OK,以上就是本期知识点“模板初阶”的知识啦~~ ,感谢友友们的阅读。后续还会继续更新,欢迎持续关注哟📌~
💫如果有错误❌,欢迎批评指正呀👀~让我们一起相互进步🚀
🎉如果觉得收获满满,可以点点赞👍支持一下哟~