上一篇《模板与重载》里,我遇见了想同时使用模板函数与非模板函数的情况。后来才知道,其实并不需要,当我想对某些特定的类型进行特殊操作时,只需要使用模板特化就可以。
所谓特化,就是说对于模板函数,对于某些类型可能需要特殊处理,所以进行特殊化。可以分为特化与偏特化,其实就是将模板列表中的模板全部特化还是部分特化。
使用 template<> 来告诉编译器,这是一个特化的模板。
- 类模板:
如上就是类模板的特化。最开始template<>指明这是模板的特化,然后在定义的时候<char*>指明是对char*类型的特化。template<class T> class whatever{ private: T x; public: whatever(T _x): x(_x) {}; } template<> class whatever<char*>{ private: char* x; int length; public: whatever(char* _x) { length = strlen(_x) + 1; x = new char[length]; memcpy(x, _x, length); } ~whatever(){ delete[] x; } }
- 函数模板:
如上就是类模板的特化。与类模板的特化基本相同。不过如果模板类型出现在了返回值或者传入参数中时,定义中的模板参数列表可以省略,如上面对float的特化。template<class T> int type(T){ return 1; } template<> int type<int>(int){ return 0; } template<> int type(float){ return 1; }