lamp和lnmp wordpress,镇江整站优化,网站假备案举报,绿色网站风格一 C 模板介绍#xff1f; C 为什么引入模板#xff1f; 我的理解是#xff1a; C 引入模板的概念#xff0c;是为了复用重复的代码#xff0c;当某些代码除了操作的数据类型不同以外#xff0c;其他逻辑全都相同#xff0c;此时就适合采用模板的方式。 定义模板类或者…一  C 模板介绍 C 为什么引入模板 我的理解是 C 引入模板的概念是为了复用重复的代码当某些代码除了操作的数据类型不同以外其他逻辑全都相同此时就适合采用模板的方式。 定义模板类或者模板函数时只是定义了一个代码的架子使用时需要配合上实际的数据类型数据类型可以是基本数据类型也可以是用户自定义的类型。 官方一点的说法 所谓模板实际上是建立一个通用函数或类其类内部的类型和函数的形参类型不具体指定用一个虚拟的类型来代表。这种通用的方式称为模板。 模板是泛型编程的基础,泛型编程即以一种独立于任何特定类型的方式编写代码。 这种模板的设计在许多编程语言中是由类似的比如 Java 、Scala 中都有模板的概念。 二  class template 类模板 类模板例子 // complex.h templatetypename T class Complex { public:Complex(T re 0, T im 0):m_re(re), m_im(im){}Complex operator(const Complex other);T real() const{return m_re;}T imag() const{return m_im;}private:T m_re;T m_im; };templatetypename T ComplexT ComplexT::operator(const Complex other) {this-m_re other.m_re; // 任意一个类都是自己的 friend class所以可以使用 private 成员变量this-m_im other.m_im;return *this; }// main.cpp #includecomplex.hint main() {Complexdouble c1(1, 2);Complexint c2(1.1, 2.2);Complexfloat c3(1.1, 2.2);return 0; }上面是一个复数 Complex模板类的简单实现。 三  function template 函数模板 // complex.h templatetypename T class Complex { public:Complex(T re 0, T im 0):m_re(re), m_im(im){}bool operator(const Complex other) const{if(this-m_re other.m_re){return true;}else if(this-m_re other.m_re){return false;}else{if(this-m_im other.m_im){return true;}else{return false;}}}T real() const{return m_re;}T imag() const{return m_im;}private:T m_re;T m_im; };// main.cpp #include iostream #includecomplex.h// 模板函数 templatetypename T const T myMin(const T a, const T b) {return a b ? a : b; }int main() {int a1 11;int b1 22;std::cout myMin(a1, b1) std::endl;double a2 1.1;double b2 2.2;std::cout myMin(a2, b2) std::endl;Complexint c11(11, 2);Complexint c12(1, 22);auto cc myMin(c11, c12);std::cout cc.real() , cc.imag() std::endl;return 0; } 以上代码定义了一个模板函数 myMin 一个模板类 Complex自定义了一个 operator 成员函数。 从代码中我们发现一个问题模板类要用尖括号指明实际的元素类型而模板函数并不需要尖括号指明实际的元素类型。这是因为在 C 中模板函数在调用时可以通过传入的实参推断出形参的类型因而不需要指明实际的元素类型。 模板函数 myMin 传入的类型需要有比较的能力c 基本类型天然就具有比较的能力而用户自定义类型需要实现 operator 成员函数才能在编译到 那行代码时能够通过若是自定义类型没有实现 operator 成员函数时编译会出现错误。 四  member template 成员模板 成员模板也是一种函数模板只不过针对的是构造函数的模板。 // base.h class Base2 {};class Derive2:public Base2 {};class Base3 {};class Derive3:public Base3 {};// my_pair.h templatetypename T1, typename T2 class MyPair { public:typedef T1 firstArgumentType;typedef T1 secondArgumentType;MyPair():first(T1()), second(T2()){}MyPair(const T1 arg1, const T2 arg2):first(arg1), second(arg2){}// 成员模板templatetypename U1, typename U2MyPair(const MyPairU1, U2 other):first(other.first),second(other.second){} public:T1 first;T2 second; };// main.cpp #includemy_pair.h #includebase.hint main() {MyPairBase2, Base3 pair1;MyPairDerive2, Derive3 pair2;MyPairBase2, Base3 pair3(pair2);return 0; } 五  模板特化specialization与偏特化partial specialization 1. 模板特化 specialization 模板特化指得是将模板类或者模板函数特化到某些特定的指定类型使得在编译器编译时实际编译执行的代码是特化后的版本。 // my_hash.h #includeiostream #includeiostreamtemplate class T struct my_hash {T operator()(T x){std::cout template class T struct my_hash std::endl;return x;} };// 以下为三个特化版本 template struct my_hashint {int operator()(int x){std::cout template struct my_hashint std::endl;return x;} };template struct my_hashchar {char operator()(char x){std::cout template struct my_hashchar std::endl;return x;} };template struct my_hashlong {long operator()(long x){std::cout template struct my_hashlong std::endl;return x;} }; // main.cpp#includemy_hash.hint main() {std::cout my_hashstd::string()(abcd) std::endl;std::cout my_hashchar()(a) std::endl;std::cout my_hashint()(66) std::endl;std::cout my_hashlong()(6666) std::endl;return 0; } 输出 2. 模板偏特化partial specialization 2.1  个数偏特化 模板的个数变化时的特化版本 // my_vector.h #includeiostreamtemplatetypename T, typename Alloc class my_vector { public:my_vector(){std::cout templatetypename T, typename Alloc class my_vector std::endl;} };templatetypename Alloc class my_vectorbool, Alloc { public:my_vector(){std::cout templatetypename Alloc class my_vectorbool, Alloc std::endl;} };// main.cpp #includemy_vector.hint main() {my_vectorstd::string, std::allocatorstd::string vec1;my_vectorbool, std::allocatorstd::string vec2;return 0; } 输出 2.2 范围偏特化 通过特化模板类型的指针来实现指针的特化 // e.h #includeiostreamtemplatetypename T class E { public:E(){std::cout templatetypename T class E std::endl;} };templatetypename T class ET* { public:E(){std::cout templatetypename T class ET* std::endl;} };// main.cpp #includee.hint main() {Estd::string e1;Estd::string* e2;return 0; } 输出 六  模板模板参数template template parameter 模板模板参数其实就是模板的其中参数又是另外一个模板参数示例代码如下 XCLS 类 的第一个模板参数是 T 第二个模板参数是一个模板类 Container我们可以定义一个 XX 模板类来组合使用 XCLS 将 XX 传入即可 也可以使用容器类 list  传入但是如果直接传入编译是会出错的比如下面 XCLSstd::string, std::list xcls3; 编译不过编译不过的原因是std::list 实际上是两个模板参数编译器检查时发现少给了一个模板参数 _Alloc 所以编译不过。  templatetypename _Tp, typename _Alloc std::allocator_Tp class list; 可以通过如下定义 Lst 来将模板类 list 的模板参数限定为 一个 templatetypename T using Lst std::listT, std::allocatorT; // xcls.h #includeiostreamtemplatetypename T, templatetypename U class Container class XCLS { public:XCLS(){std::cout templatetypename T, templatetypename U class Container class XCLS std::endl;} private:ContainerT c; };templatetypename T class XX { public:XX(){std::cout templatetypename T class XX std::endl;} };// main.cpp #includexcls.hint main() { // 模板模板的参数使用XCLSstd::string, XX xcls1;XCLSstd::string, Lst xcls2;// XCLSstd::string, std::list xcls3; 编译不过return 0; } 输出