C++ template第五章总结

1.如果要访问依赖于模板内部的类型，前面要加上typename,

如:

tempate<typename T>
class My
{
     typename T::Subtype  * ptr;
};

Subtype是定义于T内部的类型

2.在多继承中,要使用this指明要访问的本成员函数

3.可以重载=让不同的模板之间可以赋值，但是不会忽略类型检查 如：Stack<int> int1;Stack<float> f2; f2 = int1;此时int会自动转换为float，为了使用这个功能，必须重载=；

4.可以把内部容器类型指定为模板参数，就可以改变内部容器类型，类模版也可以作为模板参数，我们称为模板的模板参数。

如：template<typename T,typename CONT = std:deque<T> >

5.为了指定容器类型而不用指定元素类型，可以使用模板的模板参数

如：template<typename T,template<typename> class CONT = std::deque>

然后再类里面定义：

CONT elems<T>;

6.复制运算符的模板版本没有取代缺省复制运算符

7.模板的模板实参必须精确的匹配

如：template<typename T,template<typename ELEM,typename ALLOC = std::allocator<ELEM>

class  = std::deque<T> >  因为deque类模版默认有两个参数

8.显示调用缺省构造函数，可以确保模板的变量和成员都用一个缺省值初始化，这种方法对内建的变量和成员适用

如：

#include <iostream>
#include <string>
using namespace std;

//类的默认初始化
template <typename T>
class My
{
	public:
		T x;
	public:
		My():x(){}
};
//函数的默认初始化
template <typename T>
inline void foo(void)
{
	int x = int();
	T y = T();
	cout<<x<<"	"<<y<<endl;
}

int main()
{
	foo<double>();
	My<int> a;
	cout<<a.x<<endl;
	return 0;
}

默认初始化的都是0

9.对于字符串，在实参演绎的过程中，当参数不是引用的时候，会出现数组到指针的转换

template <typename T>
void ref(T const& x)//传递的是字符数组
template <typename T>
void ref(T x)//传递的是指针