核心内容摘要
99免费视频：开启无限精彩，触手可及的视听盛宴
《你真的了解C吗》No.032模板特化与偏特化——处理“特殊情况”的艺术导言当通用逻辑失效时假设你写了一个万能的比较模板compare(T a, T b)它内部使用a b。
这对于int和float运行良好但如果你传入的是const char*字符串字面量它比较的是指针的地址而不是字符串的内容。
为了修正这个行为你必须告诉编译器“如果遇到const char*请不要用我的通用模板用我特意为你准备的这一套。
”
全特化Full Specialization精准打击全特化是指你为一组确定的模板参数提供一个完全独立的定义。
此时模板的所有参数都被指定了它已经不再是一个“模具”而是一个具体的类或函数。
// 通用模板templatetypenameTstructFormatter{voidprint(T val){std::coutGeneral: valstd::endl;}};// 全特化版本针对 bool 类型templatestructFormatterbool{voidprint(boolval){std::coutBoolean: (val?true:false)std::endl;}};语法要点必须以template 开头并在类名后显式写出bool。
物理意义编译器在查找Formatterbool时会优先匹配这个全特化版本从而跳过通用代码生成。
偏特化Partial Specialization对一类人的特殊照顾偏特化比全特化更灵活、更强大但也更复杂。
它允许你指定部分参数或者对参数增加约束如指针、引用。
注意在 C03 中只有类模板支持偏特化函数模板不支持函数模板通常通过重载来达到类似目的。
维度缩减如果你有两个模板参数你可以只固定其中一个templatetypenameT,typenameUclassMap{};templatetypenameTclassMapT,int{};// 偏特化当第二个参数是 int 时
模式匹配Pattern Matching这是偏特化的精髓也是 STL 能够处理指针类型的关键templatetypenameTstructSmartPointer{voidinfo(){std::coutCommon Type;}};// 偏特化针对所有指针类型templatetypenameTstructSmartPointerT*{voidinfo(){std::coutPointer to something;}};即使编译器不知道T具体是什么只要你传入的是int*或Shape*它都能精准捕捉到这个“带星号”的偏特化版本。
匹配规则谁的权力更大当多个模板定义同时存在时编译器遵循**“最特化原则”Most Specialized First**。
优先级最高全特化最具体。
优先级次之偏特化较具体。
优先级最低通用模板最模糊。
如果你传入Formatterbool编译器绝对不会去碰通用模板。
这种匹配机制在编译期完成没有任何运行时开销。
为什么要用特化TMP 的基石性能优化针对bool数组使用位图bit-map存储而不是每个bool占一个字节如std::vectorbool的争议性实现。
逻辑修正解决指针比较、深浅拷贝等类型特有的行为差异。
类型萃取Type Traits这是下一阶段的核心。
通过特化我们可以在编译期问编译器“这个T到底是不是一个指针”或者“这个T有没有定义内部类型value_type”
总结模具的进化通用模板是工业化的流水线。
全特化是高级定制。
偏特化是针对特定品类的优化生产线。
掌握了特化你就不再是被动地让编译器生成代码而是主动地引导编译器根据类型的特征进行分流。
下一篇预告模板推导过程中如果编译器尝试了一个错误的匹配它会直接报错吗不它会很有礼貌地走开去试下一个。
➡️《你真的了解C吗》No.033SFINAE 原则——替换失败不是错误。