1.函数模板

1.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;
}

1.2函数模板的格式

template<typename T1, typename T2,…,typename Tn>
返回值类型 函数名(参数列表){}

template<typename T>
//也可写成:template<class T>
void Swap( T&amp; left, T&amp; right)
{
	T temp = left;
	left = right;
	right = temp;
}

1.3函数模板的原理

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

	int main()
	{
		int a = 1;
		int b = 2;
		double c = 1.1;
		double d = 2.2;

		Swap(a, b);
		Swap(c, d);
		return 0;
	}

1.4函数模板的实例

  1. 隐式实例化:让编译器根据实参推演模板参数的实际类型
    上面的Swap(a, b)就是隐式实例化,模板自动推导出a,b的类型为int。
    那么如果是这样的代码呢?
template <class T>
void Swap(T&amp; left, T&amp; right)
{
	T tmp = left;
	left = right;
	right = tmp;
}

int main()
{
	int a = 1;
	double d = 2.2;

	Swap(a, d);
	return 0;
}

此时a的类型是int,d的类型是double这个时候模板就推到不出来是什么的类型了。
这个时候就要用到显式实例化。

  1. 显式实例化:在函数名后的<>中指定模板参数的实际类型
template < class T>
void Swap(T&amp; left, T&amp; right)
{
   T tmp = left;
   left = right;
   right = tmp;
}

int main()
{
   int a = 1;
   double d = 2.2;

   Swap<int>(a, d);//显式实例化
   return 0;
}

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

有些情况是必须要使用显式实例化的:

template <class T>
T* fun(int n)
{
	T* ret = new T[n];
	return ret;
}

int main()
{
	fun<int>(10);//这里必须显式实例化
	return 0;
}

1.5模板参数的匹配原则

  1. 一个非模板函数可以和一个同名的函数模板同时存在,而且该函数模板还可以被实例化为这个非模板函数
  2. 对于非模板函数和同名函数模板,如果其他条件相同,在调动时会优先调用非模板函数而不会从该模
    板产生出一个实例。如果模板可以产生一个具有更好匹配的函数, 那么将选择模板
  3. 模板函数不允许自动类型转换,但普通函数可以进行自动类型转换
void Swap(int&amp; left, int&amp; right)
{
	int tmp = left;
	left = right;
	right = tmp;
}

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

int main()
{
	int a = 1;
	int b = 2;

	Swap(a, b);//调用非模板
	Swap<int>(a, b);//调用函数模板
	return 0;
}

2.类模板

2.1类模板的定义格式

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

2.2类模板的实例化

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

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

原文地址:https://blog.csdn.net/qq_74276498/article/details/134764473

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任

如若转载,请注明出处:http://www.7code.cn/show_34486.html

如若内容造成侵权/违法违规/事实不符,请联系代码007邮箱suwngjj01@126.com进行投诉反馈,一经查实,立即删除

发表回复

您的邮箱地址不会被公开。 必填项已用 * 标注