第8课

第8课 - goto和void分析

1. 遭人嫌弃的goto

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

（2）项目经验：程序质量与goto的出现次数成反比；c语言是一门结构化语言，goto会破坏C语言的结构化特性。

（3）最后的判决：将goto打入冷宫

【goto副作用分析】

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

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

    if(  n < 0 )
    {
        goto STATUS;
    }

    p = (int*)malloc(sizeof(int) * n);  // 当 n<0 时不执行这行
    
STATUS:
    p[0] = n;    // n<0 时，p为野指针，会产生段错误
    
    free(p);
}

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

    printf("func(1)
");
    func(1);
    
    printf("func(-1)
");
    func(-1);
    
    printf("end...
");
    
    return 0;
}

2. void的意义

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

（1）void 修饰函数返回值和参数是为了表示 "无"

（2）如果函数没有返回值，那么应该将其声明为void；否则编译器默认返回值类型为int

（3）如果函数没有参数，应该声明其参数为void；否则编译器默认函数可以传递任意多个参数

#include <stdio.h>

/*
// 若函数没有返回值，编译器默认返回值为int类型
// 若函数没有参数，编译器默认函数可以传递任意个参数 
f()    
{

}
*/

void f(void)   // 函数没有返回值，不接受参数
{

}

int main()
{
    // int i = f(1, 2, 3);

    return 0;
}

2.2 不存在void变量

C语言没有定义void究竟是多大内存的别名，因此没有void的标尺，无法在内存中裁剪出void对应的变量（void只是一种抽象的类型）。

#include <stdio.h>

int main()
{
    // void var;    // error
    // void array[5];   // error

    void *pv;   // 指针要么为4字节，要么为8字节，可以定义void类型的指针变量

    return 0;
}

小贴士：

ANSI C：标准C语言的规范

扩展C：编译器厂商在ANSI C的基础上进行了扩充，像我们平时使用的gcc、VS编译器就是使用的扩展C

【void在ANSI C和扩展C中的区别】

#include <stdio.h>

int main()
{
    printf("cc sizeof(void) = %zu
", sizeof(void));    // 在ANSI C编译器中编译无法通过
                                                        // 在支持GNU标准的gcc编译器中编译通过，结果为1

    return 0;
}

bcc32编译器（使用ANSI C标准）  ==>   编译失败

  

gcc编译器  ==>  编译通过

  

2.3 void指针的意义

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

（2）void *指针作为左值用于接收任意类型的指针

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

     

【通过void*实现MemSet函数】

#include <stdio.h>

void MemSet(void* src, int length, unsigned char n)
{
    unsigned char* p = (unsigned char*)src;
    
    int i = 0;
    
    for(i=0; i<length; i++)
    {
        p[i] = n;
    }
}

int main()
{
    int a[5]; // char a[5] double a[5]
    int i = 0;
    
    MemSet(a, sizeof(a), 0);
    
    for(i=0; i<5; i++)
    {
        printf("%d
", a[i]);
    }
    
    return 0;
}