在上一篇博客中:
C语言-指针讲解(3)
我们给大家介绍了指针进阶的用法
让下面我们来回顾一下讲了什么吧:
1.字符指针变量类型以及用法
2.数组指针本质上是一个指针,里面存放数组的地址。而指针数组本质上是个数组,里面存放的是指针,指向的是整型数组。
以及数组指针变量的用法。
3.二维数组传参的本质:
4.函数指针以及函数指针变量的用法和举例
5.函数指针数组的概念以及函数指针数组的用法。
6.用函数指针数组作为转移表来实现整个计算器的代码逻辑。
回调函数就是一个通过函数指针调用的函数。
如果我们把函数的指针(地址)作为参数传递给另一个函数,当这个指针被用来调用所指向的函数时,被调用的函数就是回调函数。回调函数不是由该函数的实现方直接调用,而是在特定的事件或条件发生时由另外一方调用的,用于对该事件或条件进行相应。
我们在上一篇博客:C语言-指针讲解(3)
中。
已经讲过红色框中的代码是重复出现的,虽然里面执行计算的逻辑是区别的,但是输入输出操作时冗余的,有没有办法可以简化一些呢?
答案是有的。
我们发现红色框中的代码,只有调用函数的逻辑是有差异的,我们可以把调用的函数的地址以参数的形式传递过去,然后使用函数指针接收,函数指针指向的函数就调用什么函数,这里其实使用的就是回调函数的功能。
在介绍qsort函数之前,我们首先分享一个查阅C/C++库函数的网站给大家:
C/C++库函数官网查询
通过上图的分析,我们发现qsort中的第二、三个参数都是比较常见的。那我们就重点介绍第一个参数和第四个参数吧。
根据上图的介绍,我们不难看出qsort第一个参数的意思是base指向待排序的第一个元素。但是为什么它前面的类型是void*呢?很多同学可能对此不理解。
下面我来重点介绍一下为什么是前面的类型是void *?
- 比方说:我这里要定义了一个a的变量,而如果说我用char* 的指针变量来接收a的地址,显然是不合理的,因为vs弹出警告说:int * 到 char * 的类型不兼容。
- 反倒void* 是一个通用的指针类型。它可以接受任意数据类型的地址。因此前面的指针类型我们是可以写成void*的。
- 需要注意的是:虽然说这里void * 的指针可以接受任意数据类型的地址,但是呢它还是具有一定的局限性,比方说:我们从上图发现虽然void * 的指针拿到任意数据类型的地址,但是它始终是个无类型的指针,因此我们如果对void*的变量1或-1要访问多少个字节我们是不知道的,同样的道理;我们对它进行解引用操作访问多少个字节,这个也是不知道的。因此像这种写法在vs编译器上是会报错的,所以对于void * 的指针,它只是用来存放地址的,我们可以把任意类型的地址放到void * ,但是void * 的变量不能进行+1,-1,以及解引用的操作。
那这时,可能有同学会想为什么qsort这个函数别人要设计成void*的指针呢?
这是因为,我们知道,qsort这个函数是库函数实现的。
- 我们也可以做个比喻:实现那个代码的人叫程序员A,比方说他设计好这个函数,让我们这些同学以及开发者和全世界的人去使用,但是程序员A,但是他不能预料到别人要用qsort这个函数要排什么类型的数据。
- 比如张三的要用qsort排整型的数据,李四要用qsort来排浮点型的数据,王五要用qsort来排字符串型的数据,甚至有人用qsort来排结构体类型的数据,而结构体类型的数据又被称作为自定义类型的数据。就是我们排什么类型的元素都行,只需把排序的第一个元素的地址传给qsort就行。因为qsort它不知道排什么类型,但是我们把它的地址放到void是不是就行,因为void的指针是可以接受任意类型的地址。
我们之前也对qsort这个函数的第4个参数有所了解,本质就是指向的函数能够比较两个元素。
当然呢,如果我们对第四个参数有更深的理解,我们会发现通过qsort内部去调用指针所指向那个的函数从而比较这两个元素的,并且我们发现这个函数指针返回的值是int型的,因此它们是通过比较两个元素的大小从而确定返回的值是大于0,是等于0,还是小于0?
举个例子:
- 如果p1指向元素的值要比p2指向元素的指向的值要大,返回的是1个大于0的数。
- 如果p1指向元素的值要跟p2所指向的元素的值相等,返回的是0。
- 如果p1所指向的元素要比p2所指向的元素要相小,则返回的是小于0的数。
这里我们演示一下用qsort函数对数组以升序的方式进行排序。
//这个函数能够比较e1和e2指向的两个元素,并且给出返回值
int cmp_int(const void* e1, const void* e2)
{
return *(int*)e1 - *(int*)e2;
}
void print_arr(int arr[], int sz)
{
int i = 0;
for (i = 0; i < sz; i++)
{
printf("%d ", arr[i]);
}
printf("\n");
}
//test1测试qsort排序整型数组
void test1()
{
int arr[] = { 3,1,5,7,2,4,8,6,0,9 };
int sz = sizeof(arr) / sizeof(arr[0]);
print_arr(arr, sz);
qsort(arr, sz, sizeof(arr[0]), cmp_int);
print_arr(arr, sz);
}
int main() {
test1();
return 0;
}
这里可能有同学对于下面这行代码不太理解,博主这里就解释一下吧:
return *(int*)e1 -*(int*)e2;
分析:
- 我们知道cmp_int是个函数指针类型,然后它这个cmp_int 函数指针参数部分e1和e2是个void *的指针,首先我们假设e1存放的是3的地址,而e2存放的是1的地址,那如何比较比较它们的大小呢?其实很简单,我们只需在e1前面加上个 * ,e2前面加上个 * 。
也是就:
*e1, *e2这样子。- 但是那个e1和e2都是void * 的指针,这样是不能直接比较它们的大小的,我们要通过对这e1和e2强转为int * 的指针,然后再对它进行解引用操作,这样比较两个元素的大小。这是什么原理呢?这是因为qsort函数的使用者博主,现在我确实知道当我们排序拿出这组数据的时候,如果cmp_int来比较这两个整型的话。e1指向的是整型,e2指向的是整型,那我们要拿出整型的值,将e1和e2转为整型指针后再解引用,是不是就拿到呢。
- 另外,当我们拿到这两个元素的数据,如果要比较这两个数的大小,那我们只需返回e1-e2的值即可。
这里需要注意的是:
- qsort函数中的第四个参数不一定只是调用了一次cmp_int函数,有可能是调用了多次cmp_int函数。 另外,qsort里面有复杂的代码,它目前对于大家来讲相当于一个黑箱子,大家都不知道里面是怎么实现的,但博主接下来会给大家演示如何模拟实现一个qsort函数。
- 另外,qsort函数第排序的过程中是需要比较大小的,这个可能很多人会有点懵,因为我们排出它的顺序是需要比较大小的,如果我们不知道这些元素的大小是不能对它进行排序的。
我们不妨用vs来运行一下此程序,看看能否把数组中的数字以升序的形式排列出来~
如下图所示:
当然,如果有同学比较好奇,想用qsort函数实现降序的效果,那我们就把cmp_int函数返回值由e1-e2改成e2-e1即可。
当然,我们也可以用qsort函数来排序结构体的数据。
如下所示:
//test2测试qsort函数排序结构体数据
struct Stu //学生
{
char name[20];//名字
int age;//年龄
};
//假设按照年龄来比较
int cmp_stu_by_age(const void* e1, const void* e2) {
return ((struct Stu*)e1)->age - ((struct Stu*)e2)->age;
}
//strcmp - 是库函数,是专门用来比较两个字符串的大小的
//假设按照名字来比较
//int cmp_stu_by_name(const void* e1, const void* e2)
//{
// return strcmp(((struct Stu*)e1)->name, ((struct Stu*)e2)->name);
//}
void test2()
{
struct Stu s[] = { {"zhangsan", 20}, {"lisi", 30}, {"wangwu", 15} };
int sz = sizeof(s) / sizeof(s[0]);
qsort(s, sz, sizeof(s[0]), cmp_stu_by_age);
//qsort(s, sz, sizeof(s[0]), cmp_stu_by_name);
}
int main()
{
test2();
return 0;
}
这里可能有同学对qsort排序结构体的数据不理解,没有关系,博主后期的博客会继续深入介绍C语言结构体方面的知识,大家尽情关注一下哈,目前我们只是看一下qsort排序结构体数据后的结果哦~
这里我们通过放两个动图:一个是按照结构体年龄的数据来排的动图,一个是按照结构体名字的数据来排的动图。
动图一:
这是我们根据结构体年龄升序排列的动图效果。动图2:
这是我们根据结构体名字的顺序来升序排列的动图效果。
这里可能有些同学对这个名字排序有点疑惑,为什么lisi的名字是最小的,而zhangsan这个名字是最大的?
另外,我们讲一下,这里讲的qsort函数其实用的是快速排序的思想,大家如果感兴趣的可以学一下。
这里呢,博主给大家演示用qsort函数来模拟实现一个冒泡排序。
首先呢,我们先给大家看一下普通冒泡排序的代码:
#include
void Bubblesort(int arr[], int sz) {
//趟数
int i = 0;
for (i = 0; i < sz - 1; i++) {
int j = 0;
for (j = 0; j < sz - 1 - i; j++) {
if (arr[j + 1] < arr[j]) {
int tmp = arr[j+1];
arr[j + 1] = arr[j];
arr[j] = tmp;
}
}
}
}
void print_arr(int arr[], int sz) {
for (int i = 0; i < sz; i++) {
printf("%d ", arr[i]);
}
printf("\n");
}
//
int main() {
int arr[] = { 3,1,5,6,9,0 ,15};
int sz = sizeof(arr) / sizeof(arr[0]);
Bubblesort(arr, sz);
print_arr(arr, sz);
return 0;
}
代码分析及其优化:
但是我们发现这个代码局限性比较小,只能对整型进行排序,而如果说我们要对浮点型,字符型,结构体类型进行排序,显然是不可行的?
那我们要怎么优化这个程序呢?
如上图所示,我们发现如果要对这个整型冒泡排序算法改成能够排序任意类型元素的算法。就要做出这三种改变
- 改造参数 - 让这个函数能够接受任意类型的数据
- 改造比较方法 - 让函数能够在排序时,比较不同类型的数据
- 两个数交换部分要改变
首先,如果把参数部分改变,就要改成跟qsort参数类型是一样的。
如下代码所示:void Bubble_sort(void* base, size_t sz, size_t width, int (*Cmp_int)(const void* e1, const void* e2))
- 首先,我们要调用它的Bubble_sort函数中的第四个参数:int (* Cmp_int)(const void* e1, const void* e2)来作为判断条件来比较,因为这个函数指针Cmp_int本质上就是通过指向比较两个元素的函数的指针。重复调用此函数来比较两个元素。而这里,我们假设判断它是否为升序数组:我们就要判断e1-e2是否>0,如果是返回的大于0的数,则交换;反之,则不交换。根据上面的介绍,那个if语句我们可以写成这样:
if(Cmp_int()>0);
那Cmp_int函数的参数类型我们可以写成什么呢?
- 我们发现,这里的参数部分可以写成两个比较元素的地址,因为只要把元素的地址传给Cmp_int函数,然后通过调用这个函数,返回的值如果是e1>e2,就要对这两个元素的值进行交换。
那我们应该怎么改呢?
- 我们可以把代码这样,如下所示:
if (Cmp_int((char*)base + j * width, (char*)base + (j + 1) * width) > 0)
有同学可能不知道为什么要这么改?我们来解释一下把:
如下图所示:
从上图,我们发现,如果我们要找到数组中5的地址,就要跳过2 * width字节,就是跳过2个这么宽的元素;
而如果说要找到数组中的2的地址,就要跳过3 * width个字节。就相当于跳过3个这么宽的元素,这是因为base指针指向的是数组首元素的地址,而width表示的是一个元素类型所占的大小,只有知道一个元素类型的大小,才能访问到它后面元素的地址。 那么照这个规律,我们推而广之,就能得出下面这个式子:(char*)base + j * width;
既然跳过两个整型元素,就是2 * width,那跳过j个整型元素,就是j * width;而跳过(j+1)整型元素就是(j+1) x width。那最终我们条件判断就可以写成这样:
if (Cmp_int((char*)base + j * width, (char*)base + (j + 1) * width) > 0)
需要注意的是,这里的base由void *强转为char * 。是因为char * 是只占一个字节,只有char * 类型才能保证一个一个字节一个字节走的,只有这样才能j * width具体能控制哪个元素。
当我们改造好比较方法后,接下来就要对两个数交换部分进行比较,这个也是比较简单,我们可以封装一个Swap函数,把那两个比较元素的地址以及宽度width作为参数部分传过去。
代码如下:Swap((char*)base + j * width, (char*)base + (j + 1) * width,width);
这里会有同学会有疑问,为什么传的是要传width这个参数给Cmp_int函数呢
- 因为如果是单单传这两个元素参数过去的话,我们是不知道这两个元素有多大的,因为我们在排序过程中,这个冒泡排序程序压根不知道排的是什么类型的数据,它只知道交换的是两个元素的起始地址,因此这里要把它们交换几个字节搞上去。
- 另外当我们进入Swap函数内部,我们形参还是用char *指针的方式来接收,方便之后的交换操作。
根据上图,我们发现当我们要对5和2这两个数字进行交换的话,就要对它们每组的字节数进行交换,并且我们发现这些数字在vs内存中是以十六进制,并且倒着放来进行存储的
如下图所示:
那如果我们要对这两个数进行交换的话,我们是一对字节一对字节地交换,因为它是个char * 的指针。交换完之后buf和buf2进行++的操作,找到下一个字节进行交换,它这里width总共是占4个字节,因此要交换4次就能完成交换的操作。Swap函数内部代码如下:
void Swap(char* buf1, char* buf2, size_t width) { int i = 0; for (i = 0; i < width; i++) { char tmp = *buf1; *buf1 = *buf2; *buf2 = tmp; buf1++; buf2++; } }
如上代码: 我们不难看出,当for循环结束的时候,2和5这两个数字的一组中的字节数全都进行了交换。
综上所述:我们发现以一对字节一对字节地交换非常适用在这种场景下的,反之,不能直接在Swap函数内部创建临时变量来交换数据,比方说:整型占4个字节,浮点型也占4个字节。这种情况下,即使Swap这个函数根据该数据类型的字节数还是不能准确知道它传的数据类型是什么,而用char *的方式创建临时变量,它每次只会交换两个十六进制数,也就是1个字节。这样我们根据width参数所占的字节数,一对字节一对字节地交换能够很好地控制所要交换的次数。
下面是博主模拟实现qsort源代码:
//程序员A,设计一个qsort函数功能,能够排序任意类型的数据
int Cmp_int(const void* e1, const void* e2) {
return (*(int*)e1 - *(int*)e2);
}
void Swap(char* buf1, char* buf2, size_t width) {
int i = 0;
for (i = 0; i < width; i++) {
char tmp = *buf1;
*buf1 = *buf2;
*buf2 = tmp;
buf1++;
buf2++;
}
}
void Bubble_sort(void* base, size_t sz, size_t width, int (*Cmp_int)(const void* e1, const void* e2)) {
int i = 0;
for (i = 0; i < sz - 1; i++) {
int j = 0;
for (j = 0; j < sz - 1 - i; j++) {
if (Cmp_int((char*)base + j * width, (char*)base + (j + 1) * width) > 0)
//为什么要强转为char*,因为char*是占一个字节,只有char才能保证一个字节一个字节走的,只有这样,才能控制j*witdh具体能控制哪个元素
{
Swap((char*)base + j * width, (char*)base + (j + 1) * width,width);
}
}
}
}
如果大家有需要的话实现对任意数据类型进行排序的话,可以借鉴一下博主模拟实现qsort函数的代码哦!
下面博主以动图的方式给大家演示用模拟实现的qsort函数对数据进行排序。
1.数组升序:
2.数组降序:
按结构体的名字排序:
按结构体的年龄排序:
** 好了,今天的分享到这就结束了,如果觉得博主讲得有些知识点不太清楚的话,可以在评论区指出**
** 如果觉得博主讲得还不错的话,希望大家一键三连支持一下!谢谢大家!!!**