void 的作用
- 当函数不需要返回值时,必须使用void限定。例如:
void func(int a,char *b)
。 - 当函数不允许接受参数时,必须使用void限定。例如:
int func(void)
。
void 指针的使用规则
void
指针可以指向任意类型的数据,就是说可以用任意类型的指针对void
指针对void
指针赋值。
例如:
1 | int *a; |
如果要将 void
指针 p
赋给其他类型的指针,则需要强制类型转换,就本例而言:a=(int *)p
。
在内存的分配中我们可以见到 void
指针使用:内存分配函数 malloc
函数返回的指针就是 void *
型,用户在使用这个指针的时候,要进行强制类型转换,也就是显式说明该指针指向的内存中是存放的什么类型的数据, (int *)malloc(1024)
表示强制规定 malloc
返回的 void*
指针指向的内存中存放的是一个的 int
型数据。
- 在
ANSI C
标准中,不允许对void
指针进行一些算术运算,如p++
或p+=1
等,因为既然void
是无类型,那么每次算术运算我们就不知道该操作几个字节,例如char
型操作sizeof(char)
字节,而int
则要操作sizeof(int)
字节。而在 GNU 中则允许,因为在默认情况下,GNU 认为void *
和char *
一样,既然是确定的,当然可以进行一些算术操作,在这里sizeof(*p)==sizeof(char)
。
void
几乎只有 注释
和限制程序的作用,因为从来没有人会定义一个 void
变量,让我们试着来定义:
1 | void a; |
这行语句编译时会出错,提示 illegal use of type 'void'
。即使 void a
的编译不会出错,它也没有任何实际意义。
如果指针 p1 和 p2 的类型相同,那么可以直接在 p1 和 p2 间互相赋值;如果 p1 和 p2 指向不同的数据类型,则必须使用强制类型转换运算符把赋值运算符右边的指针类型转换为左边指针的类型。
1 | float *p1; |
而 void *
则不同,任何类型的指针都可以直接赋值给它,无需进行强制类型转换。
1 | void *p1; |
但这并不意味着,void *
也可以无需强制类型转换地赋给其它类型的指针。因为 无类型
可以包容 有类型
,而 有类型
则不能包容 无类型
。
小心使用 void 指针类型:
按照 ANSI(American National Standards Institute)
标准,不能对 void
指针进行算法操作,即下列操作都是不合法的:
1 | void * pvoid; |
但是 GNU
则不这么认定,它指定 void *
的算法操作与 char *
一致。因此下列语句在 GNU 编译器中皆正确:
1 | pvoid++; //GNU:正确 |
在实际的程序设计中,为迎合 ANSI
标准,并提高程序的可移植性,我们可以这样编写实现同样功能的代码:
1 | void * pvoid; |
GNU
和 ANSI
还有一些区别,总体而言,GNU
较 ANSI
更”开放”,提供了对更多语法的支持。但是我们在真实设计时,还是应该尽可能地迎合 ANSI
标准。 如果函数的参数可以是任意类型指针,那么应声明其参数为void *
。
注:void
指针可以任意类型的数据,可以在程序中给我们带来一些好处,函数中形为指针类型时,我们可以将其定义为 void
指针,这样函数就可以接受任意类型的指针。如:
典型的如内存操作函数 memcpy
和 memset
的函数原型分别为:
1 | void * memcpy(void *dest, const void *src, size_t len); |
这样,任何类型的指针都可以传入 memcpy
和 memset
中,这也真实地体现了内存操作函数的意义,因为它操作的对象仅仅是一片内存,而不论这片内存是什么类型(参见 C 语言实现泛型编程)。如果 memcpy
和 memset
的参数类型不是 void *
,而是 char *
,那才叫真的奇怪了!这样的 memcpy
和 memset
明显不是一个 纯粹的,脱离低级趣味的
函数!void
的出现只是为了一种抽象的需要,如果你正确地理解了面向对象中 抽象基类
的概念,也很容易理解 void
数据类型。正如不能给抽象基类定义一个实例,我们也不能定义一个 void
(让我们类比的称 void
为 抽象数据类型
)变量。