1

遭人遗弃的 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("void func( 1 ) :\n");
    
    func(1);
    
    printf("void func( -1 ) :\n");
    
    func(-1);
    
    printf("end ...\n");

    return 0;
}
输出:
begin ...
void func( 1 ) :
void func( -1 ) :
段错误

分析:
破坏了程序的结构化特性(顺序执行,条件执行,循环执行);
增加阅读与调试难度。

void 的意义

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

    • 如果函数没有返回值,那么应该将其声明为 void
    • 如果函数没有参数,应该声明参数为 void
    • void 修饰函数返回值和参数是为了表示 "无"
#include <stdio.h>

func()
{
}
        
int main()
{
    int i = func(1, 2, 3);
    
    printf("%d\n", i);

    return 0;
}
    输出:(编译器无警告,无报错,输出随机值)
    -1074333820
    
    分析:
    没有写参数,意味着可以接收任意多参数
    没有写返回值,意味着返回值为 int
  • 不存在 void 变量 (可理解void是一个抽象类型)

    • C 语言没有定义 void 究竟是多大内存的别名
    • 没有 void 标尺,无法在内存中裁剪出 void 对应的变量
void code()
{
    void var;
    void array[5];
    void* pv;
}    
  • 小贴士

    • ANSI C : 标准 C语言的规范
    • 扩展 C : 在 ANSI C 的基础上进行了扩充
    • C 语言的灰色地带
void code()
{
    printf("%d\n", sizeof(void));
}
上面的代码在 ASNI C编译器(BCC)中无法通过编译,但是对于支持 GNU 标准的 gcc 编译器而言是合法的。
BCC : Error
GCC : 1
        
  • void 指针的意义

    • C 语言规定只有相同类型的指针才可以互相赋值
    • void* 指针作为左值用于 接收 任意类型指针
    • void* 指针作为右值使用时需要进行强制类型转换"
    • 指针为相应机器的固定宽度,可以裁剪相应的内存大小,所以可以定义 void* 指针
void code()
{
    int* pI   = (int*)malloc(sizeof(int));
    char* pC  = (char*)malloc(sizeof(int));
    void* p   = NULL;
    int* pni  = NULL;
    char* pnc = NULL;
    
    p = pI;  // OK
    pni = p; // oops!
    
    p = pC;     // OK
    pnc = p; // oops!  
}

实例分析:通过 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;
}
输出:
0
0
0
0
0

小结

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

以上内容参考狄泰软件学院系列课程,请大家保护原创!


TianSong
734 声望138 粉丝

阿里山神木的种子在3000年前已经埋下,今天不过是看到当年注定的结果,为了未来的自己,今天就埋下一颗好种子吧