Re: [問題] 沒有return

[DEATHX (幽光)]

是的,gcc可以編過.我還幫你做了個實驗.

下面是程式碼:
bigdick@bigdick:~/code$ cat no_return.c

#include <stdio.h>
#include <stdlib.h>

int f1(int b)
{
    int a;
    a = b + 3;
}

int main(void)
{
    int x;
    printf("輸入一個數字: ");
    scanf("%d", &x);
    printf("執行結果為: %d\n",f1(x));
    return 0;
}
***********************************************
bigdick@bigdick:~/code$ gcc -o no_return no_return.c  <-- 編譯通過

bigdick@bigdick:~/code$ ./no_return <-- 執行看看
輸入一個數字: 12
執行結果為: 15

是的,的確在沒有return的情況下幫你回傳了a值.

接下來,我們把程式碼再改一點地方再次編譯:

bigdick@bigdick:~/code$ cat no_return.c
#include <stdio.h>
#include <stdlib.h>

int f1(int b)
{
    int a, c;  <--這邊我增加了區域變數c
    a = b + 3;
    c = b;  <--單純把參數b的值複製給c
}

int main(void)
{
    int x;
    printf("輸入一個數字: ");
    scanf("%d", &x);
    printf("執行結果為: %d\n",f1(x));
    return 0;
}
**********************************************
再次編譯跟執行:
bigdick@bigdick:~/code$ gcc -o no_return no_return.c <--編譯OK

bigdick@bigdick:~/code$ ./no_return <--執行看看
輸入一個數字: 12
執行結果為: 12

大家看到這邊應該有猜出來,
gcc當你指定回傳型態時,若你沒有return,
它會自己幫你挑出一個回傳,
而那個回傳值就是你動到的最後一個區域變數.

有人說VC不行,所以你的問題就只是編譯器造成的結果罷了(Dev-C採用gcc作編譯器).
也沒有什麼為什麼,人家編譯器就是設計成這樣,希望這樣有滿足到你的求知慾.

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 118.161.188.88
→ DEATHX:所以你的正確結果是你瞎ㄇㄥ中的.
推 kroutony:感謝測試
推 tabinoyume:好像也不是完全這樣
→ tabinoyume:你把 c = b;  改成 c = 99;
→ tabinoyume:回傳值不會是99
→ james732:題外話：perl 就是把最後一個 statement 結果當回傳值 XD
→ DEATHX:在原本那篇有人以組語的觀點解釋,我想是比較合理的,最終這
→ DEATHX:本來就不是C應有的寫法,我們試圖去預測他的動作原理可能會
→ DEATHX:造成難以規範的動作出現.
→ Dannvix:驚！不是這樣吧... 只是因為EAX裡的殘值被當成回傳值而已
→ Dannvix:不同編譯器出來結果不同，是因為不同編譯器對register的
→ Dannvix:操作不相同，會有這種結果只是運氣好EAX剛好在運算過程中
→ Dannvix:被編譯器拿去用來暫存計算值
→ akasan:這種東西別測了 最佳化開下去f1就剩return...
推 ericinttu:樓上太直接了 XD
→ tinlans:這東西跟 calling convention 有關，x86 就剛好是 EAX。
→ tinlans:呼叫端才不管你有沒有實際傳回什麼，按照約定，它就是根據
→ tinlans:data type 去 register 裡，或把 register 的值當 pointer
→ tinlans:去 memory 取值。被呼叫端沒放，那是它違約 XD
→ tinlans:說起來這個東西還是個年經文，以前也有人問過，也有人做了
→ tinlans:跟你一樣的實驗，做出了和你一樣的結論。
→ tinlans:「它會自己幫你挑出一個回傳」<-- 實際上根本沒挑。
→ tinlans:而是一切隨緣。
推 purpose:同意t大。補充一下，return 是 double 的話，值是存在st0
→ james732:不過C編譯器不會抓到樣的錯誤呀？
→ Dannvix:@james732: gcc -Wall 的話會有警告訊息
推 CrBoy:小弟幾個星期前剛好讀到C語言的spec...裡面有特別提到這件事
→ CrBoy:它說 如果function沒有return 那是undefined behavior...
→ CrBoy:http://flash-gordon.me.uk/ansi.c.txt 3.6.6.4最後一段
推 podd233f:我有用arm編出原PO的程式，http://nopaste.csie.org/4962
→ podd233f:沒貼好http://nopaste.csie.org/49623
→ podd233f:看了好久...x86的組語實在是很沒感覺..orz