为什么传递给 flat_map 的闭包没有类型注解可以编译，而带有注解的闭包不能编译？

Question

为什么在闭包上没有类型注释的情况下编译？

fn transform(input: &Vec<Vec<String>>) {
    input.iter().flat_map(|words| words.iter());
}

但这不是吗？

fn transform(input: &Vec<Vec<String>>) {
    input.iter().flat_map(|words: &Vec<String>| words.iter());
}

推断的类型不是&Vec<String>吗？还是我也需要注释生命周期，因为这似乎是关于闭包的生命周期不够长？

后面的sn-p中的错误是

error[E0495]: cannot infer an appropriate lifetime for lifetime parameter in function call due to conflicting requirements
 --> src/main.rs:2:55
  |
2 |     input.iter().flat_map(|words: &Vec<String>| words.iter());
  |                                                       ^^^^
  |
note: first, the lifetime cannot outlive the anonymous lifetime #1 defined on the block at 2:48...
 --> src/main.rs:2:49
  |
2 |     input.iter().flat_map(|words: &Vec<String>| words.iter());
  |                                                 ^^^^^^^^^^^^
note: ...so that reference does not outlive borrowed content
 --> src/main.rs:2:49
  |
2 |     input.iter().flat_map(|words: &Vec<String>| words.iter());
  |                                                 ^^^^^
note: but, the lifetime must be valid for the method call at 2:4...
 --> src/main.rs:2:5
  |
2 |     input.iter().flat_map(|words: &Vec<String>| words.iter());
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
note: ...so type `fn(std::slice::Iter<'_, std::vec::Vec<std::string::String>>, [closure@src/main.rs:2:27: 2:61]) -> std::iter::FlatMap<std::slice::Iter<'_, std::vec::Vec<std::string::String>>, std::slice::Iter<'_, std::string::String>, [closure@src/main.rs:2:27: 2:61]> {<std::slice::Iter<'_, std::vec::Vec<std::string::String>> as std::iter::Iterator>::flat_map::<std::slice::Iter<'_, std::string::String>, [closure@src/main.rs:2:27: 2:61]>}` of expression is valid during the expression
 --> src/main.rs:2:5
  |
2 |     input.iter().flat_map(|words: &Vec<String>| words.iter());
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Answer 1

编译器担心您的代码会产生悬空指针。当您不使用类型注释时，编译器会正确地推断出内部引用相对于外部引用的生命周期。

但是，当您注释类型并且不向编译器解释内部引用的生命周期如何与外部引用相关时（即，words: &Vec<String>/内部引用如何相关到input: &Vec<Vec<String>>/外部引用），编译器吓坏了。

简单的解决方法是让编译器知道内部引用的生命周期至少与外部引用相同：

fn transform<'a>(input: &'a Vec<Vec<String>>) {
    input.iter().flat_map(|words: &'a Vec<String>| words.iter());
}

希望这是有道理的。在 Rust 中，引用不能超过它所引用的内容。在编译器看来，您的input 引用可能会在您的words 引用之前消失（这很糟糕，因为words 引用了input 中的项目）。因此，如果您不打算让编译器推断生命周期，则需要明确说明。