在Rust中，如果主函数返回Err，会发生什么？

Question

根据锈迹参考，

如果存在main函数（snip），其返回类型必须是以下类型之一：

>

（）

结果

但它没有说明当main（）返回（）、Ok（））或Err（

据我测试，

这些行为是否在某些文档中定义、明确解释或保证？特别是，我可以假设

>

当main（）返回Err（时，程序始终以1状态退出

main（）返回Err时显示的错误消息（

笔记：

>

我想要某种记录在案的保证，而不是经验性的解释。这就是为什么我添加了#语言-律师标签。

这个问题不是关于什么时候应该使用（）以及什么时候应该使用Result




Answer 1

这种行为由RFC1937中添加的std:：process:：TerminationTrait控制。具体来说，“hidden”lang_start（）函数调用main（），大致如下：

fn lang_start<T: Termination>(
    main: fn() -> T,
    argc: isize,
    argv: *const *const u8
) -> !

也就是说，main（）可以返回任何T：终止。在std中有终止的实现对于！，（），std::process：ExitCode，以及一些Result

对于您的问题，语言律师模式：任何依赖于终止的程序的确切行为都不是由语言本身严格指定的。它是std实现的一部分，而不是语言参考的一部分。这意味着，当使用不同版本的编译器（绑定到不同的std版本）编译时，同一个程序可能会有不同的行为。Err案例中打印错误的确切行为已记录在案，但未指定。由于RFC 1937明确寻找类似POSIX的行为，您可以合理地确信，该程序不会以惊人的方式运行（例如，在Err-case中以状态0退出）。

Answer 2

来自main的不同返回值的行为由std:：process:：Terminationtrait定义：

trait std:：process:：Termination

在主函数中实现任意返回类型的特性。

此特性记录为成功时返回libc:：EXIT_SUCCESS，错误时返回libc:：EXIT_FAILURE。

默认实现返回libc:：EXIT_SUCCESS，表示执行成功。如果出现故障，则返回libc:：EXIT_failure。

但在非POSIX系统上，这些值不能保证为0和1。

至于打印错误消息，Terination需要E： Debug并将Debugimpl打印到stderr，但我不相信它能保证保持完全相同。

impl<E: fmt::Debug> Termination for Result<!, E> {
    fn report(self) -> ExitCode {
        let Err(err) = self;
        eprintln!("Error: {:?}", err);
        ExitCode::FAILURE.report()
    }
}

来源