C++ template

C++ template
函数模板：
1,模板函数为不同的模板实参定义了一个函数家族
2，当传递模板实参的时候，可以根据实参的类型对函数模板实例化
3，可以显示指定模板参数。
4，可以重载函数模板
5，当重载函数模板时，可以显示的指定模板参数
6，函数模板的所有重载版本的声明一定位于调用之前
类模板：
1，类模板成员函数只有在使用的时候才会被实例化。为了使用类模板对象，必须显示的指定模板实参。
    <<> >:后面加空格的原因是编译器会认为是使用operator>> 产生编译错误
2，类模板的特化跟函数重载类似，template<>,class stack<std::string>{};成员函数要写为普通函数
3，模板类的缺省参数 template<<typename T1,typename T2=std::vector<T> >,传入单个参数则默认vector，可指定另一个参数
非类型模板参数：
1，模板可以具有值模板参数，而不仅是类型模板参数
2，对于非类型模板参数，不能用浮点型，class类型的对象和内部链接对象
技巧性基础知识
1，当某个依赖于模板参数的名称是一个类型时，应该使用typname；
2，函数模板并不支持模板的模板参数
3，显示的调用内建类型的缺省构造函数
4，if要访问依赖于模板参数的类型名称，应在类型名称前添加typename
5，嵌套类和成员函数可以是模板
6，类模板也可以作为模板参数称为模板的模板参数；模板的模板实参必须精确的匹配
7，通过显示调用缺省的构造函数，可以确保模板的变量和成员都已用一个缺省值完成初始化
模板实战
1，模板是位于宏和普通声明之间的一种构造
2，对于模板采用对待宏或内联函数的解决办法，把声明和定义位于同一个文件中（或定义时显示实例化）；或在头文件末尾添加.cpp;非内联函数在调用的位置不会扩展，而是基于实例化后的函数拷贝
3,export（导出）可以用于函数模板，类模板的成员函数，成员函数模板，和类模板的静态数据成员的声明，类模板的声明（意味着类成员都可作为导出实体）从而实现，声明与定义的分离，称为分离模板
4，export和inline不可同时使用
5,组织模板代码的方法：包含模型，显示实例化和分离模型；
6，在模板声明代码和模板定义代码放在不同的头文件中可以在包含和显示实例化之间做出选择
模板术语
1，模板的特化：实例化是其一种方式；对模板参数进行特定的替换；局部特化
2，声明时将一个名称引入某个作用域；定义则分配了内存空间
3，对于变量而言，进行初始化和不具有extern关键字的声明都是定义
4，模板参数是位于模板声明或定义内部，关键字template后面
深入模板基础
1，成员函数模板不能被声明为虚函数
模板中的名称
1，x< ::C>e;<:是另一种格式，所以空格是必须的
2，c++编译器会使用一张符号表把扫描器和解析器结合起来，当解析某个声明时，该声明会添加到表中。当扫描器找到一个标识符时，它会在符号表中进行查找，如果发现该标识符是一个类型，就会注释
这个所获的的标记。
模板多态的威力
c++和C中，函数调用实参在缺省情况下都是以“传值”的方式进行传递的