一、依據(jù)
C++標(biāo)準(zhǔn)規(guī)定：main函數(shù)可以省略返回語句，等效于返回0。
5. A return statement in main has the effect of leaving the main function (destroying any objects with automatic storage duration) and calling exit with the return value as the argument.
If control reaches the end of main without encountering a return statement, the effect is that of executing
return 0;
——ISO C++03 3.6.1 Main function p44/72
——ISO C++98 3.6.1 Main function p43/69
注意：
1. main函數(shù)的返回類型是int， 不是void或者其他類型。
2. 該規(guī)則僅僅對(duì)main函數(shù)適用。
3. 對(duì)其他函數(shù)，如果省略返回值， 將得到一個(gè)警告。
4. 應(yīng)該避免3的情況。
二、 示例
二、1. 一個(gè)合法的最小化的完整C++程序如下：
int main() {}
二、2. 省略的確切含義
同時(shí)，標(biāo)準(zhǔn)中的用語是很
考究的：
“當(dāng)控制到達(dá)main結(jié)束處時(shí)沒有遇到return語句，效果與返回0相同”。
即是說，標(biāo)準(zhǔn)規(guī)定的是“對(duì)省略return的
分支，認(rèn)為返回0”。
同時(shí)，標(biāo)準(zhǔn)也允許
其他分支含有返回語句。
如下：
int main(int argc,char* []) {
switch (argc)
{
case 1:
// error, should passing argument
return -1;
// parse arguments
default:
case 3: // parser argv[2]
case 2: // parser argv[1]
;
}
// do some work
// control reaches here
}
沒有輸入命令行參數(shù)時(shí)， 返回一個(gè)錯(cuò)誤。
其他情況，當(dāng)控制達(dá)到main的
結(jié)尾處時(shí)，效果同return 0;
二、3. 對(duì)于其他函數(shù)，沒有這種“優(yōu)待”
如：
int not_main(int argc) {
if (argc<=1)
return -1;
}
int main(int argc,char* []) {
return not_main(argc);
}
not_main無疑將得到一個(gè)警告。
程序在沒有輸入命令行參數(shù)時(shí)的返回值將
無法預(yù)知。
三、驗(yàn)證
三、1. ERRORLEVEL
windows下，可以通過 %
ERRORLEVEL% 查詢上一次程序返回值。
結(jié)果與判斷相吻合：
1. minimalist有
確定的返回值0
2. omit_return_in_main有
確定的返回值-1或0
3. 對(duì)omit_return_in_other
3.1 有命令行參數(shù)時(shí)，返回值
確定為0。
3.2 無命令行參數(shù)時(shí)，返回值
無法預(yù)知。
三、2 匯編代碼
更嚴(yán)謹(jǐn)?shù)尿?yàn)證方法是查看匯編代碼。
可以看到，在minimalist與omit_return_in_main的main函數(shù)中都有將eax置0的代碼。
在omit_return_in_other中的not_main函數(shù)中，沒有這樣的代碼。
四、 例外
VC6在這點(diǎn)上與標(biāo)準(zhǔn)不符。
四、1. 對(duì)omit_return_in_main，它給出的警告：
warning C4715: 'main' : not all control paths return a value
說明它在這點(diǎn)上與標(biāo)準(zhǔn)不符。
顯然，在有命令行參數(shù)的時(shí)候，程序結(jié)果
無法預(yù)知。
四、2. 對(duì)minimalist，它給出的警告很搞笑：
warning C4508: 'main' : function should return a value;
'void' return type assumed暴露出它另一個(gè)
與標(biāo)準(zhǔn)不符的地方——main返回void。
顯然，任何情況下，程序結(jié)果都
無法預(yù)知。
四、3. 對(duì)omit_return_in_other，是程序員的錯(cuò)誤。
五、 實(shí)踐
不知道為什么C++標(biāo)準(zhǔn)在這里開一個(gè)“后門”。
——C++在許多地方都是很
嚴(yán)謹(jǐn)的。
在實(shí)際應(yīng)用中，盡量不要采用這一特性， 因?yàn)椋?br>1. 舊編譯器不支持
2. C不支持——如果希望main能同時(shí)按C語言編譯的話
對(duì)于
演示用的C++代碼，與主題無關(guān)的代碼行能省則省，則可以使用這一特性。
比如：C++標(biāo)準(zhǔn)中的示例代碼幾乎都采用了這一特性。
由此可得出，C++標(biāo)準(zhǔn)在這里開后門的原因是——讓C++標(biāo)準(zhǔn)更薄^_^
相關(guān)鏈接：
——示例代碼
http://immature.googlecode.com/svn/trunk/iMmature/sample/omit_return_in_main
本作品采用知識(shí)共享署名-非商業(yè)性使用-相同方式共享 2.5 中國大陸許可協(xié)議進(jìn)行許可。
轉(zhuǎn)載請(qǐng)注明 ：
文章作者 - OwnWaterloo
發(fā)表時(shí)間 - 2009年04月26日
原文鏈接 - http://www.shnenglu.com/ownwaterloo/archive/2009/04/26/omit_return_in_main.html
posted on 2009-04-26 14:37
OwnWaterloo 閱讀(3485)
評(píng)論(1) 編輯 收藏 引用