rust - 在 Rust 中如何从 BigInt 中减 1？

Question

我希望该程序在执行时编译并打印 314158:

extern crate num;

use num::{BigInt, FromPrimitive, One};

fn main() {
    let p: BigInt = FromPrimitive::from_usize(314159).unwrap();
    let q: BigInt = p - One::one();
    println!("q = {}", q);
} // end main

编译器错误是:

error[E0284]: type annotations required: cannot resolve `<num::BigInt as std::ops::Sub<_>>::Output == num::BigInt`
 --> src/main.rs:7:23
  |
7 |     let q: BigInt = p - One::one();
  |                       ^

Answer 1

Rust 在特性方面遵循开放世界假设。根据您的注释，它知道 p 是 BigInt。它还知道 One::one() 有一个实现 One 的类型。因此，Rust 正在 BigInt 上寻找一个减法运算符，它接受一个类似 One 的东西作为参数。

num::BigInt as std::ops::Sub<Foo>>

其中 Foo 实现 One。问题是，BigInt 实现了 Sub in several different ways ，因此 Rust 不知道您是否要尝试从 p< 中减去 i32、u64 还是另一个 BigInt/.

一个答案是更明确地表达您的类型。

let p: BigInt = FromPrimitive::from_usize(314159).unwrap();
let one: BigInt = One::one();
let q: BigInt = p - one;

不过，更简洁地说，您可以利用 BigInt 实现 One 的事实，并以这种方式帮助编译器进行类型推断。

let p: BigInt = FromPrimitive::from_usize(314159).unwrap();
let q: BigInt = p - BigInt::one();

(感谢@loganfsmyth，提供后一个解决方案!)