波奇学C++:模板进阶

typename和class的区别

typename和class都可以声明模板参数

template <class T>
template <typename T>

typename作为前缀来提示编译器模板还是对像，如

template<class Container>
void Print(const Container& v)
{
	 typename Container::const_iterator it = v.begin();
	// auto it = v.begin()  
	while (it != v.end())
	{
		cout << *it << " ";
		++it;
	}
}

 Container ::const_iterator被认为是对象,为了避免歧义，编译器强制模板参数前加typename，比如在声明iterator的类型时。

class Container
{
    class const_iterator{}
}

应用场景：声明类模板的迭代器。

非类型模板参数

template<class T,size_t N>
class Stack
{
private:
	T _a[N];
	int _top;
};

N 不是模板参数，是非类型模板参数。C++的模板参数具有以下特点常量而且是整型

常用于类里面有个有限数组

应用场景：Array 数据类型的底层就是应用非类型模板参数。

#include<Array>
array<int 10> arr1;

*Array 和数列极为相似，和vector相比不能实现扩容等操作，数据个数固定。

类函数按需实例化，当调用类函数时，函数才会实例化。如

template<class T,size_t N>
class Stack
{
  void fun()
  { N=0;}

private:
    T _a[N];
    int _top;
};

N是常量不能修改，当不调用fun()时，不会报错，调用时才报错。

模板的特化

函数模板特化，相当于函数重载

template<class T>
bool Less(T left, T right)
{
	return left < right;
}
template<class T>
bool Less(T* left,T* right)
{
	return *left < *right;
}

类模板的特化可以针对不同的参数进行特殊处理

template<class T1,class T2>
class Date
{
public:
	Date()
	{
		cout << " class T1 class T2" << endl;
	}
private:
	T1 _a;
	T2 _b;
};

当我针对T1 为int ,T2 为 double时特殊处理

template<>
class Date<int,double>
{
Date()
{
    cout<<"int double";
}
}

注意此时不需要在声明变量成员，只要修改要特殊的一部分，Date的模板特化不能单独存在。

特化还有全特化，上面是全特化，所有的模板的参数都实例化。

偏特化如部分模板参数实例化

template<class T>
class Date<T,double>
{
Date()
{
    cout<<"T double";
}
}

 偏特化：对某些情况进行限制，如下面限制了模板参数为指针能调用。

template<class T1, class T2>
class Date<T1*,T2*>
{
public:
	Date()
	{
		cout << " class T1 class T2" << endl;
	}
};

模板参数的定义和声明分离

template<class T>
class A
{
public:
	void fun();
private:
	T _a = 1;
	
};
template<class T>
void A<T>::fun()
{
	_a++;
}

不能将模板的定义和分离在两个文件，要么定义在类内部，要么定义在类的下面。注意模板类类型为A<T>::fun() 不能写成A::fun()。