泛型和模板化编程都是 c++ 中提高代码可重用性和类型安全性的机制。泛型在编译时进行类型检查，允许使用不同类型的数据，而模板化编程在实例化时进行编译，需要为每个类型单独实例化。尽管它们有相似之处，但模板化编程的编译时间开销更高，泛型函数或类则更容易用于其他类型。两种机制都能提高代码的可重用性和类型安全性。
模板化编程与泛型的区别和联系
简介
模板化编程和泛型是 C++ 中用于编写可重用、类型安全的代码的两种机制。虽然它们有相似之处，但它们也有关键的区别。
泛型
- 定义：泛型允许编写可用于不同数据类型的代码。
-
语法：使用
<T>或class T表示类型参数。例如：
template<typename T>
void printElement(T element) {
cout << element << endl;
}- 使用：泛型函数或类可以被用于任何匹配类型参数的数据类型。
模板化编程
- 定义：模板化编程允许创建代码模板，可以在编译时生成特定于类型的实例。
-
语法：使用
template关键字创建模板，并使用typename表示模板参数类型。例如：
template<typename T>
class MyArray {
T data[];
};- 使用：模板化类或函数可以通过传入要生成的类型来实例化。
区别
- 编译时间：泛型是在编译时进行类型检查，而模板化编程则是在实例化时进行编译。
- 类型参数：泛型类型参数可以是任何类型，而模板化编程参数只能是编译期间可用的类型。
- 可扩展性：泛型函数或类可以很容易地用于其他类型，而模板化编程代码需要为每个类型单独实例化。
- 效率：模板化编程的编译时间开销比泛型更高。
联系
- 目的是共同的：两种机制都旨在提高代码的可重用性和类型安全性。
- 相互依赖：许多模板化编程技术依赖于泛型来执行类型检查。
实战案例
泛型：使用泛型函数比较两个值：
bool compare(T a, T b) {
return a == b;
}模板化编程：使用模板化类实现大小可变数组：
class DynamicArray {
T* data;
size_t size;
public:
DynamicArray(size_t size) : data(new T[size]), size(size) {}
}; 
