[C++知识库]【C 语言】数据类型本质 ( void 关键字作用 | 数据类型封装 | 作为 参数 或 返回值 代表无 | void* 指针赋值与被赋值 | void 类型变量不存在 )

一、数据类型封装

实现函数 的 底层函数开发者 , 不想将 底层的数据结构 暴露给 函数调用者 ;

如 : 定义一个函数 ,

int initEnv(void **handle)

该函数被 暴露给调用者 , 但是函数的 void **handle 参数类型是 void** , 这就意味着 函数调用者 不知道 该类型的结构 ;

void 数据类型 的 字面含义 是 " 无类型 " , void* 指针 是 " 无类型指针 " , void* 指针 可以指向任何数据类型 ;

下面的 memcpy 函数 , 传入的参数是 $2$ 个 void* 指针 类型的 内存地址 , 该函数根本不关心 上层应用 传入的 实参 的 指针 具体指向什么数据类型的数据 , 传入的 指针类型 可以是 任何数据类型指针 ;

void *memcpy(void *destin, void *source, unsigned n);

只要上层应用调用上述函数 , 就会从 void *source 指针指向的内存空间 中 , 拷贝 unsigned n 个字节的数据 , 到 void *destin 指针指向的内存空间中 ;

二、作为 参数 或 返回值 代表无

void 数据类型 , 作为函数的 参数 或 返回值 , 代表无参数 , 或者无返回值 ;

如果函数没有参数 , 可以声明为

int fun(void)

其中 , 如果 函数的参数是 void , 则可以省略 ;

int fun()

上述两种表示时等价的 ;

三、void* 指针赋值与被赋值

C 语言中 , 对指针赋值时 , 只有 相同类型的指针 , 才能相互赋值 ;

void* 作为 左值 可以 被赋值 任意类型的 指针 ;

void* 作为 右值 赋值给其它类型的指针类型变量时 , 必须将 该指针强转为其它类型 ;

最常见的是使用 malloc() 函数申请内存时 , 其返回一个 void * 类型的指针 ;

void *malloc(unsigned int size)；

如果分配内存完毕 , 将其赋值给一个其它类型指针时 , 需要强转 ;

int *p = (int*) malloc(sizeof(int) * 10);

四、void 类型变量不存在

void 类型的变量不存在 ;

1. 从数据概念角度理解 :

C 语言程序中的 数据 , 必定属于某种 数据类型 ;

void 数据类型代表空 , 就是没有类型的数据 ;

2. 从分配内存角度理解 : C 编译器遇到一个数据类型 , 就要为其在栈内存中分配内存 ,

• 遇到 void* 类型 , 这是指针类型 , 为其分配 4 字节存放指针即可 ;
• 遇到 void 类型 , 无法为其分配内存 , 不知道占几个字节 ;