C++模板的概念与定义语法
模板
程序 = 算法 + 数据结构
数据结构 ： 能够存储任意类型
算 法 ： 能够操作存储任意类型数据的数据结构
泛型编程 ：将【任意类型】从程序设计中抽象出来
编写与类型无关的通用代码，是代码复用的一种手段，而模板则是泛型编程的基础。
泛型编程并没有减少实际的代码量，只是把重复的代码交给机器自动生产，减少开发人员重复的工作量，极大的提高工作效率。
优势：
- 模板复用了代码，节省资源，更快的迭代开发，C++的标准模板库(STL)因此而产生
- 增强了代码的灵活性
劣势：
- 模板会导致代码膨胀问题，也会导致编译时间变长
- 出现模板编译错误时，错误信息非常凌乱，不易定位错误
| 泛型编程 | |
|---|---|
| 面向过程编程 | 用【模板】实现函数过程 |
| 面向对象编程 | 用【模板】实现类 |
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-f83rYJl1-1670571633063)(E:\Reborn\7.C++\泛型编程\png\1.png)]
template 等价于 template
typename
"typename"是一个C++程序设计语言中的关键字。当用于泛型编程时是另一术语"class"的同义词。这个关键字用于指出模板声明（或定义）中的非独立名称(dependent names)是类型名，而非变量名。
非独立名称就是有依赖关系的名称(个人理解)
typename关键字被引入的理念
在模板定义语法中关键字 class 与 typename 的作用完全一样
那class使用就够了，为什么又引入了新的关键词 typename ，关于这个问题，”Stan Lippman“ 曾在其博客中表示，最早 Stroustrup 使用 class 来声明模板参数列表中的类型是为了避免增加不必要的关键字；后来委员会认为这样混用可能造成概念上的混淆才加上了 typename 关键字。
作用
-
用于在模板参数列表中定义抽象出的数据类型
-
告诉 C++ 编译器，typename 后面的字符串为一个类型名称，而不是成员函数或者成员变量，这个时候如果前面没有 typename，编译器没有任何办法知道 T::type 是一个类型还是一个成员名称(静态数据成员或者静态函数)，所以编译不能够通过。
template // 作用一
void func(T p) {typename T::type it(); // 作用二
}// 同理 classtemplate
void func(T p) {class T::type it();
}