Question

rustc 1.0.0-夜间（be9bd7c93 2015-04-05）（建于2015-04-05）

extern crate rand;

fn test(a: isize) {
    println!("{}", a);
}

fn main() {
    test(rand::random() % 20)
}

此代码在Rust beta之前编译，但现在它没有：

src/main.rs:8:10: 8:22 error: unable to infer enough type information about `_`; type annotations required [E0282]
src/main.rs:8     test(rand::random() % 20)
                       ^~~~~~~~~~~~

我必须编写这段代码来编译：

extern crate rand;

fn test(a: isize) {
    println!("{}", a);
}

fn main() {
    test(rand::random::<isize>() % 20)
}

如何让编译器推断出类型？

Answer 1

编译器在这种情况下无法推断出类型，有太多未知数。

让我们将R的输出类型称为rand::random()，将I称为20的类型。

test(rand::random() % 20)强加的条件仅为：

R: Rand + Rem<I, Ouput=isize>
I: integral variable (i8, u8, i16, u16, i32, u32, i64, u64, isize or usize)

没有什么可以保证只有一对(T, I)符合这些要求（实际上很容易创建一个新类型T来满足它们），因此编译器无法自行选择

因此，使用rand::random::<isize>()是正确的方法。

在取随机数的模数时输入推断失败

1 个答案: