总算在The C++ Programming Language上找到权威的说法了。谢谢各位。
The int value returned by main(), if any, is the program's return value to "the system." If no value is returned, the system will receive a value indicating successful completion. A nonzero value from main() indicates failure.