可能回答問題
- 解釋main函數參數及其傳回值,怎麼擷取main的傳回值,有什麼作用?
- printf是怎麼實作傳參的?然後,它是怎麼去找到format格式裡面對應的參數的?
- 函數調用的堆棧映像是怎樣的?
- int fun(){int a=1,b=1, x; x=a+b: return;}有什麼結果?如果能夠編譯的話,會傳回數值嗎?傳回什麼數值?
參考文章
- C和指針,18章(講解非常好),C源碼與彙編,結合講解,配合堆棧的映像圖
- APUE,7章
解釋main函數參數及其傳回值,怎麼擷取main的傳回值,有什麼作用? 目前來講,标準的main應該是 int main(int argc, char **argv ) { return 0; }
當核心執行C程式時(使用一個exec函數),在調用main函數前先調用一個特殊的啟動例程。可執行檔案将此啟動例程指定為程式的起始位置(這是由連接配接編輯器設定的,而連接配接編輯器則由C編輯器調用)
main函數參數 啟動例程從核心取得指令行參數和環境變量值,然後按ISO C标準傳遞參數給main函數
擷取main傳回值 main的傳回值是該程序的傳回碼,根據該傳回碼獲知該程式是否正常執行,或是否發生異常。 Linux下,執行 echo $? 即可擷取main傳回值
printf是怎麼實作傳參的?然後,它是怎麼去找到format格式裡面對應的參數的? 這個問題的深層問題: 怎麼實作可變參數清單? 參考連結
思考問題:堆棧中的參數次序 按參數清單相反的順序壓入到堆棧中,參數清單的第1個參數便位于堆棧中這堆參數的頂部,它距離 幀指針的偏移量是一個 常數。事實上,任何一個參數距離幀指針的偏移量都是一個常數,這和堆棧中壓入多少個參數并無關系。(回答第1個子問題)
然後,printf的第一個參數就是字元串指針,是一個常量(被雙引号括起來的那部分),函數通過判斷字元串裡面的 控制參數的個數來判斷參數的個數和類型。("%d %d"就表示有兩個整形參數)(回答第2個子問題)
下面是模拟一個printf的實作 void foo(char *fmt, ...) { va_list ap; int d; char c, *s; va_start(ap, fmt); while (*fmt) switch (*fmt++) { case 's': s = va_arg(ap, char *); //printf("string %s\n", s); break; case 'd': d = va_arg(ap, int); //printf("int %d\n", d); break; case 'c': c = (char) va_arg(ap, int); //printf("char %c\n", c); break; } va_end(ap); } 非常類似
- 裡面一個while把參數清單裡面的所有控制參數都“檢索”出來,包括參數類型和個數
- 注釋掉的printf可以改變為其他輸出函數(假定為系統的sys_printf)
函數調用的堆棧映像是怎樣的?
被調用函數從堆棧幀指針傳回,被調用函數并沒有從堆棧中完全清除它的整個堆棧幀:參數還留在那裡等待調用函數清除。同樣,它的原因和可變參數清單有關。調用函數把參數壓到堆棧上,是以隻有它才知道堆棧中到底有多少個參數。是以,隻有調用函數可以安全地清除它們。
int fun(){int a=1,b=1, x; x=a+b: return;}有什麼結果?如果能夠編譯的話,會傳回數值嗎?傳回什麼數值? 如果,編譯器能夠通過該程式編譯,那麼,有可能會傳回2;這是編譯器把某個寄存器當作“中間結果暫存器”或臨時位置,并且函數放回值就放在這個寄存器裡面,那麼,調用函數就會從這個寄存器中擷取被調用函數的傳回值。