【重学C/C++系列(八)】:如何理解C++中的void*?

简介: 首先void*中的void代表一个任意的数据类型,"星号"代表一个指针,所以其就是一个任意数据类型的指针。

1.定义

首先void*中的void代表一个任意的数据类型,"星号"代表一个指针,所以其就是一个任意数据类型的指针。

对于指定数据类型的指针如int ,double等,他们的sizeof都是4个字节,因为都是一个指针,只是指针指向的数据类型不一致。

C语言是一个强类型的语言,那么他们之间有什么区别呢前面一篇文章我们说过,指针+1和-1是和指向数据类型有关的

假设指针值为0x00000001,指针类型为int类型,整数为n,则计算出来的结果为0x00000001+ n乘以4,这里的4是因为指针类型为int,如果是double,则为0x00000001+ n乘以8. 所以我们使用double类型指针+1,地址移动了8位,而用int指针+1,地址移动了4位,就是这个道理。
这说起来其实和数据内存对齐有关。你可以把这里的4和8理解为跳跃力。

那对于void*呢?其实就是一个未指定跳跃力的指针

那void*的跳跃力又什么时候指定?在需要使用的时候指定就可以了,好处:可以实现泛型编程,节省代码

2.void*使用场景

2.1:当函数传参时不确定数据类型时或者支持多种数据类型传递时。

代码如下:

void say(int type,void* pArgs) {
    switch (type) 
    {
        case 0:
        {
            double* d = (double*)pArgs;
            break;
        }    
        case 1:
        {
            int* i = (int*)pArgs;
            break;
        }        
    }
}

该函数使用一个type来表示当前参数void*的类型,内部通过type判断转换的类型。

2.2:函数返回值不需要考虑类型,只关心返回的大小。

如malloc函数:

原型:

void* malloc(size_t size)

代码使用:

int* a = nullptr;
double* b = nullptr;
b = (double*)malloc(sizeof(double));
a = (int*)malloc(sizeof(double));

可以看到malloc返回值类型为void*,其只返回分配内存的大小,不关心分配后的内存你是使用int还是double类型进行划分.

注意:函数外部在接收到void*格式的返回值时,需要强转为自己的数据类型才能使用。

3.void*使用中的注意点:

1.使用赋值运算符“=”时,void*只能作为左值不能作为右值。

void*作为一个未指定数据类型的指针,可以指向任何一个数据类型的指针,但是有数据类型的指针,不能指向一个void* 的指针。

代码如下:

int i = 5;
int* pi = &i;
void* pv = pi;
int* pi1 = pv;//编译错误,void*类型的指针不能初始化为指定类型的指针

这其实是可以理解的:

假设void*指定了一个非int类型的数据,如果此时赋值给int*类型的指针,则会发生严重的bug**。

2.void*类型必须强转为指定类型的数据才能使用。

void在未指定类型的情况下,是不能直接使用的,只有在转换为显示类型后才能使用*

代码如下:

int i = 5;
int* pi = &i;
void* pv = pi;
//cout << *pv << endl;//表达式必须是指向完整对象类型的指针
cout << *(int*)pv << endl;

代码中可以看出在未强转为显示类型前,使用void*会报表达式必须是指向完整对象类型的指针.

说明void*一定要强转后才能使用.

没有强转的void*是没有意义的。

那可能有同学要问了,假设我们并不知道当前void*数据类型,强转错误了会发生什么事。

int i = 5;
int* pi = &i;
void* pv = pi;

cout<<"(int*)pv:" << (int*)pv << endl;
cout<<"(double*)pv:" << (double*)pv << endl;
cout <<"*(int*)pv:" << *(int*)pv << endl;
cout <<"*(double*)pv:" << *(double*)pv << endl;

运行结果:
(int*)pv:0043F724
(double*)pv:0043F724
*(int*)pv:5
*(double*)pv:-9.25596e+61

此时可以看到虽然pv强转为double后,指针指向的地址和强转为int类型指针指向地址是一样的都是0x0043F724。但是取值后就发生了异常,因为double占用的是8个字节,所以取值的是后8位字节,所以取到的是一个错误的值,实际只有4个字节是有效的。

我们在使用void*强转的时候一定要注意这点

3.C++中使用(void*)0表示空指针。

