問題引出

前幾天學(xué)習(xí)棧， 寫了一個創(chuàng)建棧的函數(shù)

typedef struct{
    int data[STACKSIZE];
    int top;
}stack, *Stack;Stack NewStack(void){
    Stack s = (Stack)malloc(sizeof(stack));
    s->top = -1;
}

代碼的作用很簡單, 就是動態(tài)分配一個棧變量的內(nèi)存, 并將其指針返回; 很顯然的是在函數(shù)NewStack中少了一句return s;。

令人奇怪的是我直到最后才偶然發(fā)現(xiàn)這個錯誤， 因為這個函數(shù)在整個代碼運行中都是正常的， 并沒有發(fā)生錯誤。

這里先下一個結(jié)論， NewStack正確的將s的值返回了， 具體為什么先按下不表。

問題繼續(xù)深入

再來看這樣一個函數(shù)

int max(int x, int y){
    int max;
    if(x >= y){
        max = x;
    }
    else{
        max = y;
    }
}

代碼的作用一目了然， 但缺失了return max;, 這個函數(shù)返回什么呢？

運行結(jié)果如下

兩次函數(shù)調(diào)用都返回了正確的最大值， 為什么呢？

莫非是編譯器已經(jīng)智能到能猜出用戶的想法， 或是因為max是該函數(shù)棧中唯一一個用戶定義的變量， 總之， 是不是max被返回了呢？

int max(int x, int y){
    int max;
    if(x >= y){
        max = x;
    }
    else{
        max = y;
    }
    max = 1000;
}

我們在末尾加上一句max = 1000;, 驗證一下返回值究竟是不是max的值。

運行結(jié)果如下

顯然這里并不是簡單的返回了max的值。

我們再在末尾加一句max = x時

運行結(jié)果如下

可以看到返回值始終是x的值。

所以

• max = 1000;——沒有改變返回值
• max = x;——改變了返回值

答案揭曉

讓我們來看看stackflow上的一段解答

大意就是在某些系統(tǒng)、某些編譯器下(windows, gcc)， 如果一個非void函數(shù)沒有返回值， 系統(tǒng)會自動幫你返回eax寄存器中的值， 在這里表現(xiàn)為最后一個表達(dá)式的值。

對max函數(shù)進(jìn)行反匯編，

可以發(fā)現(xiàn)， 在諸如x >= y, max = x:這樣的涉及至少兩個變量的語句都使用了eax寄存器， 因而改變的eax寄存器中的值；而max = 1000則沒有， 因為max = 1000只對一塊內(nèi)存進(jìn)行操作， 根本不需要用到寄存器。

諸如max = x;這樣的語句， 內(nèi)存中的實現(xiàn)大概就是， 將x的值移動到eax寄存器， 再將eax中的值移動到max（因為寄存器的存取速度遠(yuǎn)高于內(nèi)存）。

除此之外， eax寄存器也會用在存儲函數(shù)的返回值上。

如我們在函數(shù)末尾加一個函數(shù)調(diào)用。

返回值始終是max函數(shù)內(nèi)調(diào)用的f函數(shù)的返回值。

?

結(jié)論

在windows、gcc環(huán)境下， 若非void函數(shù)無返回值， 系統(tǒng)會自動的返回當(dāng)時eax寄存器中的值， 通常表現(xiàn)為函數(shù)中最后一條語句（兩個變量以上)或函數(shù)調(diào)用的值。

在其它的C編譯器下， 返回值可能會是某個固定的值， 也可能是隨機(jī)值。

更多

C編譯器對這一問題的處理能很好的反映C對用戶的信任與包容， 在其它語言上這種情況一般是會報錯的， 而在C中甚至連警告都沒有。

C總是傾向于認(rèn)為用戶的做法有他自己的道理， 但更多情況下沒人會去利用如此的特性， 只是單純的疏忽。

那我們該怎么去避免這樣的錯誤呢？

只需要在編譯器選項中加上一條指令Wreturn-type, 再發(fā)生這種情況的時候gcc編譯器就會給我們一個提醒了。

最后