核心内容摘要
镜头之外的她们：国产传媒新势力，闪耀光芒的“果冻天美”女演员
在C中特化是模板编程的核心特性指对通用模板针对特定类型/值编写定制化的实现逻辑分为函数模板特化和类模板特化其中类模板特化又包含全特化和偏特化。
特化的目的是解决通用模板在特定场景下的效率问题或逻辑不适用问题。
核心概念**通用模板**定义适用于大部分类型的通用逻辑。
**特化版本**针对特定类型/值重写模板的实现编译器会优先匹配特化版本。
**匹配规则**编译器查找模板时优先级为特化版本 通用模板。
函数模板特化对函数模板针对特定类型编写定制化实现语法为 template 返回值 函数名特化类型(参数列表) 。
通用函数模板#includeiostream#includecstringusingnamespacestd;// 通用函数模板比较两个值是否相等templatetypenameTboolisEqual(T a,T b){cout通用模板: ;returnab;}
函数模板特化针对char*类型 通用模板比较char*时比较的是指针地址而非字符串内容因此需要特化 cpp// 函数模板特化针对 char* 类型比较字符串内容templateboolisEqualchar*(char*a,char*b){coutchar* 特化版本: ;returnstrcmp(a,b)0;}intmain(){//
匹配通用模板inta10,b10;coutisEqual(a,b)endl;// 输出通用模板: 1//
匹配 char* 特化版本charstr1[]hello;charstr2[]hello;charstr3[]world;coutisEqual(str1,str
endl;// 输出char* 特化版本: 1coutisEqual(str1,str
endl;// 输出char* 特化版本: 0return0;}
注意事项函数模板不支持偏特化只能全特化。
特化版本必须与通用模板的函数签名一致参数类型、返回值。
类模板特化类模板特化分为全特化和偏特化适用场景更广。
类模板全特化对类模板的所有模板参数进行特定化语法为 template class 类名特化类型列表 。
通用类模板// 通用类模板数据包装器templatetypenameTclassDataWrapper{public:DataWrapper(T data):_data(data){}voidprint(){cout通用类型: _dataendl;}private:T _data;};类模板全特化针对 bool 类型对 bool 类型定制打印逻辑输出 true/false 而非 1/0 // 类模板全特化针对 bool 类型templateclassDataWrapperbool{public:DataWrapper(booldata):_data(data){}voidprint(){coutbool 特化类型: boolalpha_dataendl;}private:bool_data;};intmain(){// 通用模板DataWrapperintintWrap(
;intWrap.print();// 输出通用类型: 100// bool 全特化版本DataWrapperboolboolWrap(true);boolWrap.print();// 输出bool 特化类型: truereturn0;}
类模板偏特化对类模板的部分模板参数进行特定化或对参数进行范围限制如指针、引用类型语法为 template 剩余模板参数 class 类名偏特化参数列表 。
偏特化有两种常见场景参数数量偏特化、参数范围偏特化。
场景1参数范围偏特化针对指针类型// 通用类模板templatetypenameTclassDataWrapper{public:DataWrapper(T data):_data(data){}voidprint(){cout通用类型: _dataendl;}private:T _data;};// 偏特化1针对 T* 指针类型templatetypenameTclassDataWrapperT*{public:DataWrapper(T*data):_data(data){}voidprint(){cout指针类型: 地址_data, 内容*_dataendl;}private:T*_data;};// 偏特化2针对 const T* 常量指针类型templatetypenameTclassDataWrapperconstT*{public:DataWrapper(constT*data):_data(data){}voidprint(){cout常量指针类型: 地址_data, 内容*_dataendl;}private:constT*_data;};intmain(){intnum200;constintcnum300;// 通用模板DataWrapperintintWrap(num);intWrap.print();// 输出通用类型: 200// T* 偏特化版本DataWrapperint*ptrWrap(num);ptrWrap.print();// 输出指针类型: 地址0x..., 内容200// const T* 偏特化版本DataWrapperconstint*cptrWrap(cnum);cptrWrap.print();// 输出常量指针类型: 地址0x..., 内容300return0;}场景2参数数量偏特化多模板参数// 通用类模板两个模板参数templatetypenameT1,typenameT2classPair{public:Pair(T1 a,T2 b):first(a),second(b){}voidprint(){cout通用 Pair: first, secondendl;}private:T1 first;T2 second;};// 偏特化第二个参数固定为 int 类型templatetypenameT1classPairT1,int{public:Pair(T1 a,intb):first(a),second(b){}voidprint(){cout偏特化 Pair (T1, int): first, secondendl;}private:T1 first;intsecond;};intmain(){// 通用模板Pairstring,doublep1(apple,
3.
;p
print();// 输出通用 Pair: apple,
14// 偏特化版本T2intPairstring,intp2(banana,
;p
print();// 输出偏特化 Pair (T1, int): banana, 5return0;}
特化的典型应用场景**
优化特定类型的性能**比如通用模板对 int 类型的操作效率低特化后用更高效的算法。
**
处理特殊类型的逻辑**比如通用模板无法处理指针、字符串等类型特化后定制逻辑。
**