C语言详细分析讲解关键字goto与void的作用

一、关于goto

• 高手潜规则：禁用 goto
• 项目经验：程序质量与 goto 的出现次数成反比
• 最后的判决：将 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);
    
STATUS:
    p[0] = n;    
    
    free(p);
}
 
int main()
{  
    printf("begin...\n");
    
    printf("func(1)\n");
    
    func(1);
    
    printf("func(-1)\n");
    
    func(-1);
    
    printf("end...\n");
    
    return 0;
}

下面为输出结果：

这段代码中当 func 的入口参数 n 的值小于 0 时，就会 goto 到STATUS 那里去执行代码，但是由于跳过了分配内存环节，就不能把 n 的值赋给 p[0]，强行赋值就会发成段错误。

二、void 的意义

void 修饰函数返回值和参数

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

void 修饰函数返回值和参数是为了表示“无”

下面这段代码就表示 f 函数的输入参数没有限制。

不存在 void 变量

• C语言没有定义 void 究竟是多大内存的别名
• 没有 void 的标尺
• 无法在内存中裁剪出 void 对应的变量

在下面的代码中，只有 void* 那条语句可以编译通过，因为 void* 指针是合法的。

小贴士

• ANSI C：标准 C 语言的规范
• 扩展C：在 ANSI C 的基础上进行了扩充

上面的代码在 ASNI C编译器中无法通过编译，但是对于支持 GNU 标准的 gcc 编译器而言是合法的。

void 指针的意义

• C 语言规定只有相同类型的指针才可以相互赋值
• void* 指针作为左值用于“接收”任意类型的指针
• 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];
    int i = 0;
    MemSet(a, sizeof(a), 0);
    for(i=0; i<5; i++)
    {
        printf("%d\n", a[i]);
    }
    return 0;
}

下面为输出结果：

void* 定义的 src 表示可以接收任意类型的指针，所以数组 a 可以是任意类型。

三、小结

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

到此这篇关于C语言详细分析讲解关键字goto与void的作用的文章就介绍到这了,更多相关C语言goto与void内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家！