C++string模板初阶_string 函数模板-优快云博客

本文链接：https://blog.youkuaiyun.com/qizhihao123/article/details/123591075

本文介绍了C++中的泛型编程，通过函数模板和类模板实现代码复用。函数模板允许创建一组通用的函数，根据传入参数类型自动生成具体函数。类模板则用于创建可应用于多种数据类型的类。文章详细讲解了函数模板的隐式实例化和显式实例化，并举例说明了类模板的定义与实例化过程。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

1.泛型编程

在使用函数交换时我们通常会定义很多像加法，减法的函数，如果类型不同的话我们还需要更改类型，这样需要定义好多函数，但是在c++中有一个非常简便的方式，那就是泛型编程。所谓泛型编程就像是制造一个模具来让里面生成各种类型的函数。依次达到高效的目的。

2.函数模板

2.1函数模板概念

函数模板代表了一个函数家族，该函数模板与类型无关，在使用时被参数化，根据实参类型产生函数的特定 类型版本。

2.2函数模板格式

template<typename T1, typename T2,......,typename Tn>

返回值类型函数名 ( 参数列表 ){}

template<class T>
void Swap( T& left, T& right) {
 T temp = left;
 left = right;
 right = temp; }

2.3函数的隐式实例化和显式实例化

2.3.1隐式实例化

template<class T>
T Add(const T& left, const T& right)
{
	return left + right;
}
int main()
{
	int a1 = 10, a2 = 20;
	double d1 = 10.0, d2 = 20.0;
	Add(a1, a2);
	Add(d1, d2);
	Add(a1, d2);
    //这个类型是不支持的，因为编译器是判别不了要将参数是改为int或者double
    
    Add(a1,(int)d2);
    //这个解决办法是可以的用户给参数更改类型，这样成为隐式实例化
    return 0;
}

2.3.2显式实例化

int main(void) {
 int a = 10;
 double b = 20.0;
 
 // 显式实例化
 Add<int>(a, b);
 return 0; }

如果类型不匹配，编译器会尝试进行隐式类型转换，如果无法成功转换编译器将会报错。

3.类模板

3.1类模板的定义格式

template<class T1, class T2, ..., class Tn>
class 类模板名
{
 // 类内成员定义
};

3.2类模板的实例化

类模板实例化与函数模板实例化不同， 类模板实例化需要在类模板名字后跟 <> ，然后将实例化的类型放在 <> 中即可，类模板名字不是真正的类，而实例化的结果才是真正的类 。

// Vector类名，Vector<int>才是类型
Vector<int> s1;
Vector<double> s2;