C++模板详解-优快云博客

2019独角兽企业重金招聘Python工程师标准>>>

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写了模版的实现。