rust - 为什么有符号整数上的绝对值方法不返回无符号值？

以下代码无法编译:

fn main() {
    let x = (-5i32).abs();

    let z: u32 = x;
}

消息:

error[E0308]: mismatched types
 --> src/main.rs:4:18
  |
4 |     let z: u32 = x;
  |                  ^ expected u32, found i32

阅读the documentation时，看起来i32的选择源于i32::min_value()在i32中没有正表示的事实。但是，它将在u32中具有正表示形式，它可以表示两倍大的数字。

我正在学习语言，并且想了解为什么要做出某些设计决定，以便养成良好的习惯。我发现这令人困惑。有人可以解释为什么它如此工作，而不是仅仅返回u32，它似乎在语义上是正确的类型吗？

最佳答案

有一个指向the development meeting minutes的链接，在proposed RFC "Change abs() to return unsigned integers"中对此进行了讨论

看来主要原因是:

许多其他语言都使用i32-> i32(例如C，Java)，因为将其他值意外提升为u32可能会导致错误。 Rust最初出于这个原因(即遵循约定)似乎使用了i32-> i32，但没有遭受相同类型的错误的困扰。

直到Rust达到测试版之后，才提交此功能请求。开发人员不愿意对似乎罕见的bug进行语言的重大更改。这似乎是保持这种状态的主要原因。

似乎可以接受的解决方法是使用as u32进行强制转换。
i32::overflowing_abs i32::wrapping_abs和i32::checked_abs实现了i32::min_value()错误的其他解决方案，但是它们都不产生u32。

关于rust - 为什么有符号整数上的绝对值方法不返回无符号值？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/51753297/