如果存在
main
函数(snip),其返回类型必须是以下类型之一:
一百
一百
但它没有说明当main()
返回()
、Ok(())
或Err(<value>)
时会发生什么.
据我测试,
() |
Ok(()) |
Err(<value>) |
|
---|---|---|---|
Exit Status | 0 | 0 | 1 |
Additional Behavior | - | - |
Error: <value> is printed to stderr
|
这些行为是否在某些文档中定义、明确解释或保证?特别是,我可以假设
-
当
main()
返回Err(<value>)
时,程序总是以1
状态退出? -
main()
返回Err(<value>)
时显示的错误消息始终为Error: <value>
?
笔记:
-
我想要某种书面的保证,而不是经验的解释.这就是我添加
#language-lawyer
标签的原因. -
这个问题不是关于When should I use 100 and when should I use 101?之类的.正如你所知,你可以在许多文档或教程中找到这些问题的答案(或者至少是提示或标准).