第五节：函数模板和类模板

版权声明：本节目由WolfOnTheWay独家播出 https://blog.csdn.net/qq_42214953/article/details/88397227

1.模板本身的代码不进行编译

模板进行实例化的时候，会进行编译。

在函数的调用点，根据指定类型模板进行实例化，产生一段新的代码（模板函数）。

2.模板的参数推演

在调用函数模板的时候，若没有给定类型，模板会从参数类型推出模板函数的类型。

3.模板的特例化（特化、专用化），对特殊类型进行特例化版本。

template<>
bool compare<char*>(char *a, char *b)
{
	cout << "compare char *" << endl;
	return strcmp(a, b);

}

4.非模板函数，函数模板的特例化，函数模板三者是可以共存的。

非模板函数》》模板的特例化》》函数模板 三者之间可以共存，调用顺序从左到右。

5.模板的意义：可以对类型进行参数化。

6.模板的非类型参数？

template<typename T,int SIZE>//非类型参数是常量，不能进行修改。

7.typename的两层含义：定义模板类型参数   和   将后面的名称作为类型。

template<typename T>
class Link
{
public:
	void insertHead(const T &val)
	{
		Node *tmp = new Node[1];
		tmp->mdata = val;
		tmp->mpnext = mphead->mpnext;
		mphead->mpnext = tmp;
		
		
	}
	bool query(const T & val);
	
private:
	struct Node
	{
		Node(T data = T()) :mdata(data), mpnext(NULL)
		{}
		T mdata;
		Node * mpnext;
	};
	Node *mphead;
	Node * getNodeAddr(const T & val);
	
};
template<typename T>
bool Link<T>::query(const T &val)
{
	Node *p = NULL;
	p = mphead;
	while (p != NULL)
	{
		if (p->mdata == val)
		{
			return true;
		}
		p = p->mpnext;
	}
	return false;
}
template<typename T>
typename Link<T>::Node* Link<T>:: getNodeAddr(const T & val)//typename将Node作为类型
{                                                       //因为它是私有的访问不到，所以要这样
	Node *p = mphead;
	while (p != NULL)
	{
		if (p->mdata == val)
		{
			return p;
		}
		p = p->mpnext;
	}
	return NULL;

}

8.类模板具有选择性实例化，即用到哪个成员函数就去实例化哪个成员函数。

9.特例化

 1.类模板的完全特例化

template<>
class Link<char *>//即令写一个类专门处理char* 类型 
{
	

};

2.类模板的部分特例化

template <typename E>
class Link<E *>//进行部分（指针）特例化。
{
};
template <typename R,typename type1,typename type2>//函数指针类型的部分特例化
class Link<R(*)(type1, type2)>
{

};