自己编程怎么做网站教程,自贡北京网站建设,国外网站推广软件,手机网站建设和目录
一、前言
二、 什么是C模板
#x1f4a6;泛型编程的思想 #x1f4a6;C模板的分类 三、函数模板 #x1f4a6;函数模板概念 #x1f4a6;函数模板格式
#x1f4a6;函数模板的原理 #x1f4a6;函数模板的实例化
#x1f34e;隐式实例化 #x1f349;显式实…目录
一、前言
二、 什么是C模板
泛型编程的思想 C模板的分类 三、函数模板 函数模板概念 函数模板格式
函数模板的原理 函数模板的实例化
隐式实例化 显式实例化
模板支持多个模板参数 模板参数的匹配原则
四、类模板 类模板的概念 类模板格式 类模板的实例化 类模板的分离编译
五、总结
六、共勉 一、前言 在我们学习C时常会用到函数重载。而函数重载通常会需要我们编写较为重复的代码这就显得臃肿且效率低下。重载的函数仅仅只是类型不同代码的复用率比较低只要有新类型出现时就需要增加对应的函数。此外代码的可维护性比较低一个出错可能会导致所有的重载均出错。 那么模板的出现就让这些问题有了解决方案所以本次博客将为大家详细的讲解C的模板 二、 什么是C模板 程序设计中经常会用到一些程序实体它们的实现和所完成的功能基本相同不同的仅 仅是所涉及的数据类型不同。而模板正是一种专门处理不同数据类型的机制。 模板------是泛型程序设计的基础泛型generic type——通用类型之意。 函数、类以及类继承为程序的代码复用提供了基本手段还有一种代码复用途径——类属类型泛型利用它可以给一段代码设置一些取值为类型的参数注意这些参数 的值是类型而不是某类型的数据通过给这些参数提供一些类型来得到针对不同类 型的代码。 泛型编程的思想 首先我们来看一下下面这三个函数如果学习过了C函数重载 和 C引用 的话就可以知道下面这三个函数是可以共存的而且传值会很方便 void Swap(int left, int right)
{int temp left;left right;right temp;
}
void Swap(double left, double right)
{double temp left;left right;right temp;
}
void Swap(char left, char right)
{char temp left;left right;right temp;
}但是真的很方便吗这里只有三种类型的数据需要交换若是我们需要增加交换的数据呢再CV然后写一个函数吗 这肯定是不现实的所以很明显函数重载虽然可以实现但是有一下几个不好的地方 重载的函数仅仅是类型不同代码复用率比较低只要有新类型出现时就需要用户自己增加对应的函数代码的可维护性比较低一个出错可能所有的重载均出错 那是否能做到这么一点告诉编译器一个模子让编译器根据不同的类型利用该模子来生成代码 ⭐总结 所以总结上面的这么一个技术C的祖师爷呢就想到了【模版】这个东西告诉编译器一个模子然后其余的工作交给它来完成根据不同的需求生成不同的代码 这就是泛型编程编写与类型无关的通用代码是代码复用的一种手段。模板是泛型编程的基础 C模板的分类 1️⃣: 函数模板function tempalte使用泛型参数的函数function with generic parameters2️⃣:类模板class template使用泛型参数的类class with generic parameters 三、函数模板 知晓了模版的基本概念后首先我们要来看的就是【函数模版】 函数模板概念 函数模板代表了一个函数家族该函数模板与类型无关在使用时被参数化根据实参类型产生函数的特定类型版本 通过函数模板可以编写一种通用的函数定义使其能够适用于多种数据类型从而提高代码的复用性和灵活性。 函数模板格式 templatetypename T1, typename T2,......,typename Tn
返回值类型 函数名(参数列表)
{//……
}
注意typename是用来定义模板参数关键字也可以使用class(切记不能使用struct代替class) 因此交换函数就可以这样套用模板 templatetypename T
void Swap(T left, T right)
{T temp left;left right;right temp;
}int main()
{int x 2, y 3;cout x y endl endl;Swap(x, y);cout x y endl endl;cout ------------------------------- endl;char a a, b b;cout a b endl endl;Swap(a, b);cout a b endl endl;cout ------------------------------- endl;double c 2.1, d 3.1;cout c d endl endl;Swap(c, d);cout c d endl endl;cout ------------------------------- endl;return 0;
} 我们通过这个函数模版分别传入不同数据类型的参数通过结果的观察可以发现这个函数模版可以根据不同的类型去做一个自动推导继而去起到一个交换的功能。 函数模板的原理 那我现在想问一个问题请问它们调用的真的是同一个函数吗 当然不是这里我们三次Swap不是调用同一个函数其实Swap的时候根据不同的类型通过模板定制出专属你的类型的函数然后再调用这里可以通过反汇编观察到 可以发现在进行汇编代码查看的时候被调用的函数模版生成了两个不同的函数它们有着不同的函数地址因此可以回答上一小节所提出的问题了两次所调用的函数是不一样的是根据函数模版所生成的 函数模板是一个蓝图它本身并不是函数是编译器用使用方式产生特定具体类型函数的模具。 所以其实模板就是将本来应该我们做的重复的事情交给了编译器。 在编译器编译阶段对于模板函数的使用编译器需要根据传入的实参类型来推演生成对应类型的函数以供调用。比如当用double类型使用函数模板时编译器通过对实参类型的推演将T确定为double类型然后产生一份专门处理double类型的代码对于字符类型也是如此。 补充 其实库里面有一个swap函数因此我们也不需要自己写模板了 直接套用swap即可 int main()
{int x 2, y 3;cout x y endl endl;swap(x, y);cout x y endl endl;cout ------------------------------- endl;char a a, b b;cout a b endl endl;swap(a, b);cout a b endl endl;cout ------------------------------- endl;double c 2.1, d 3.1;cout c d endl endl;swap(c, d);cout c d endl endl;cout ------------------------------- endl;return 0;
} 函数模板的实例化 用不同类型的参数使用函数模板时称为函数模板的实例化。模板参数实例化分为 1️⃣: 隐式实例化 2️⃣: 显式实例化 隐式实例化 隐式实例化 让编译器根据实参推演模板参数的实际类型 templateclass T
T Add(const T left, const T right)
{return left right;
}
int main()
{int a1 10, a2 20;double d1 10.0, d2 20.0;Add(a1, a2); //编译器推出T是intAdd(d1, d2); //编译器推出T是doublereturn 0;
} ⚠ 注意但是我调用的时候如若这样就会出错 int main()
{int a1 10, a2 20;double d1 10.0, d2 20.0;Add(a1, d1); //err 编译器推不出来/*
该语句不能通过编译因为在编译期间当编译器看到该实例化时需要推演其实参类型
通过实参a1将T推演为int通过实参d1将T推演为double类型但模板参数列表中只有
一个T编译器无法确定此处到底该将T确定为int 或者 double类型而报错
注意在模板中编译器一般不会进行类型转换操作因为一旦转化出问题编译器就需要背黑锅*/
} 此时我们发现在模板函数里面,形参不匹配就会出现报错 编译器无法确定这里的T到底是int还是double。此时有两种处理方式法一用户自己来强制转化 int main()
{int a1 10, a2 20;double d1 10.0, d2 20.0;Add(a1, (int)d1); //强制类型转换。或者Add((double)a1, d1);
} 法二使用显式实例化 接下来进行讲解。 显式实例化 显式实例化在函数名后的中指定模板参数的实际类型 继刚才的例子法二使用显式实例化 templateclass T
T Add(const T left, const T right)
{return left right;
}
int main()
{int a1 10, a2 20;double d1 10.0, d2 20.0;//显示实例化Addint(a1, d1); //double隐式类型转换成int Adddouble(a1, d2); return 0;
} 模板支持多个模板参数 templateclass K, class V //两个模板参数
void Func(const K key, const V value)
{cout key : value endl;
}
int main()
{Func(1, 1); //K和V均intFunc(1, 1.1);//K是intV是doubleFuncint, char(1, A); //多个模板参数也可指定显示实例化不同类型
} 模板参数的匹配原则 原则1 一个非模板函数可以和一个同名的函数模板同时存在而且该函数模板还可以被实例化为这个非模板函数 //专门处理int的加法函数
int Add(int left, int right)
{return left right;
}
//通用加法函数
templateclass T
T Add(T left, T right)
{return left right;
}
int main()
{Add(1, 2); //会调用哪个Add函数
} 首先这俩Add可以同时存在关键是我调用Add时调的是模板函数Add还是专门的Add 通过反汇编得知调用的是专属Add函数。得出结论编译器在调用时有现成的就调用现成的没有就套用模板。当然我们也有办法强制让编译器走模板函数如下 void Test()
{Add(1, 2); // 与非模板函数匹配编译器不需要特化Addint(1, 2); // 调用编译器特化的Add版本
} 原则2对于非模板函数和同名函数模板如果其他条件都相同在调动时会优先调用非模板函数而不会从该模板产生出一个实例。如果模板可以产生一个具有更好匹配的函数 那么将选择模板 // 专门处理int的加法函数
int Add(int left, int right)
{return left right;
}
// 通用加法函数
templateclass T1, class T2
T1 Add(T1 left, T2 right)
{return left right;
}
void Test()
{Add(1, 2); // 与非函数模板类型完全匹配不需要函数模板实例化Add(1, 2.0); // 模板函数可以生成更加匹配的版本编译器根据实参生成更加匹配的Add函数
} 四、类模板 类模板的概念 类模板是对成员数据类型不同的类的抽象它说明了类的定义规则一个类模板可以生成多种具体的类。与函数模板的定义形式类似 类模板也是使用template关键字和尖括号“”中的模板形参进行说明类的定义形式与普通类相同。 类模板格式 首先来看到的就是其定义格式函数模版加在函数上那对于类模版的话就是加在类上 templateclass T1, class T2, ..., class Tn
class 类模板名
{// 类内成员定义
}; 我们以下面这个Stack类为例来进行讲解 如果你学习了模版的相关知识后一定会觉得这个类的限制性太大了只能初始化一个具有整型数据的栈如果此时我想要放一些浮点型的数据进来的话也做不到代码如下 // C 正常情况下如果需要不同类型的类int char double 等
typedef int DataType;
class Stack
{
public:// 构造函数Stack(int capacity 3) //初始化列表:_array(new DataType[capacity]) // 开辟一个DateType的动态数组并进行初始化, _capacity(capacity),_size(0){}void Push(DataType data){// CheckCapacity();_array[_size] data;_size;}// 其他方法...~Stack(){delete[]_array;_array nullptr;_size _capacity 0;}
private:DataType* _array;int _capacity;int _size;
};
int main()
{Stack s1;return 0;
} 如果没有模版技术的话你会如何去解决这个问题呢很简单那就是定义多个类这是我们同学最擅长的事CV一下两个栈就有了StackInt存放整型数据StackDouble存放浮点型数据 class StackInt
class StackDouble但是本文我们重点要讲解的就是【模版技术】技术界有一句话说得好 “不要重复造轮子” 下面就是使用模版去定义的一个类简称【模板类】不限制死数据类型将所有的DataType都改为【T】代码如下 templateclass T1
class Stack
{
public:// 构造函数Stack(int capacity 4):_a(new T1[capacity]),_capacity(capacity),_size(0){}void Push(T1 data){_a[_size] data;_size;}// ...其他方法// 析构函数~Stack(){delete[]_a;_a nullptr;_capacity _size 0;}
private:T1* _a;int _capacity;int _size;
};int main()
{Stackint s1;Stackdouble s2;return 0;
} 类模板的实例化 类模板实例化与函数模板实例化不同类模板实例化需要在类模板名字后跟然后将实例化的类型放在中即可类模板名字不是真正的类而实例化的结果才是真正的类 可以看到因为我们将这个类定义为了类模版此时便可以去初始化不同数据类型的栈了上面说到过Stack是类名但是像Stackint、Stackdouble这些都是它的类型 int main()
{Stackint s1; // intStackdouble s2; // doubleStackchar s3; // charreturn 0;
}类模板的分离编译 上面这样写的栈代码其实并不是最规范的写法还记得我们在学习C类和对象讲到过一个类要声明和定义分离那对于模板类也同样适用我们马上来看看首先进行栈 类的模板声明 #include iostream
#include stdio.h
#include stdlib.h
using namespace std;templateclass T1
class Stack
{
public:// 构造函数Stack(int capacity 4);//插入函数void Push(T1 data);// 其他方法....// 析构函数~Stack();
private:T1* _a;int _capacity;int _size;
}; 其次进行栈 类的模板定义先看一下构造函数的定义 // 构造函数
Stack::Stack(int capacity):_a(new T1[capacity]),_capacity(capacity),_size(0)
{} 不过呢可以看到直接像我们之前那样去进行类外定义似乎行不通说缺少类模版“Stack”的参数列表因为这个成员函数内部也使用到了模版参数T那么这个函数也要变为函数模版才行 这里要强调一点的是对于普通类来说类名和类型是一样的 像构造函数它的函数名就是类名可是对于模板类来说是不一样类名和类型不一样这里Stack只是这个模版类的类名罢了但我们现在需要的是类型此处就想到了我们在上面所学的【显式实例化】这个模板类的类型即为StackT 所以正确的写法为 #include Stack.htemplateclass T1
// 构造函数
StackT1::Stack(int capacity):_a(new T1[capacity]),_capacity(capacity),_size(0)
{}
templateclass T1
// 插入函数
void StackT1::Push(T1 data)
{_a[_size] data;_size;
}
// 析构函数
templateclass T1
StackT1::~Stack()
{delete[]_a;_a nullptr;_capacity _size 0;
} ⚠ 注意类模板是不支持声明定义测试分开写的会出现链接编译错误如下 解决方法将测试和定义写在一起这样就不会报错啦 五、总结 首先呢我们介绍了什么是【函数模版】新学习了一个关键字叫做template用它再配合模版参数就可以去定义出一个函数模版有了它我们在写一些相同类型函数的时候就无需去进行重复的CV操作了在通过汇编观察函数模版的原理后清楚了我们只需要传入不同的类型此时模版参数就会去进行一个自动类型推导从而产生不同的函数。函数模版定义好后还要对其实例化才能继续使用但此时要注意的一点是如果传递进去的类型个数与模版参数的个数不匹配的话其就无法完成自动类型推导因为这会产生一个歧义。所以想要真正学好模版这点是一定要搞清楚的接下去呢我们又学习了【类模版】没想到吧类也可以变成一个模版以Stack类为例对于类模版而言其类名和类型与普通类是不一样的这点要注意了尤其体现在类的成员函数放在类外进行定义的时候也要将其定义为函数模版函数名前面指明其类型这才不会出问题。有了类模版之后我们去显式实例化不同的数据类型后也可以让模版参数去做一个自动类型推导从而得到不同数据类型的栈 六、共勉 以下就是我对C 模板的理解如果有不懂和发现问题的小伙伴请在评论区说出来哦同时我还会继续更新对CSTL库的理解请持续关注我哦
