为什么在将字符串解析为数字时会出现错误“此值的类型必须在此上下文中已知”？

Question

我不是想写复杂的代码，我只是想了解这里发生了什么（或没有发生什么）。我检查了其他问题，但它们都有复杂的情况，我认为这种情况是迄今为止最简单的。

我有以下代码：

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

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

在我看来，我们有一个

为什么我不能这么做？实际上，这不是一回事吗？

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可以推断它应该调用parse，并将f32作为其类型参数。在第二个示例中，f32没有在代码中提到，因此Rust不可能找到它。

您也可以直接传递它，而不是从变量的类型推断类型参数。这样，它将在一个步骤中工作：

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