rust - 阶乘 if 语句期望 '()' 找到整数

Question

我是 rust 的新手(来自 c/c++ 和 python 编程)所以为了学习我正在编写一些基本函数。下面我有一个阶乘函数，它接受一个带符号的整数，并有两个 if 检查它。

fn factorial(x: i32) -> i32 {
    let result = if x > 1 {
        x * factorial(x-1)
    } else if x <= 1 {
        1
    };

    result
}

据我所知，if 和 else-if block 应该处理它的所有情况。但是，编译时会抛出以下错误:

error[E0317]: `if` may be missing an `else` clause
  --> src/main.rs:22:12
   |
22 |       } else if x <= 1 {
   |  ____________^
23 | |         1
   | |         - found here
24 | |     };
   | |_____^ expected `()`, found integer
   |
   = note: `if` expressions without `else` evaluate to `()`
   = help: consider adding an `else` block that evaluates to the expected type

error: aborting due to previous error

For more information about this error, try `rustc --explain E0317`.
error: could not compile `functions`

如果我用 else 替换 else-if，它编译得很好。为什么我需要用 else 替换它？前面的 else-if 不应该足够好吗？

Answer 1

如错误消息所述，如果 if 表达式没有 else，则表达式的类型为 ()。这是因为表达式只能有一种类型，并且在一般情况下没有合理的默认值，如果条件评估为 false - 这就是 else 的用途!

在您的情况下，编译器可能已经发现这两个谓词实际上是详尽无遗的。事实并非如此，事实就是如此。如果编译器可以在这种情况下检测到详尽无遗，那么如果它在其他“明显”的情况下也无法检测到它，那就太奇怪了。但谓词可以是任意表达式，一般情况下无法实现检查。

在此示例中，编译器必须分析 random 函数的主体以了解谓词是否详尽无遗:

// random(x) might return a different value each time it's called
if random(x) > 1 {
    1
} else if random(x) <= 1 {
    2
} // Not exhaustive!

保持一致似乎是该语言的最佳选择，因为您始终可以在末尾添加 else。