在C语言中空指针定义方式:

#define NULL ((void*)0)

在C++语言中:

#ifndef NULL
    #ifdef __cplusplus
        #define NULL 0
    #else 
        #define NULL ((void*)0)
    #endif
#endif
可以看到在C语言中NULL代表(void*)0,而在C++中NULL代表的是0,使用nullptr来表示(void*)0空指针,
所以在C++中推荐使用新标准的nullptr来初始化一个空指针。

4.当void*作为函数的参数类型或者返回值类型时,说明该函数可以接收或者返回任意类型的指针。

代码如下:

void* _say(void* pArgs) {
    return pArgs;
}
int  main()
{
    int _a = 5;
    float f = 10.8;
    int* _pi = &_a;
    float* pf = &f;

    cout << *(int*)_say(_pi) << endl;
    cout << *(float*)_say(pf) << endl;

}
运行结果:
5
10.8

代码中可以看出参数void* pArgs可以使用任意类型的实参,返回值也可以返回任意类型的指针,但是最终需要转换为具体类型才能使用。

void*在C++中的作用其实就是为了实现泛型编程,和Java中使用Object来表示是一样的,所以又称为通用指针和泛指针,不过C++中大部分情况下会使用模板编程来实现泛型

上面_say函数代码可以使用下面模板函数代替:

T _say(T t) {
    return t;
}

区别在于:模板编程不需要将强制转换为具体类型,其使用方式如下:

int _a = 5;
float f = 10.8;
int* _pi = &_a;
float* pf = &f;

cout <<*_say(_pi) << endl;
cout << *_say(pf) << endl;

未强转也可以直接得出结果,这是因为模板编程会在编译器帮我们生成具体的函数。
调用了两次_say会分别实现:

float* _say(float* t) {
    return t;
}
int* _say(int* t) {
    return t;
}

所以运行的时候是调用了不同的函数,而使用void*的泛型只调用一个函数。

总结

  • 1.void*是一个过渡型的指针状态,可以代表任意类型的指针,取值的时候需要转换为具体类型才能取值。其是处于数据类型顶端的状态:

  • 2.void 使用赋值运算符“=”赋值时,只能将具体类型赋值给void星,不能将void赋值给具体类型。
  • 3.void*一般作为参数或者返回值来实现泛型编程,但是C++中一般考虑使用模板编程来实现。
相关文章
|
5月前
|
NoSQL API Redis
c++开发redis module问题之为什么在使用RedisModule_GetApi之前要通过((void**)ctx)[0]这种方式获取其地址
c++开发redis module问题之为什么在使用RedisModule_GetApi之前要通过((void**)ctx)[0]这种方式获取其地址
|
7月前
|
算法 安全 程序员
C++ “万能血“ void*指针
C++ “万能血“ void*指针
107 1
|
安全 Linux 开发工具
C++11 智能指针之shared_ptr<void>
基于Alexa的全链路智能语音SDK基于C++实现了跨平台特性,跑通了Android、Mac、Linux等设备,在兼容iOS时发现iOS未提供音频采集和播放的C++接口,所以需要改造SDK,允许SDK初始化时注入外部的采集器和播放器实现类,同时SDK中的Android播放器是基于ffmpeg解码 + opensl实现,但是考虑到包体积的问题,准备也基于这个接口在外部实现基于Android硬件解码的播放器。
528 0
|
C++
自定义C++ void swap(int& ra, int * pb)函数
这是一个软考和c++考试的一个经典面试题,给出5空,然后了,检测swap函数怎么写,主要考察的就是对于指针与引用的理解,难点为,很多人都不知道第三空填啥,因为我们通常写的c++的swap函数没有这一行,下面给出我的答案。
116 0
|
C# C++ 网络协议
|
C++ 网络性能优化 计算机视觉
C/C++使用VOID指针保存结构体数据到二进制文件并且读取
只是演示,细节没有过多注意 程序如下: 主程序: /*************************************************************************   > File Name: change.
1207 0
|
C++
关于C/C++ void指针,使用void指针拷贝int 数组
在C/C++中void代表的就是无类型或者为空,作为void *p这样的定义则说明这个指针 只包含了指针位置而不包含指针的类型,一般的指针包含2个属性指针位置和类型, 其中类型就能判断出其长度。
1598 0