C语言二级指针用法之模拟句柄用途
先导
因为在学习中使用到了二级指针进行操作,故而作此总结
提前了解
句柄
- 以下词条来自百度百科
句柄(Handle)是一个是用来标识对象或者项目的标识符,可以用来描述窗体、文件等,值得注意的是句柄不能是常量 。
Windows之所以要设立句柄,根本上源于内存管理机制的问题,即虚拟地址。简而言之数据的地址需要变动,变动以后就需要有人来记录、管理变动,因此系统用句柄来记载数据地址的变更。在程序设计中,句柄是一种特殊的智能指针,当一个应用程序要引用其他系统(如数据库、操作系统)所管理的内存块或对象时,就要使用句柄 。
二级指针
指针是C语言中最高深莫测的部分了,能够直接操作内存的这些指针如果使用得当的话可以完成很多很高效的代码。而二级或者多级指针则能够达到你之前想都不敢想的效果。
- 以下来自于百度百科
A(即B的地址)是指向指针的指针,称为二级指针,用于存放二级指针的变量称为二级指针变量.根据B的不同情况,二级指针又分为指向指针变量的指针和指向数组的指针。
提出需求
这次总结的内容则是将指针当做句柄放进函数当形参是动态地申请空间来用作其他用途的。
首先,我们要知道,我们如果直接把指针变量的地址当做函数的实参,去在函数里面申请空间,由于形参定义是一级指针,是无法拿到动态申请的空间的,以下就是一个实例
#include <stdio.h>
static void get_space(int* p)
{
p = (int *)malloc(sizeof(int));
*p = 16;
}
int main()
{
int a = 10;
int* pa = &a;
printf("*pa=%d \t pa=%p \n", *pa, pa);
get_space(&pa);
printf("*pa=%d \t pa=%p \n", *pa, pa);
get_space(pa);
printf("*pa=%d \t pa=%p \n", *pa, pa);
return 0;
}
显然,这个结果正和上面所说的,在main
函数传进去的实参,无论是指针变量还是地址,在函数里面的操作并不能通过一级指针的形参返回动态申请的空间,这样做很容易出现野指针现象。
原因其实很简单,在形参定义的一级指针变量只是有从实参传递过来的地址而已,无论是指针变量内的地址还是指针变量本身的地址,只是存在形参一级指针变量当中,正如上面表现的,不管指针变量p
的内容是pa
或者pa的地址
,只要使用p
去获取空间的地址,便会使得指针p
的内容从pa
或者pa的地址
变成新空间的地址,而在main
函数中的pa
并没有被影响到。
注意:上面的情况不要尝试用*p
配合实参是pa的地址
来接受新空间,会造成段错误,因为那样就是用一个int
型的变量去接受一个int*
型的值了
那么,如果我想通过指针去在函数中获取动态的空间要如何操作
解决方案
其实通过上面的注意事项已经有一点眉目了,要想使用*
符号来提取地址内容的方法来获得修改主函数传递的指针变量的内容权限的原理就是使得*p
能够代表一个地址。由此可见,指针的指针那就是二级指针了,表现在代码中就是将上述的形参定义为二级指针并使用主函数的一级指针变量去传递参数。
#include <stdio.h>
static void get_space(int** p)
{
*p = (int *)malloc(sizeof(int));
int* temp = *p;
*temp = 66;
}
int main()
{
int a = 10;
int* pa = &a;
printf("*pa=%d \t pa=%p \n", *pa, pa);
get_space(&pa);
printf("*pa=%d \t pa=%p \n", *pa, pa);
return 0;
}
运行得到以下结果:
由此便能通过一个指针在函数中去动态申请空间并返回上一层中了。
应用场景
光是看上面的例子并不能了解这种方法的强大之处,但是模仿上面所说的句柄的思想,来举例说说这个方案的好处吧。
首先假设,你负责一个项目的某个模块的编写,需要编写出测试app,模块实现以及该模块所需的协议,并且为了减少各个方法与模块之间的耦合性以及代码的简洁效率等因素不允许大量使用全局变量,但是你要完成这个模块有需要很多的变量来存储一些参数以供该模块实现内的各个方法进行调用,这时候要怎么解决呢?
结构体是解决这种变量多的一种方案,但是如果在模块内使用全局变量的话你又如何管理这些空间呢(如果里面有较大的空间占用),只能等程序结束时清除吗
这时候使用一个指针变量来保存一个动态空间的地址来进行操作显然更方便,也就是使用一个void*
型指针变量来存储地址,在模块初始化时申请空间,模块进行功能时将地址下放,用完后动态地清理该空间。而这个void*
型的指针就是本次提出的句柄的模仿。
光是空口说出有点不太好说明该方案的可行性,下面用一个小例子来证明:
- 假设下面的主函数函数和其他函数不在同一文件中
#include <stdio.h>
#include <stdlib.h>
typedef struct couple_num
{
int a;
char b;
} couple_num_t;
void get_space(void** a)
{
printf("*a addr:%p\n", *a);
*a = (couple_num_t *) malloc (sizeof(couple_num_t));
printf("%p\n", a);
couple_num_t *p = *a;
p->a = 1000;
p->b = 'r';
}
void show(void *a)
{
printf("*a addr:%p\n", a);
couple_num_t* temp = a;
printf("show:\n%d\n%c\n",temp->a, temp->b);
}
void release(void** a)
{
free(*a);
}
int main()
{
void *p = NULL;
printf("origin p addr:%p\n", p);
get_space(&p);
printf("after change p addr:%p\n", p);
couple_num_t* temp = p;
printf("temp:%d\n",temp->a);
show(p);
release(&p);
printf("after release p addr:%p\n", p);
show(p);
getchar();
return 0;
}
运行结果如下:
可以看到,使用这种方法,不用在主函数暴露结构体内容,也能够将结构体的地址空间进行掌握,高效的利用了指针的特性完成功能,使得各个方法之间相互影响减少,参数传递也简单,并且在使用完成后还能动态清除空间。
后记
这种方法在C语言下设计功能模块时特别有用,模仿了面向对象的句柄思想,减少模块间的耦合(不使用全局变量,各方法就不会无意间相互干扰了)。