void*是怎样的存在?
——转载自知乎void*是怎样的存在
说到C就不得不提指针,而一提到指针,有一个是比较特殊的,那就是void*
。void*
到底是怎样的存在?
指针类型的含义
在说明void*
之前,先了解一下普通指针类型的含义。
1 |
|
上面的输出结果为:
1 |
|
对于上面的结果,也许你并不感到意外。如果你的疑问是为什么不是2而是3,那么建议你想想同样是指针类型,b和c有什么区别?
一个是指向整型的指针,一个是指向char型的指针,当它们执行算术运算时,它们的步长就是对应类型占用空间大小。
即
1 |
|
040302012019字节0字节1字节2字节3字节4~7
指针移动4个字节后,指向的就是2019了,解引用自然得到2019。而对于c
1 |
|
它的指向如下:040302012019字节0字节1字节2字节3字节4~7
解引用之后,自然得到3。
结论
各种类型之间没有本质区别,只是解释内存中的数据方式不同。例如,对于int型指针b,解引用时,会解析4字节,算术运算时,也是以该类型占用空间大小为单位,所以b+1,移动4字节,解引用,处理4字节内容,得到2019。对于char型指针c,解引用时,会解析1个字节,算术运算时,也是以sizeof(char)为单位,所以c+1,移动一字节,解引用,处理1字节,得到03。所以像下面这样的操作:
1 |
|
如果你试图解引用b,即*b,就可能遇到无法预料的问题,因为将会访问非法内存位置。a+2,移动sizeof(char)字节,指向03,此时按照int类型指针解引用,由于int类型解引用会处理4字节内存,但是后面已经没有属于数组a的合法内容了,因此可能出错。
指针占用空间大小
正由于它们没有本质区别,它们占用空间大小在同一个程序中都是固定的,对于32位程序,占用4字节空间,64位占用8字节,而正因如此,64位程序理论能使用的内存是足够大的,而32位程序理论上能使用的不过4G(2^(4*8bit)),再加上内核空间的使用,真正能用到的可能就3G左右。如果你的系统是64位的,那么默认情况下,编译出来的程序也是64位的。如果你想编译为32位,可以使用-m32参数:
1 |
|
如何确定是多少位的程序:
1 |
|
上面的ELF32,表明了它是32位程序。或者可以看Machine字段:
1 |
|
void*
说回void*,前面说了,指针的类型不过是解释数据的方式不同罢了,这样的道理也可用于很多场合的强制类型转换,例如将int类型指针转换为char型指针,并不会改变内存的实际内容,只是修改了解释方式而已。而void *是一种无类型指针,任何类型指针都可以转为void\*
,它无条件接受各种类型。而既然是无类型指针,那么就不要尝试做下面的事情:
- 解引用
- 算术运算
由于不知道其解引用操作的内存大小,以及算术运算操作的大小,因此它的结果是未知的。
1 |
|
编译警告如下:
1 |
|
如何使用
既然如此,那么void有什么用呢?实际上我们在很多接口中都会发现它们的参数类型都是void,例如:
1 |
|
为何要如此设计?因为对于这种通用型接口,你不知道用户的数据类型是什么,但是你必须能够处理用户的各种类型数据,因而会使用void*。void能包容地接受各种类型的指针。也就是说,如果你期望接口能够接受任何类型的参数,你可以使用void类型。但是在具体使用的时候,你必须转换为具体的指针类型。例如,你传入接口的是int*,那么你在使用的时候就应该按照int*使用。
注意
使用void*需要特别注意的是,你必须清楚原始传入的是什么类型,然后转换成对应类型。例如,你准备使用库函数qsort进行排序:
1 |
|
它的第三个参数就是比较函数,它接受的参数都是const void*,如果你的比较对象是一个结构体类型,那么你自己在实现compar函数的时候,也必须是转换为该结构体类型使用。举个例子,你要实现学生信息按照成绩比较:
1 |
|
在将其传入studentCompare
函数后,必须转换为其对应的类型进行处理。
总结
void很强大,但是一定要在合适的时候使用;同时强转很逆天,但是一定要注意前后的类型是否真的能正确转换。通俗地说void:
- 这里有一片内存数据,我也不知道什么类型,给你了,你自己想怎么用怎么用吧,不过要用对奥!
- 我这里什么类型都能处理,你给我一片内存数据就可以了