void 的字面意思是“空类型”，void *则为“空类型指针”，void *可以指向任何类型的数据。
void 几乎只有“注释”和限制程序的作用，因为从来没有人会定义一个 void 变量。

void 真正发挥的作用在于：
（1） 对函数返回的限定；
（2） 对函数参数的限定。

众所周知，如果指针 p1 和 p2 的类型相同，那么我们可以直接在 p1 和 p2 间互相赋值；如果 p1 和 p2 指向不同的数据类型，则必须使用强制类型转换运算符把赋值运算符右边的指针类型转换为左边指针的类型。

float *p1;
int	*p2;
p1 = (float *)p2;
1
2
3

而 void *则不同，任何类型的指针都可以直接赋值给它，无需进行强制类型转换：

void *p1;
int	*p2;
p1 = p2;
1
2
3

但这并不意味着，void *也可以无需强制类型转换地赋给其它类型的指针。因为“空类型”可
以包容“有类型”，而“有类型”则不能包容“空类型”。
下面的语句编译出错：

void *p1;
int	*p2;
p2 = p1;
1
2
3

void 修饰函数返回值和参数

1.如果函数没有返回值，那么应声明为 void 类型。

在 C 语言中，凡不加返回值类型限定的函数，就会被编译器作为返回整型值处理。但是许多程序员却误以为其为 void 类型。

add ( int a, int b )
{
	return	a + b;
}

int main(int argc, char* argv[]) 
{
	printf ( "2 + 3 = %d", add ( 2, 3) );
}

1
2
3
4
5
6
7
8
9
10

程序运行的结果为输出： 2 + 3 = 5
这说明不加返回值说明的函数的确为 int 函数。

因此，为了避免混乱，我们在编写 C 程序时，对于任何函数都必须一个不漏地指定其类型。如果函数没有返回值，一定要声明为 void 类型。这既是程序良好可读性的需要，也是编程规范性的要求。另外，加上 void 类型声明后，也可以发挥代码的“自注释”作用。所谓的代码的“自注释”即代码能自己注释自己。

2.如果函数无参数,那么应声明其参数为 void

int function(void)
{
	return 1;
}

1
2
3
4
5

则进行下面的调用是不合法的：function(2);
函数参数为 void 的意思是这个函数不接受任何参数。

#include "stdio.h"

fun()
{
	return 1;
}

int main()
{
	printf("%d",fun(2));
	getchar(); 
}

1
2
3
4
5
6
7
8
9
10
11
12
13

编译正确且输出 1，这说明，在 C 语言中，可以给无参数的函数传送任意类型的参数。

void 指针

1.千万小心又小心使用 void 指针类型。
按照 ANSI(American National Standards Institute)标准，不能对 void 指针进行算法操作。

void * pvoid;
pvoid++; //ANSI：错误
pvoid += 1; //ANSI：错误
1
2
3

ANSI 标准之所以这样认定，是因为它坚持：进行算法操作的指针必须是确定知道其指向数据类型大小的。也就是说必须知道内存目的地址的确切值。

int *pint;
pint++; //ANSI：正确
1
2

但是大名鼎鼎的 GNU(GNU’s Not Unix 的递归缩写)则不这么认定，它指定 void *的算法操作与 char *一致。因此下列语句在 GNU 编译器中皆正确：

pvoid++; //GNU：正确
pvoid += 1; //GNU：正确
1
2

在实际的程序设计中，为符合 ANSI 标准，并提高程序的可移植性，我们可以这样编写
实现同样功能的代码：

void * pvoid;
(char *)pvoid++; //ANSI：正确；GNU：正确
(char *)pvoid += 1; //ANSI：错误；GNU：正确
1
2
3

GNU 和 ANSI 还有一些区别，总体而言，GNU 较 ANSI 更“开放”，提供了对更多语法的支持。但是我们在真实设计时，还是应该尽可能地符合 ANSI 标准。

如果函数的参数可以是任意类型指针，那么应声明其参数为 void *。

典型的如内存操作函数 memcpy 和 memset 的函数原型分别为：

void * memcpy(void *dest, const void *src, size_t len);
void * memset ( void *buffer, int c, size_t num );
1
2

这样，任何类型的指针都可以传入 memcpy 和 memset 中，这也真实地体现了内存操作函数的意义，因为它操作的对象仅仅是一片内存，而不论这片内存是什么类型。

memset 接受任意类型指针

int IntArray_a[100];
memset (IntArray_a, 0, 100*sizeof(int) ); //将 IntArray_a 清 0
1
2

memcpy 接受任意类型指针

int destIntArray_a[100], srcintarray_a[100]; 
//将 srcintarray_a 拷贝给 destIntArray_a
memcpy (destIntArray_a, srcintarray_a, 100*sizeof(int) );
1
2
3

memcpy 和 memset 函数返回的也是 void *类型

void 不能代表一个真实的变量

因为定义变量时必须分配内存空间，定义 void 类型变量，编译器到底分配多大的内存呢。
下面代码都企图让 void 代表一个真实的变量，因此都是错误的代码：

void a; //错误
function(void a); //错误
1
2

void 的出现只是为了一种抽象的需要，如果你正确地理解了面向对象中“抽象基类”的概念，也很容易理解 void 数据类型。正如不能给抽象基类定义一个实例，我们也不能定义一个 void（让我们类比的称 void 为“抽象数据类型”）变量。