我們在C語言中經(jīng)常會見到void，也會偶爾見到goto，那么C語言中既然有g(shù)oto，為什么我們在代碼中見的很少呢？在以前很多的項目經(jīng)驗中，我們得到這樣一條潛規(guī)則：一般項目都是禁用goto的，程序質(zhì)量與goto的出現(xiàn)次數(shù)成反比。自后也就造成了我們一般不會使用goto

一、關(guān)于goto

高手潛規(guī)則：禁用 goto
項目經(jīng)驗：程序質(zhì)量與 goto 的出現(xiàn)次數(shù)成反比
最后的判決：將 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;
}

下面為輸出結(jié)果：

這段代碼中當 func 的入口參數(shù) n 的值小于 0 時，就會 goto 到STATUS 那里去執(zhí)行代碼，但是由于跳過了分配內(nèi)存環(huán)節(jié)，就不能把 n 的值賦給 p[0]，強行賦值就會發(fā)成段錯誤。

二、void 的意義

void 修飾函數(shù)返回值和參數(shù)

如果函數(shù)沒有返回值，那么應(yīng)該將其聲明為 void
如果函數(shù)沒有參數(shù)，應(yīng)該聲明其參數(shù)為 void

void 修飾函數(shù)返回值和參數(shù)是為了表示“無”

下面這段代碼就表示 f 函數(shù)的輸入?yún)?shù)沒有限制。

不存在 void 變量

C語言沒有定義 void 究竟是多大內(nèi)存的別名
沒有 void 的標尺
無法在內(nèi)存中裁剪出 void 對應(yīng)的變量

在下面的代碼中，只有 void* 那條語句可以編譯通過，因為 void* 指針是合法的。

小貼士

ANSI C：標準 C 語言的規(guī)范
擴展C：在 ANSI C 的基礎(chǔ)上進行了擴充

上面的代碼在 ASNI C編譯器中無法通過編譯，但是對于支持 GNU 標準的 gcc 編譯器而言是合法的。

void 指針的意義

C 語言規(guī)定只有相同類型的指針才可以相互賦值
void* 指針作為左值用于“接收”任意類型的指針
void* 指針作為右值使用時需要進行強制類型轉(zhuǎn)換

下面看一段通過 void* 實現(xiàn) MemSet 函數(shù)的代碼：

#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;
}

下面為輸出結(jié)果：