C++模板(Templates)是一种非常强大的特性,它允许函数和类以参数化的方式进行定义,从而能够在编译时根据实际参数生成具体的类型或函数。模板主要分为两种:函数模板和类模板。下面是详细介绍和示例:
函数模板
函数模板允许你编写独立于特定类型的函数,模板参数会在调用函数时由编译器推导。
示例
#include <iostream>
using namespace std;
// 函数模板
template <typename T>
T add(T a, T b) {
return a + b;
}
int main() {
cout << add<int>(3, 4) << endl; // 使用 int 类型实例化模板
cout << add<double>(3.1, 4.2) << endl; // 使用 double 类型实例化模板
cout << add(3, 4) << endl; // 自动推导类型,int
cout << add(3.1, 4.2) << endl; // 自动推导类型,double
return 0;
}
类模板
类模板允许你编写独立于特定类型的类,模板参数会在实例化类时由编译器推导。
示例
#include <iostream>
using namespace std;
// 类模板
template <typename T>
class Box {
private:
T content;
public:
Box(T c) : content(c) {}
void setContent(T c) { content = c; }
T getContent() { return content; }
};
int main() {
Box<int> intBox(123); // 使用 int 类型实例化模板
Box<string> strBox("Hello"); // 使用 string 类型实例化模板
cout << intBox.getContent() << endl;
cout << strBox.getContent() << endl;
intBox.setContent(456);
strBox.setContent("World");
cout << intBox.getContent() << endl;
cout << strBox.getContent() << endl;
return 0;
}
非类型模板参数
模板还可以接受非类型参数,例如整数常量、指针、引用等。
示例
#include <iostream>
using namespace std;
// 非类型模板参数
template <typename T, int size>
class Array {
private:
T arr[size];
public:
void set(int index, T value) { arr[index] = value; }
T get(int index) { return arr[index]; }
};
int main() {
Array<int, 5> intArray;
for (int i = 0; i < 5; ++i) {
intArray.set(i, i * 2);
}
for (int i = 0; i < 5; ++i) {
cout << intArray.get(i) << " ";
}
cout << endl;
return 0;
}
模板的特化
模板特化允许你为特定类型或特定条件提供自定义实现。
完全特化
完全特化是为特定类型提供自定义实现。
#include <iostream>
using namespace std;
template <typename T>
class Calculator {
public:
static T add(T a, T b) { return a + b; }
};
// 为 int 类型特化
template <>
class Calculator<int> {
public:
static int add(int a, int b) {
cout << "Adding integers: ";
return a + b;
}
};
int main() {
cout << Calculator<double>::add(1.1, 2.2) << endl;
cout << Calculator<int>::add(3, 4) << endl;
return 0;
}
部分特化
部分特化允许你为某些模板参数提供自定义实现。
**#include <iostream>
using namespace std;
template <typename T, typename U>
class Pair {
public:
T first;
U second;
Pair(T f, U s) : first(f), second(s) {}
};
// 部分特化,当两个类型相同时
template <typename T>
class Pair<T, T> {
public:
T first;
T second;
Pair(T f, T s) : first(f), second(s) {}
};
int main() {
Pair<int, double> p1(1, 2.2);
cout << p1.first << ", " << p1.second << endl;
Pair<int, int> p2(3, 4);
cout << p2.first << ", " << p2.second << endl;
return 0;
}**
模板的优点
- 代码复用:模板允许编写通用代码,提高代码复用性。
- 类型安全:模板在编译时进行类型检查,确保类型安全。
- 性能:模板在编译时实例化,没有运行时开销。
模板的缺点
- 编译时间长:模板代码的编译时间可能较长,因为编译器需要为每个实例生成代码。
- 错误信息复杂:模板相关的编译错误信息可能较难理解。
- 代码膨胀:过度使用模板可能导致生成的二进制代码膨胀。
通过使用模板,可以编写更加通用和高效的代码,但也需要注意其潜在的问题和局限。