我们在 C 语言中经常会见到 void ，也会偶尔见到 goto。那么 C 语言中既然有 goto ，为什么我们在代码中见的很少呢？在以前很多的项目经验中，我们得到这样一条潜规则：一般项目都是禁用 goto 的，程序质量与 goto 的出现次数成反比。自后也就造成了我们一般不会使用 goto 。

我们来分析下面这个示例代码，看看 goto 会带来什么影响。

#include<stdio.h>#include<malloc.h>voidfunc(intn){int*p=NULL;if(n<0){gotoSTATUS;}p=(int*)malloc(sizeof(int)*n);STATUS:p[0]=n;free(p);}intmain(){printf("begin...\n");printf("func(1)\n");func(1);printf("func(-1)\n");func(-1);printf("end...\n");return0;}

那么在 function(1) 中，函数会正常执行退出。在 function(-1) 中，函数则会发生段错误，为什么呢？因为 goto 改变了函数的执行流。指针 p 没有申请就要使用并释放。我们来看看编译的结果是否如我们所想？经过编译，我们发现虽然函数能编译过，但是执行的时候发生了段错误。


下来我们来讲讲 void 。当函数没有返回值时，应将其声明为 void；如果函数没有参数，应将其参数声明为 void ；void 修饰函数返回值和参数是为了表示“无”。那么在 C 语言中，到底有没有定义 void 的内存大小呢？在标准的 C 中是没有定义它的大小的，但是在一些 C 的扩展编译器中定义了。比如在 gcc 编译器中就定义 void 的大小为 1。我们可以在 gcc 编译器中试下，结果如下所示：

那么对于 void 指针有什么意义呢？C 语言规定只有相同类型的指针才能相互赋值，void* 指针作为左值用于“接收”任意类型的指针，void* 指针作为右值使用时需要进行强制类型转换。

我们来通过 void* 实现 MemSet 函数，具体代码如下：

#include<stdio.h>voidMemSet(void*src,intlength,unsignedcharn){unsignedchar*p=(unsignedchar*)src;inti=0;for(i=0;i<length;i++){p[i]=n;}}intmain(){inta[5];inti=0;MemSet(a,sizeof(a),0);for(i=0;i<5;i++){printf("%d\n",a[i]);}return0;}

我们可以看到因为 MemSet 函数的第一个参数为 void* ，所以数组 a 的类型不管是 int、char、float还是 double，都不会报错。但是如果我们规定的是 int* 的话，下面数组 a 的类型为 double 的话，就会报错。我们改成这样试试，看编译器是否会报错。效果如下：

那么我们本次学习了 goto 和 void，通过本次学习，总结如下：1、在现在的项目工程中一般是禁用 goto 语句的；2、void 是一种抽象的数据类型；3、void 类型不能用于定义变量、但可以用来声明函数无参数、无返回值；4、可以定义 void* 类型的指针；5、void* 类型的指针可以接受任意类型的指针值。后面我们会继续对 C 语言的学习。


欢迎大家一起来学习 C 语言，可以加我QQ：243343083。