为什么在变量上调用方法会阻止 Rust 推断变量的类型

根据已知事实(见下文)，它无法编译，因为:

• 类型判断器通过函数in the order it was written，
• 在let example = Default::default();中，example可以是实现Default的任何东西，
• 实地访问及；方法调用需要已知类型，
• "任何实现Default的东西"都不是已知类型.

我用字段访问替换了some_method()，它会产生同样的错误.

从Type inference depends on ordering (#42333)开始:

use std::path::PathBuf;

pub struct Thing {
    pub f1: PathBuf,
}

fn junk() -> Vec<Thing> {
    let mut things = Vec::new();
    for x in vec![1, 2, 3] {
        if x == 2 {
            for thing in things.drain(..) {
                thing.f1.clone();
            }
            return vec![]
        }
        things.push(Thing{f1: PathBuf::from(format!("/{}", x))});
    }   
    things  
}               

fn main() { 
    junk();
}

这会产生Rust 1.33.0的编译器错误:

error[E0282]: type annotations needed
  --> src/main.rs:13:17
   |
9  |     let mut things = Vec::new();
   |         ---------- consider giving `things` a type
...
13 |                 thing.f1.clone();
   |                 ^^^^^ cannot infer type
   |
   = note: type must be known at this point

您应该关注eddyb(Rust语言设计团队since May, 2016的知名成员)的以下 comments .

Comment #1:

这是顺序类型判断器的已知限制.当inference自由流动时，thing.f1.clone()被选中before things.push(Thing {...})，所以当你试图访问f1字段时，thing: Thing是未知的.我们将来可能会远离这一点，但目前还没有立即的计划.

更重要的是comment #2:

我的意思是，类型判断器通过函数in the order it was written.[...] 字段访问和方法调用不受支持，除非类型为is already known.