C模板元编程系列专题3模板偏特化

　　前置知识：
　　C模板元编程系列专题1：入门知乎
　　C模板元编程系列专题2：模板特化的概念从何而来知乎1、模板全特化
　　模板，代表了一种泛化的语义。显然，既然有泛化语义，就应当有特化语义。特化，使得我们能为某些特定的类型专门提供一份特殊实现，以达到某些目的。特化分为全特化与偏特化。所谓全特化，即一个披着空空如也的template的普通函数或类includeiostreamincludeiomanipincludestringincluderandomincludechronoinclude标准函数模板templatetypenameTvoidPlus（Tlv，Trv）｛std：：cout（lvrv）；｝全特化版本：当T为int时，将优先使用此定义templatevoidPlus（intlv，intrv）｛std：：cout（lvrv）；｝intmain（）｛Plus（1。，2。）；使用泛型版本，输出结果3Plus（1，2）；使用特化版本，输出结果2｝2、模板偏特化
　　偏特化又是什么呢？除了全特化以外的特化，都称为偏特化。从写法上来看，template关键词之后的不能为空，否则就是全特化。includeiostreamincludeiomanipincludestringincluderandomincludechronoinclude泛化版本templatetypenameT，typenameUclassEntity｛public：voidAdd（Tlv，Ulr）｛std：：cout（lvlr）；｝｝；偏特化版本1：仅当两个类型一样的时候，才会且一定会使用此版本templatetypenameTclassEntityT，T｛public：voidAdd（Tlv，Tlr）｛std：：cout（lvlr）；｝｝；偏特化版本2：仅当两个类型都是指针的时候，才会且一定会使用此版本templatetypenameT，typenameUclassEntityT，U｛public：voidAdd（Tplv，Uprv）｛std：：cout（plvprv）；｝｝；intmain（）｛Entityint，int（）。Add（1，2）；输出结果3Entityint，long（）。Add（2，3。0）；输出结果5inta10；longb20；Entityint，long（）。Add（a，b）；输出结果30｝
　　函数模板不是函数，而是一个可以生成函数的语法组分；同理，类模板也不是类，而是一个可以生成类的语法组分。我们称通过函数模板生成函数，或通过类模板生成类的过程为模板实例化。