首先,说一下 void * 出现之前的解决方案:char * 在 void 类型出来之前充当通用指针的角色,但是 ASCII 指定了 void 关键字,则对于通用指针,void * 代替了 char *,但是仍然可以使用 char * 理解 void * 。
然后,从 char * 角度来分析,因为 char 是计算机中最基本的内存单元(8 bit),故任何其他类型都是 char 的整数倍,所以任何类型的指针赋值给 char * 后都会被正确地截断为原类型的内存首地址,并且重新解释不会给原数据类型带来错误。
进而得出核心的原理:
(1)在原指针对象的生命周期内, 将其转换成 char * 属于等大小转换,也就是说,任何指针的大小都是相等的。
(2)char * 保存的是原对象的内存首地址,这值与原指针对象保存的值相等。
(3)在原指针对象的生命周期内,将转换得到的 char * 重新转换成原来的指针对象,仍然会是最初的样子。
最终得出结论:char * 可以做通用指针, void * 可以做通用指针。
tips:针对指针,ANSI C标准明确了它的赋值约束条件(包括初始化):
1. 两个操作数都是指向有限定符或者无限度符的相容的指针;
2. 作操作数的指针所指向的类型必须具有右操作数指针所指向类型的全部限定符(左操作数的限定符可以更多)。