打印
[技术问答]

void 型指针的高阶用法,你掌握了吗?

[复制链接]
441|12
手机看帖
扫描二维码
随时随地手机跟帖
跳转到指定楼层
楼主
piteqiu|  楼主 | 2020-5-28 19:12 | 只看该作者 |只看大图 回帖奖励 |倒序浏览 |阅读模式
void指针一般被称为通用指针或叫泛指针。它是C语言关于纯粹地址的一种约定。当某个指针是void型指针时,所指向的对象不属于任何类型。 因为void指针不属于任何类型,则不可以对其进行算术运算,比如自增,编译器不知道其自增需要增加多少。比如char *型指针,自增一定是指针指向的地址加1,short *型指针自增,则偏移2。
在C/C++中,在任意时刻都可以使用其它类型指针来代替void指针,或者用void指针来代替其他类型指针。由这些特性就可以衍生出很多比较有用的技巧。指针的本质,是其值为一个地址,那么延伸一下:
当使用关键字void声明指针变量时,它将成为通用指针变量。 任何数据类型(char,int,float等)的任何变量的地址都可以赋值给void指针变量。
对指针变量的解引用,使用间接运算符*达到目的。 但是在使用空指针的情况下,需要转换指针变量以解引用。 这是因为空指针没有与之关联的数据类型。 编译器无法知道void指针指向的数据类型。 因此,要获取由void指针指向的数据,需要使用在void指针位置内保存的正确类型的数据进行类型转换。

使用特权

评论回复

相关帖子

沙发
piteqiu|  楼主 | 2020-5-28 19:13 | 只看该作者
对于空指针的解引用,你如不信,就来看看栗子:
看到了吧,直接解引用编译不过,因为编译器蒙了。

使用特权

评论回复
板凳
piteqiu|  楼主 | 2020-5-28 19:14 | 只看该作者
但须注意的是:
  • 不同的编译器对void指针处理是不一样的,如IAR,ANSI C,VC对上述都将出错,而GNU指定“void”的算法操作与“char”一致,因此上述写法在GNU则可以编译
所以做个类型转换,修正如下:
  • void型指针解引用须做类型指定。
  • 类型转换的时候须注意类型匹配。

使用特权

评论回复
地板
piteqiu|  楼主 | 2020-5-28 19:14 | 只看该作者
另外,**如果函数类型可以是任意类型的指针,则需将其参数定义为void ***,例如string.h中关于内存操作的函数集:
__EFF_NENW1NW2   __ATTRIBUTES   int       memcmp(const void *, const void *,
                                                   size_t);
  __EFF_NENR1NW2R1 __DEPREC_ATTRS void *    memcpy(void *_Restrict,
                                                   const void *_Restrict,
                                                   size_t);
  __EFF_NENR1NW2R1 __DEPREC_ATTRS void *    memmove(void *, const void *,
                                                    size_t);
  __EFF_NENR1R1    __DEPREC_ATTRS void *    memset(void *, int, size_t);


使用特权

评论回复
5
piteqiu|  楼主 | 2020-5-28 19:15 | 只看该作者
非易失存储管理应用
在单片机开发中,往往需要实现数据的非易失存储。所谓非易失存储,就是数据改写后在掉电后仍然能保持。哪些是非易失存储介质呢?比如EEPROM,FLASH等都属于非易失存储介质。
比如一个产品里面有很多各种各样的参数,且分布在各个子系统文件中。举个栗子:
/*模块A中有这样一个结构体需要非易失存储*/
typedef struct _t_paras{
   int language;/*语言种类*/
   char SN[20]; /*产品序列号*/
}T_PARAS;
T_PARAS sysParas;

/*模块B中有这样一个结构体需要非易失存储*/
typedef struct _t_pid{
   float kp;
   float ki;
   float kd;
   float T;
}T_PID;
T_PID pidParas;
面对这样一个需求,要实现非易失存储,我在将底层的EEPROM/FLASH读写函数实现的基础上,将上述应用数据按照一定顺序存储管理。那么更为理想的方式是什么呢?设计一个模块专门负责存储非易失数据。比如:
typedef struct _t_nv_layout{
     void * pElement; /*参数地址*/
     int    length;   /*参数长度*/
}T_NV_LAYOUT;
/*参数映射表*/
T_NV_LAYOUT nvLayout[]={
    {&sysParas,sizeof(T_PARAS)},/*参数映射记录*/
    {&pidParas,sizeof(T_PID)},
    ...
};
/*参数映射表记录条数*/
#define NV_RECORD_NUMBER  (sizeof(nvLayout)/sizeof(T_NV_LAYOUT))
void nv_load(T_NV_LAYOUT *pLayout,int nvAddr,int number);
void nv_store(T_NV_LAYOUT *pLayout,int nvAddr,int number);


使用特权

评论回复
6
piteqiu|  楼主 | 2020-5-28 19:16 | 只看该作者
将上述设计思想,利用UML描述一下:

使用特权

评论回复
7
piteqiu|  楼主 | 2020-5-28 19:17 | 只看该作者
在上述基础上,我们只需要设计硬件层抽象,即可设计出一个可行的、比较通用的NV管理子系统,这样设计出的子系统忽略了业务数据,仅仅将其处理为数据,并不关心其业务意义。实现了业务逻辑与后台的隔离解耦。做到了通用性。这里就比较巧妙的利用了void *指针的特性。如果对于该设计思想,在进一步延伸,将底层的抽象在做一层封装,将更细节的底层实现细节隔离抽象,比如:
  • 抽象I2C/SPI EEPROM,将其对上层的调用接口统一,那么如果你的系统原本是存储在I2C EEPROM中,现在做一个新项目,你需要使用另外一种SPI接口的EEPROM,则只需要实现相应的底层处理函数即可。
  • 将存储介质抽象,比如是EEPROM/DATA FLASH等...
  • ....
那么怎么做到底层抽象呢,我们可以利用函数指针定义统一的接口,具体部署时,只需要将实现函数的指针赋值给对应的函数指针即可,这样就做到了接口的抽象统一。其实这就是驱动模型的一个简易雏形。

使用特权

评论回复
8
piteqiu|  楼主 | 2020-5-28 19:17 | 只看该作者
总结一下
这篇**引入了一些编程思想,对于单片机/嵌入式进阶编程比较有用:
  • 利用void *指针,将业务数据与底层存储实现了抽象解耦
  • 利用分层抽象实现了代码具有良好的可移植性
  • 利用函数指针实现了C++等高级语言的虚函数定义接口的思想
  • 统一接口底层实现抽象,实现了驱动分层的思想
  • void *指针由这个例子,可以延伸出很多类似的应用
启示:一些语言细节如果深入了解其背后的机理,可以得到很多比较巧妙的应用。

使用特权

评论回复
9
zljiu| | 2020-6-1 17:36 | 只看该作者
非常感谢楼主分享

使用特权

评论回复
10
coshi| | 2020-6-1 17:36 | 只看该作者
感觉好深奥啊

使用特权

评论回复
11
aoyi| | 2020-6-1 17:37 | 只看该作者
讲解的很不错

使用特权

评论回复
12
drer| | 2020-6-1 17:37 | 只看该作者
长知识了 呵呵

使用特权

评论回复
13
gwsan| | 2020-6-1 17:37 | 只看该作者
楼主辛苦了

使用特权

评论回复
发新帖 我要提问
您需要登录后才可以回帖 登录 | 注册

本版积分规则

39

主题

292

帖子

0

粉丝