void及void指针

以前一直认为void不过就是个空类型，但当今天碰到的时候却有发现自己什么都不懂。

void的含义
void的字面意思是“无类型”， void 则为“无类型指针”， void 可以指向任何类型的数据。

void几乎只有“注释”和限制程序的作用，因为没人会定义一个void变量，当我们定义：
void var_name;时
编译会报错，提示“illegal use of type ‘void’ ”。不过，即使void a编译不出错，它也没有任何实际意义。

void的作用
void真正发挥的作用在于：

• 对函数返回的限定
• 对函数参数的限定

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

float *p1;
int *p2;
p1 = p2;

其中p1 = p2会编译出错，必须改为：p1 = (float*)p2;

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

void *p1;
int *p2;
p1 = p2;

但这并不意味着，void *也可以无需强制类型转换地赋给其它类型的指针。因为“无类型”可以包容“有类型”，而“有类型”则不能包容“无类型”。道理很简单，我们可以说“男人和女人都是人”，但不能说“人是男人”或者“人是女人”。
所以如果将上面的p1 = p2 改为 p2 = p1就会出错。

void 的使用

• 当函数没有返回值时，那么应声明为void类型
• 当函数无参数时，那么应声明其参数为void
• 小心使用void指针类型
• 如果函数的参数可以是任意类型的指针，那么应声明其参数为void *
• void不能代表一个真实的变量

按照ANSI标准，不能对void指针进行算法操作，即下列操作时不合法的：

void *p;
p++;
p+=1;
//ANSI标准之所以这样认定，是因为它坚持：进行算法操作的指针必须是确定知道其指向数据类型大小的。
//例如
int *print;
print++;
//print++结果为其增大sizeof(int);

但GNU与此不同，它指定void 的算法操作与char 一致。

典型的内存操作函数memcpy和memset其函数原型如下：

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

它的参数和返回值类型可以是任意类型的指针，这也体现了内容操作函数的意义，因为它操作的对象仅仅是一片内存。

void不能代表一个真实的变量
下面的代码企图让void代表一个真实的变量，这是错误的：

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