爲什麼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經驗暗示它應該）。

不完全確定這是一個錯誤，因此是一個問題。

一些額外的信息：在Ubuntu 14.04 64

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

上運行。

更新：我注意到這個錯誤是打算髮生的（該指南告訴稍後修復它的方法）。然而，爲什麼編譯器不能推斷該類型的原始問題仍然適用。

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。但是特質是開放的，也就是說，你可以實現任何類型的外國特質，你可以爲任何外國類型實現你自己的特質。沒有人能阻止你添加一個實現這樣一個（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>會很好。因爲導入一個類型也會導入該類型的所有trait實現，然後BAM，您的程序突然停止編譯。

這可能是好的，如果它是你的程序。畢竟，你總是可以注意到這樣的編譯錯誤並相應地糾正它。但是，假設這不是發生在您的程序中，而是發生在您依賴的庫中。例如，如果使用liby從Xlibx，然後libx筆者決定將違規的特質實施X，然後liby突然停止編譯並沒有什麼你可以做。這意味着，例如，您將無法輕鬆修改庫版本。