在將字符串解析為數字時，為什么會出現“在此上下文中必須知道此值的類型”的錯誤？

Question

我不是想編寫復雜的代碼，我只是想了解這里發生了什么（或不是什么）。 我檢查了其他問題，但他們都有復雜的情況，我認為這種情況到目前為止最簡單。

我有以下代碼：

let one_step: f32 = "4.0".parse().unwrap();
let extra_step: u32 = one_step as u32;

println!("{:?}", extra_step);

我看到它的方式，我們有一個&str ，我們將它解析為f32並解開它。 然后我們將f32轉換為u32 。

為什么我不能這樣做？ 實際上，這不是一回事嗎？

let single_step: u32 = "4.0".parse().unwrap() as u32;

println!("{:?}", single_step);

如果我嘗試運行此代碼，我會收到此錯誤：

error[E0619]: the type of this value must be known in this context
 --> src/main.rs:6:27
  |
6 |     let single_step: u32 = "4.0".parse().unwrap() as u32;
  |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

看起來有些東西要求我們將操作分成兩個塊。

Answer 1

問題是parse不只是為f32定義的。 parse可以定義所有類型的類型（特別是任何實現FromStr類型）。 那么Rust怎么知道parse應該返回f32而不是其他類型呢？

在你的第一個例子中，它知道這一點，因為oneStep被聲明為具有類型f32 ，因此Rust可以推斷它應該使用f32作為其類型參數調用parse 。 在第二個例子中，代碼中的任何地方都沒有提到f32 ，所以Rust無法弄明白。

您可以直接傳遞它，而不是從變量類型推斷類型參數。 這樣它只需一步即可：

let singleStep: u32 = "4.0".parse::<f32>().unwrap() as u32;