c++ template （总结）

模板中：typename作为嵌套从属类型名称的前缀词。例外：不可以出现在初始值列 和 base class list中。

有的编译器不支持子类调用基类的函数（VC2005支持），需要加this->，或using，或classname直接指定；

一、函数模板

1）分类：

1. 成员函数模板：成员函数通过模板传变参。

                                 “泛化copy构造函数或泛化assignment操作函数”不会阻止编译器生产默认函数；

                                 不会覆盖virtual函数式；

2. 函数模板：为了具现化，可以将函数声明为friend函数。

3. 类模板成员函数：只有被调到的成员函数才被具现化；

2）特殊：

1. “函数模板”可以被重载；

• 函数模板之间可以重载；
• 函数模板和非函数模板之间也可以重载；
• 重载决议机制优先选择非函数模板。
  
• 如果出现冲突，可以使用如max<>(a, b);和max(a, b)来进行区分。max<>告诉编译器只从“模板具现体”中选取。
• 重载一般要求参数个数不同，或参数类型不同；如果只是value和引用方式的差别，则无法区分。
• 需要把所有的重载定义都写在被调用之前，否则可能因为作用域问题而不被使用。如如果返回值为模板参数，则需要指明类型；

2 成员函数模板不能是虚函数；因为：不知道生成多少个函数。

二、类模板(成员类模板，全局类模板)

• 在“类模板”中使用“类类型”时，需要带classname<模板参数>方式。如copy构造函数，使用如classname（classname<模板参数> const &);方式
• 在“类模板”中使用“类名称”时，只需要classname即可。如构造函数，析构函数
• 类模板中只有使用到的成员函数才会被“具现化”。
• static成员会针对每一种被使用的类型具现化。
• 偏特化：VC6不支持。
• 可以为模板参数定义缺省值。
• 不能同其他不同种类的物体共用同一个名称，但非模板类则可以。如int C，class C；//ok。但int C， template <typename T> class C;//error
• local class或local enum不能作为参数使用；
• 如果使用基类模板的成员函数，需要用this->或BaseClassType<type_para>::来修饰方式调用。
  

三、非类型模板参数

• 整数（char可以隐式转换为int），enum，指针（也包含数组、函数指针、指向成员函数的指针&C::m），引用类型，“外部连接物体”。
•  “外部连接物体”，如字符数组。反之，而“常量字符串”为“内部连接物体”，则不可以。
• 举例：如template <typename T, int N> class aaa{}，则使用时如 aaa<char, 5> avalue;---------- 把N作为参数传入，而不是int。定义函数模板也是如此。
• 不能加static，mutable之类的修饰；
• 可以加const，volatile修饰，但出现在参数型别最外层，则被忽略；
• 作为右值，不能取址，不能赋值；
• 必须编译期内能求值
• 不能使用null指针，不能使用float，不能使用string（因为两个相同的字符串常量可能在不同的地址上）
• 切换为base不支持
• 不能使用数组的某个元素地址

四、双重模板参数

• 如template <typename T, template <typenameT2>classAAA = std::vector> ----------- 带缺省值的双重模板参数，T2不会被用到，可有可无
• 此处不能使用struct或union
• 函数模板不可以有双重模板参数
• 双重模板参数中预设的模板参数会被忽略，所以需要完整的双重模板参数传入（如vector两个参数，string三个参数）

五、模板内的特殊点：

• .template 和->template用于说明后面是模板成员函数；
• 零值初始化。初始化成员变量：对于内建型别，使用缺省构造函数。   函数模板中： 如T x =T();  类模板中：在成员初始化列表进行默认初始化，如 :x()
• 具现化是特化的一种方法，但不唯一；
•  不能extern “C”链接；
• 模板参数有缺省值，则其后继所有参数也都有；
• C<int> *p并不会触发C的实例化，因为此处只是定义指针；同理C<int> &引用也不会触发实例化； 
• 此处和常规class一样，不需要class模板的定义就可以声明指针和引用。

五、采用置入式模型来组织template代码。---优选！！！

        即将“函数定义”和“函数声明”都放在头文件中！！！包括：函数模板，类模板的成员函数，类模板的静态成员函数 ，成员函数模板。

六、采用分离式模型 ----------- 编译器能支持export的不多；且make等语法无法支持，需要记住依赖关系。

       1、在“函数声明”前加export，包括：函数模板，类模板的成员函数，类模板的静态成员函数 ，成员函数模板。

       2、可以在类模板前加export，表明所有的成员函数（inline的成员函数除外）都export。

       3、export必须在template之前。

       4、export不能喝inline合用。