阶乘if语句期望'()'找到整数
我是 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 块应该处理它的所有情况。但是，在编译时会引发以下错误：
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 不应该足够好吗？
回答
正如错误消息所说，如果if表达式没有，则表达式else的类型为()。这是因为表达式只能有一种类型，并且在一般情况下没有合理的默认值，如果条件计算为false- 这else就是 for！
在您的情况下，编译器可能已经发现这两个谓词实际上是详尽无遗的。事实并非如此，事实就是如此。如果编译器在这种情况下可以检测到穷举性，那么在其他“明显”情况下也不能检测到它会很奇怪。但是谓词可以是任意表达式，在一般情况下不可能实现检查。
在此示例中，编译器必须分析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在末尾添加一个。