C语言进阶——goto 和 void 的分析08

遭人遗弃的goto：

• 高手潜规则：禁止使用goto
• 项目经验：程序质量与goto的出现次数成反比
• 最后的判决：将goto打入冷宫

程序示例1：（goto副作用分析）

 #include <stdio.h>
 #include <malloc.h>

 void func(int n)
 {
     int* p = NULL;

     if(  n <  )
     {
         goto STATUS;
     }

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

 STATUS:
     p[] = n;    

     free(p);
 }

 int main()
 {
     printf("begin...\n");

     printf("func(1)\n");

     func();

     printf("func(-1)\n");

     func(-);

     printf("end...\n");

     return ;
 }

在函数中，从第8行到第16行本来是顺序执行的，可是当满组if条件的时候，就会破环这个程序原来的结构，导致出现错误。

goto语句就介绍到这里，下面来讲一下void：

void修饰函数返回值和参数：

• 如果函数没有返回值，那么就应该将其声明为void
• 如果函数没有参数，应该声明其参数为void

程序示例2：

 #include<stdio.h>

 f()
 {

 }

 int main()
 {
     int i= f(,,,);
     printf("%d\n",i);
     return ;
 }

上面这段程序，可能会有人认为它在编译的时候会报错，其实不然：

• 当函数没有返回值的时候，会默认返回一个int类型，也就是说你可以在这个函数里面加上一条return用于返回一个int语句，但是如果你不加的话，编译器会默认给你返回一个1。
• 当函数的参数列表没有任何参数，且没有声明为void，默认可以接受任意多个参数

为什莫会这样呢，因为C语言不是一种强类型的语言。

程序示例3：

#include<stdio.h>

 void f(void)
{
    return ;
}

int main()
{
    int i= f(,,,);//error
    printf("%d\n",i);
    return ;
}

这段代码是将示例2中的代码稍加修改得到的，现在这段代码是不可以通过编译的。

　　void的意义，有人想到，void既然是一种类型，那么我们是否可以像使用其他类型，比如说int，char 一样的使用它来创建变量呢？答案是否定的，你可以将void理解为一种抽象类型。

　　不存在void普通变量（指针变量例外），C语言中没有定义void究竟是多大内存的别名，也就是说没有void标尺，无法在内存中裁剪出void对应的变量。

小贴士：

ANSIC：标准C语言规范

扩展C：在ANSIC的基础上进行了扩充

程序示例4：

 #include<stdio.h>

 int main()
 {
     printf("%d\n",sizeof(void));
     return ;
 }

上面这段代码在ANSIC编译器中无法通过编译，但是对于支持GNU标准的额gcc编译器而言是合法的。（但是我们最好是按照C语言标准来学习C语言，所以我们可以认为上面这段代码是不合法的，有的编译器生产厂家认为标准C的特性不够，是自己加上去的）

void虽然不能定义普通的变量，但是可以创建指针变量：

• C语言规定只有相同类型的指针才可以相互赋值
• void *  指针作为左值用于 “接受” 任意类型的指针
• void* 指针作为右值使用时需要进行强制类型转换

程序示例5:

 #include<stdio.h>
 #include<stdlib.h>
 int main()
 {
     int *pi = (int *) malloc(sizeof(int));
     char *pc = (char *)malloc(sizeof(char));
     void *p=NULL;
     int *pni=NULL;
     char * pnc=NULL;

     p=pi; //ok
     pni =p; //error

     p=pc; //ok
     pnc = p;  //error

     return ;
 }

在标准C语言中12 和 15 行会报错，但是有的编译器会扩展C语言规范，所以上述代码在你的编译器中有可能时通过的。

程序示例6：

#include <stdio.h>

void MemSet(void* src, int length, unsigned char n)
{
    unsigned char* p = (unsigned char*)src;

    int i = ;

    for(i=; i<length; i++)
    {
        p[i] = n;
    }
}

int main()
{
    int a[];
    int i = ;

    MemSet(a, sizeof(a), );

    for(i=; i<; i++)
    {
        printf("%d\n", a[i]);
    }

    return ;
}

MeMset这个函数用void类型的指针接受一个int（也可以接受其他类型的指针），然后将其强制转化为unsigned char 类型的指针，将其每个字节都设置为0，最后在主函数会输出 5 个0，因为每一个字节都被设置为0，所以四个为0的字节组合的一个int类型的值也是0，你也可以将他的每个自己设置为其他的数。

小结：

• 现代软件工程中禁止使用goto语句
• void是一种抽象类型的数据类型
• void类型不能用于定义变量
• void类型用于声明函数的无参数
• void类型用于用于声明函数的无返回值
• 可以定义void* 类型的指针
• void* 类型的子真可以接受任意类型的指针值