波奇学C++:模板进阶

typename和class的区别

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

template 
template 

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

template
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 Stack
{
private:
	T _a[N];
	int _top;
};

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

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

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

#include
array arr1;

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

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

template
class Stack
{
  void fun()
  { N=0;}

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

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

模板的特化

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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