C++11类模板

类模板是用来生成类的蓝图，与函数模板的不同之处是，编译器不能为类模板推断模板参数类型。

所以我们在使用类的时候要带上<>并且指定类型如下

vector<int> v;  // 需要带上<int> 哦

定义类模板

如下，和函数模板差不多都是在前面放个template里面用typename或者class定义个东东

template <typename T>
class Demo{
public:
	void cmp(T a);
private:
	...
};

在类外如果要实现类内函数的实现的话需要有如下写法

template<typename T> // 要加上这个 并且Demo写成这样Demo<T> 
void Demo<T>::cmp(T a) {
	cout << a << endl;
}

在类内不需要额外加东西

实例化类模板

Demo<int> d;
Demo<char> c;

就这样简单用

不过需要注意的是：

一个类模板的每个实例都形成一个独立的类，类型Demo<int> 与Demo<char> 一点关系都没有，也不能对其他类型的内部变量访问有啥特殊权限

说白一点就是，都是人，不过是陌生人而已不是亲戚

一般时候，类模板成员都是在使用的时候才实例化的

类模板和友元

当一个类包含一个友元声明时，类与友元各自是否是模板是相互无关的。如果一个类模板包含一个非模板的友元，则友元可以访问所有模板类型。如果友元自身是模板，类可以授权给所有友元模板，也可以只授权个特定实例

一对一友好关系

template <typename T> class Tmp;//声明一个Tmp类模板

template <typename T>
class Demo{
public:
	void cmp(T a);
	friend Tmp<T>;
private:
};

上述关系中 Tmp 是Demo 的友元，不是别的类型的友元

通用和特定的模板友好关系

template <typename T> class Demo;

template <typename T> class Tmp
{
public:
	template<typename P>
	void output(Demo<P> d) {
		cout << d.p << endl;
	}
};

template <typename T>
class Demo{
public:
	template <typename T> friend class Tmp;
private:
	int p = 10;
};

int main()
{
	Demo<int> d;
	Tmp<char> t;
	t.output(d);//可以输出是10
	return 0;
}

令模板自己的类型成为自己的友元

template<typename Type> 
class bar{
	friend Type;
}

c++11还能这样写，Type是bar<Type>的友元

值得注意的是：友元通常是一个函数或者是一个类，但是基本类型也是被允许的，方便能用基本类型初始化类

模板类型别名

类似下面这样写法

	typedef Demo<int> DemoInt;
	using DemoChar = Demo<char>;

模板中的静态成员

和正常类一样，模板中也可以声明静态成员，不过需要注意的一点是：

模板的静态成员只属于对应的模板

Demo<int> d ,c ;
Demo<char> p;

d和c拥有同一个静态成员

p自己单独一个静态成员

并且，一个static成员函数只有在使用时才会实例化

使用类的类型成员

我们使用 域运算符(::)来访问static成员和类型成员，在普通（非模板）的代码中，编译器掌握类的定义，因此，他知道通过作用域运算符访问的名字是类型还是static成员。

例如下面，编译器知道string类型从而知道size_type是一个类型

string::size_type 

但是如果在模板下

T::size_type * p;

编译器：size_type是个啥 ? 昂~懂了，是个变量要和 p 乘起来~

编译器默情况就会把他当成变量，如果你想让编译器认为他是个类型就要加入typename

	typename T::size_type  *p ;

编译器：昂~ ，闹了半天是个类型啊

虽然可以使用上述，但是如果在传入类型时没有size_type类型会报错的哦

默认模板参数

这个和函数参数列表差不多，可以指定默认的模板参数，

template <typename T , typename D = int>
class Demo{

};
Demo<int> //默认就是Demo<int,int>
Demo<int,char> //就是这个类型了

有同学就说了，一个能行，那我都闹上能不能行？

template <typename T = double , typename D = int>
class Demo{

};

当然可以

Demo d;//有的脑洞大开同学就像这么写了
Demo<> p;//这样才是对的