解讀C語言非void函數(shù)卻沒有return會(huì)怎么樣
問題引出
前幾天學(xué)習(xí)棧， 寫了一個(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;
}
代碼的作用很簡單, 就是動(dòng)態(tài)分配一個(gè)棧變量的內(nèi)存, 并將其指針返回; 很顯然的是在函數(shù)NewStack中少了一句return s;。
令人奇怪的是我直到最后才偶然發(fā)現(xiàn)這個(gè)錯(cuò)誤， 因?yàn)檫@個(gè)函數(shù)在整個(gè)代碼運(yùn)行中都是正常的， 并沒有發(fā)生錯(cuò)誤。
這里先下一個(gè)結(jié)論， NewStack正確的將s的值返回了， 具體為什么先按下不表。
問題繼續(xù)深入
再來看這樣一個(gè)函數(shù)
int max(int x, int y){
int max;
if(x >= y){
max = x;
}
else{
max = y;
}
}
代碼的作用一目了然， 但缺失了return max;, 這個(gè)函數(shù)返回什么呢？
運(yùn)行結(jié)果如下
兩次函數(shù)調(diào)用都返回了正確的最大值， 為什么呢？
莫非是編譯器已經(jīng)智能到能猜出用戶的想法， 或是因?yàn)閙ax是該函數(shù)棧中唯一一個(gè)用戶定義的變量， 總之， 是不是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ùn)行結(jié)果如下
顯然這里并不是簡單的返回了max的值。
我們?cè)僭谀┪布右痪?code>max = x時(shí)
運(yùn)行結(jié)果如下
可以看到返回值始終是x的值。
所以
max = 1000;——沒有改變返回值max = x;——改變了返回值
答案揭曉
讓我們來看看stackflow上的一段解答
大意就是在某些系統(tǒng)、某些編譯器下(windows, gcc)， 如果一個(gè)非void函數(shù)沒有返回值， 系統(tǒng)會(huì)自動(dòng)幫你返回eax寄存器中的值， 在這里表現(xiàn)為最后一個(gè)表達(dá)式的值。
對(duì)max函數(shù)進(jìn)行反匯編，
可以發(fā)現(xiàn)， 在諸如x >= y, max = x:這樣的涉及至少兩個(gè)變量的語句都使用了eax寄存器， 因而改變的eax寄存器中的值；而max = 1000則沒有， 因?yàn)閙ax = 1000只對(duì)一塊內(nèi)存進(jìn)行操作， 根本不需要用到寄存器。
諸如max = x;這樣的語句， 內(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ù)無返回值， 系統(tǒng)會(huì)自動(dòng)的返回當(dāng)時(shí)eax寄存器中的值， 通常表現(xiàn)為函數(shù)中最后一條語句（兩個(gè)變量以上)或函數(shù)調(diào)用的值。
在其它的C編譯器下， 返回值可能會(huì)是某個(gè)固定的值， 也可能是隨機(jī)值。
更多
C編譯器對(duì)這一問題的處理能很好的反映C對(duì)用戶的信任與包容， 在其它語言上這種情況一般是會(huì)報(bào)錯(cuò)的， 而在C中甚至連警告都沒有。
C總是傾向于認(rèn)為用戶的做法有他自己的道理， 但更多情況下沒人會(huì)去利用如此的特性， 只是單純的疏忽。
那我們?cè)撛趺慈ケ苊膺@樣的錯(cuò)誤呢？
只需要在編譯器選項(xiàng)中加上一條指令Wreturn-type, 再發(fā)生這種情況的時(shí)候gcc編譯器就會(huì)給我們一個(gè)提醒了。
最后
以上為個(gè)人經(jīng)驗(yàn)，希望能給大家一個(gè)參考，也希望大家多多支持腳本之家。
相關(guān)文章
詳解C++?STL模擬實(shí)現(xiàn)vector
這篇文章主要為大家詳細(xì)介紹了C++如何模擬實(shí)現(xiàn)STL容器vector，文中的示例代碼講解詳細(xì)，對(duì)我們學(xué)習(xí)C++有一定幫助，需要的可以參考一下2023-01-01
C++實(shí)現(xiàn)學(xué)生選課系統(tǒng)
這篇文章主要為大家詳細(xì)介紹了C++實(shí)現(xiàn)學(xué)生選課系統(tǒng)，具有一定的參考價(jià)值，感興趣的小伙伴們可以參考一下2019-02-02
C++ BloomFilter布隆過濾器應(yīng)用及概念詳解
布隆過濾器是由布?。˙urton Howard Bloom）在1970年提出的 一種緊湊型的、比較巧妙的概率型數(shù)據(jù)結(jié)構(gòu)，特點(diǎn)是高效地插入和查詢，可以用來告訴你 “某樣?xùn)|西一定不存在或者可能存在”，它是用多個(gè)哈希函數(shù)，將一個(gè)數(shù)據(jù)映射到位圖結(jié)構(gòu)中2023-03-03
本文通過7到實(shí)例題目給大家展示C語言中的一些小細(xì)節(jié)，很少有朋友真正的掌握，感興趣的朋友跟隨小編一起看看吧2021-05-05
今天小編就為大家分享一篇關(guān)于C++中指針函數(shù)與函數(shù)指針的使用，小編覺得內(nèi)容挺不錯(cuò)的，現(xiàn)在分享給大家，具有很好的參考價(jià)值，需要的朋友一起跟隨小編來看看吧2018-12-12
Qt串口通信開發(fā)之QSerialPort模塊簡單使用方法與實(shí)例
這篇文章主要介紹了Qt串口通信開發(fā)之QSerialPort模塊簡單使用方法與實(shí)例,需要的朋友可以參考下2020-03-03
C++的靜態(tài)聯(lián)編和動(dòng)態(tài)聯(lián)編詳解
這篇文章主要介紹了C++的靜態(tài)聯(lián)編和動(dòng)態(tài)聯(lián)編詳解,對(duì)于深入理解C++編譯運(yùn)行原理有很大幫助,需要的朋友可以參考下2014-07-07
OpenCV實(shí)現(xiàn)人臉識(shí)別簡單程序
這篇文章主要為大家詳細(xì)介紹了OpenCV實(shí)現(xiàn)人臉識(shí)別簡單程序，文中示例代碼介紹的非常詳細(xì)，具有一定的參考價(jià)值，感興趣的小伙伴們可以參考一下2019-08-08
這篇文章主要為大家介紹了C語言堆棧括號(hào)匹配問題示例詳解，有需要的朋友可以借鑒參考下，希望能夠有所幫助，祝大家多多進(jìn)步，早日升職加薪2021-11-11
這篇文章主要介紹了C語言指針詳解及用法示例，介紹了其相關(guān)概念，然后分享了幾種用法，具有一定參考價(jià)值。需要的朋友可以了解下2021-09-09