快捷導(dǎo)航

解讀C語(yǔ)言非void函數(shù)卻沒(méi)有return會(huì)怎么樣

更新時(shí)間：2023年02月24日 16:44:29 作者：trudbot

這篇文章主要介紹了解讀C語(yǔ)言非void函數(shù)卻沒(méi)有return會(huì)怎么樣的問(wèn)題，具有很好的參考價(jià)值，希望對(duì)大家有所幫助。如有錯(cuò)誤或未考慮完全的地方，望不吝賜教

問(wèn)題引出

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

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

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

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

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

問(wèn)題繼續(xù)深入

再來(lái)看這樣一個(gè)函數(shù)

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

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

代碼頁(yè)

運(yùn)行結(jié)果如下

運(yùn)行結(jié)果

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

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

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

我們?cè)谀┪布由弦痪鋗ax = 1000;, 驗(yàn)證一下返回值究竟是不是max的值。

代碼頁(yè)

運(yùn)行結(jié)果如下

運(yùn)行結(jié)果

顯然這里并不是簡(jiǎn)單的返回了max的值。

我們?cè)僭谀┪布右痪?code>max = x時(shí)

運(yùn)行結(jié)果如下

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

所以

max = 1000;——沒(méi)有改變返回值
max = x;——改變了返回值

答案揭曉

讓我們來(lái)看看stackflow上的一段解答

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

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

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

諸如max = x;這樣的語(yǔ)句，內(nèi)存中的實(shí)現(xiàn)大概就是，將x的值移動(dòng)到eax寄存器，再將eax中的值移動(dòng)到max（因?yàn)榧拇嫫鞯拇嫒∷俣冗h(yuǎn)高于內(nèi)存）。

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

如我們?cè)诤瘮?shù)末尾加一個(gè)函數(shù)調(diào)用。

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

結(jié)論

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

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