第8课 goto 和 void 分析

1. 遭人遗弃的goto

（1）高手潜规则：禁用goto

（2）项目经验：程序质量与goto出现的次数成反比

（3）最后的判决：将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);//n<0时，将不被执行

STATUS:
    p[] = n;    //n<0时，p内存未申请，出现错误

    free(p);
}

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

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

    func();

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

    func(-);

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

    return ;
}

2. void的意义

（1）void修饰函数返回值和参数——为了表示“无”

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

　　②如果函数没有参数，应该声明其参数为void

任意参数	无参（用void声明）
#include<stdio.h> f() //f()函数任意参数，返回值默认int型 { } int main() { int i=f(,,) return ; }	#include<stdio.h> void f(void) //无参无返回值 { } int main() { int i=f(,,) //error f(); //ok return ; }

（2）不存在void变量

　　①C语言没有定义void究意是多大内存的别名，没有void标尺，无法在内存中裁出大小

#include<stdio.h>
void main()
{
     void var;        //error，不可以是void型的变量
     void array[];   //error，同上
     void* pv;        //ok，void*的指针是可以的。
}

　　②小贴士：ANSI C：标准C语言的规范

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

#include<stdio.h>

int main()
{
  //在ANSI C编译器中无法通，支持GNU标准的gcc下为void大小为1，是合法的
  printf("sizeof(void)=%d\n",sizeof(void));
}

（3）void指针的意义

　　①C语言规定只有相同类型的指针才可以相互赋值

　　②void* 指针作为左值用于“接收”任意类型的指针

　　③void* 指针作为右值使用时需要进行强制类型转换

int* pI = (int*)malloc(sizeof(int));
char* pC = (char*)malloc(sizeof(char));
void* p = NULL;
int* pni = NULL;
char* pnc = NULL;

p = pI; //ok，void*指针p可接收任何类型的指针
pni = p; //error，void*须强制类型转换，即pni =(int*)p;
p = pC;  //ok
pnc = p; //error,应为pnc=(char*)p;

【编程实例】通过void*实现MemSet函数

#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[];//这里可以是任何其他类型，如char a[5];double a[5]等。
    int i = ;

    MemSet(a, sizeof(a), );

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

    return ;
}

3. 小结

（1）现代软件工程中禁用goto语句

（2）void是一种抽象的数据类型

（3）void类型不能用于定义变量

（4）void类型用于声明函数无参数或函数无返回值

（5）可以定义void*类型的指针，该指针可接受任意类型的指针值