rust - 为什么 random() 结果没有推断出的类型？

Question

我正在尝试关注 guide ，并且正在编译以下代码:

use std::rand;

fn main() {
    println!("Guess the number!");

    let secret_number = (rand::random() % 100i) + 1i;

    println!("The secret number is: {}", secret_number);
}

但是，我收到以下错误:

➜  guess git:(master) ✗ cargo run 
   Compiling guess v0.0.1 (file:///home/mkpankov/rust/guide/guess)
/home/mkpankov/rust/guide/guess/src/main.rs:6:26: 6:40 error: the type of this value must be known in this context
/home/mkpankov/rust/guide/guess/src/main.rs:6     let secret_number = (rand::random() % 100i) + 1i;
                                                                       ^~~~~~~~~~~~~~
error: aborting due to previous error
Could not compile `guess`.

To learn more, run the command again with --verbose.

我查看了 % 的定义，发现它使用了 Rem trait .并且该特征仅在相同类型的操作数上定义运算符。

现在，我使用 100i 作为第二个操作数，根据 reference，它应该是 int .

那么，为什么编译器不能像手册中建议的那样从 random() 中推断出请求的正确类型？ (我的 Haskell 经验暗示它应该如此)。

不完全确定这是一个错误，因此提出了这个问题。

一些附加信息:

➜  guess git:(master) ✗ rustc --version
rustc 0.12.0-nightly (63fe80e1f 2014-10-08 23:42:39 +0000)

在 Ubuntu 14.04 x64 上运行。

更新:我注意到这个错误是故意发生的(指南告诉了稍后修复它的方法)。但是，为什么编译器不能推断类型的原始问题仍然适用。

Answer 1

嗯，编译器无法推断类型的答案很简单。这是 Rem定义:

pub trait Rem<RHS, Result> {
    fn rem(&self, rhs: &RHS) -> Result;
}

注意它有两个类型参数，RHS和 Result .每个特征也有隐式类型参数，称为 Self , 指定实现特征的类型。这是如何Rem int 的实现看起来像:

impl Rem<int, int> for int { ... }

所以在这里Self = int , RHS = int和 Result = int .但是 traits 是开放的，也就是说，你可以为你拥有的任何类型实现外来 trait，也可以为任何外来类型实现你自己的 trait。没有人能阻止您添加这样的实现(Self = X、RHS = int、Result = int):

struct X;

impl Rem<int, int> for X {
    fn rem(&self, arg: &int) -> int { *arg }
}

现在rand::random()调用不明确:类型检查器是否应该选择 rand::random::<X>()或 rand::random::<int>() ？

请注意，理论上类型检查器可以决定使用适用于这种情况的唯一类型。然而，这将导致非常脆弱的程序。假设是这种情况，原程序编译正常。在同一模块中，但在不相关的部分中，您使用了其他类型，例如 X , 这是从另一个库导入的。然后这个库的作者突然决定如果 X 就好了。已实现 Rem<int, int> .因为导入一个类型也会导入该类型的所有特征实现，然后 BAM，你的程序突然停止编译。

如果是你的程序可能没问题。毕竟，您总能注意到此类编译错误并相应地进行更正。但是，假设这不是发生在您的程序中，而是发生在您所依赖的库中。例如，如果 liby二手 X来自 libx , 然后 libx作者决定为 X 添加一个有问题的特征实现, 然后 liby突然停止编译，您无能为力。这意味着，例如，您将无法轻松修改库版本。