C++ 模版的一些知识

• C++中既能编写函数模版也能实现类模版。
• 编译器会根据传入的类型推导出模版的类型，而后再将模版实例化。若是不能根据传入类型推导出结果，将致使编译错误。
• 若是模版不适用于全部类型，咱们能够为一些特殊的类型书写一些特化模版。咱们能够对函数模版、类、以及类成员函数进行特化。类模版还能进行部分特化：特化某些模版形参而非所有。
• 函数的特化模版和相同签名的普通函数有些区别：特化的函数模版要全部的参数的类型都符合才会被调用，而函数之要求传入的参数能转化成指定类型就能够调用。若是匹配同样好时，优先选择普通函数调用。
• 不建议包含函数模版又包含普通函数的重载，由于可能会使函数的用户感到奇怪。建议在重载时，采用函数模版特化代替普通函数的重载。
• 假如fp是一个函数指针，myTemplate是一个函数模版，咱们能够写fp = myTemplate，只要函数模版能经过函数指针的相关类型能推导出来。这样fp会指向一个实例化的函数。
• 有个函数模版： template<class T> T func(T t); 会用到T类型的内部类size_type，别忘了加上typename： typename T::size_type* p 。
• 有个函数为 void func(void (*pf)(int)); myTemplate为符合该函数参数的函数模版。只有一个func时，myTempale是能够做为参数传递给func的，由于函数模版能推导出相关类型。若是再加上一个func的重载:void func(void (*pf)(double)); 此时 func(myTemplate)就会编译不过了，由于两个func中的函数指针都能正确推导函数模版myTemplate，因此就不知道选择哪一个了。
• 任何模版参数均可以有默认值，也能够带有常量，好比1，2.0等等。
• 观察该函数模版 template<class T1, class T2, class T3> T1 func(T2, T3);  这样调用 template<int> func(1, 2) 是能够的，由于T2 T3都能推导出来。
• 和上例作对比，观察函数模版template<class T1, class T2, class T3> T3 func(T1, T2); 这样调用 template<int> func(1, 2) 就不行。由于不肯定T3是什么类型。因此要写成template<int,int,int> func(1, 2);
• 类模版中的static数据成员，是每一个实例化的类共享一份，好比类C<int>和类C<string>都单独维护一份static数据成员。
• X const & 等价于 const X &  ( X为一个类名)
• 类成员模版函数不能定义为Virtual
• 形参：形式上的参数。C++ 11的模版支持变长的参数列表。
• 类模版的实现不能分开写在.cpp和.h中，通常在.h中写声明，而后在.h的最后include一个.hpp，这个.hpp写了模版的实现。