在展开嵌套的迭代器时指定生命周期

Question

在展开嵌套的迭代器时指定生命周期

3

我正在编写一个函数，它应该接收几个向量并产生它们的笛卡尔积（所有的配对组合）作为按行主序的向量。换句话说，如果我有：

let x_coords = vec![1, 2, 3];
let y_coords = vec![4, 5, 6];

我想要制作

vec![ [1,4], [1,5], [1,6], [2,4], [2,5], [2,6], [3,4], [3,5], [3,6] ]

这似乎是使用.flat_map()的完美工作：

fn main() {
    let x_coords = vec![1, 2, 3];
    let y_coords = vec![4, 5, 6];

    let coord_vec: Vec<[isize; 2]> =
        x_coords.iter().map(|&x_coord| {
            y_coords.iter().map(|&y_coord| {
                [x_coord, y_coord]
            })
        }).flat_map(|s| s).collect();

    // Expecting to get: vec![ [1,4], [1,5], [1,6], [2,4], [2,5], [2,6], [3,4], [3,5], [3,6] ]
    println!("{:?}", &coord_vec);
}

但这样是行不通的，因为&x_coord的生命周期不够长。根据编译器的说法，它最终会进入y_coords映射中，然后永远无法重新出来。

我尝试在闭包中使用 .clone()和 move ，但编译器以多个 Note： 行的形式给了我一个奇怪而又不清晰的讲解。

我对flat_map完全没有头绪，还是有救吗？

- bright-star

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Lukas Kalbertodt · Accepted Answer

解决方案

您已经非常接近了！这个是可行的：

let coord_vec: Vec<_> = x_coords.iter()
    .flat_map(|&x_coord| {
        y_coords.iter().map(move |&y_coord| {
        //                  ^^^^
            [x_coord, y_coord]
        })
    })
    .collect();

我添加的唯一内容是在内部闭包前面加上了move关键字。为什么？让我们试着理解编译器下面的想法！

不过，需要注意以下几点：

我将map重命名为flat_map并删除了第二个flat_map调用...你让自己的生活变得比必要的更复杂了;-)
我省略了coord_vec的类型注释的一部分，因为它不是必需的。

解释

类型x_coord是i32（或任何其他整数）。不是引用或其他，而是直接的值。这意味着x_coord由封闭函数拥有，该函数恰好是一个闭包，特别是您传递给flat_map的“外部”闭包。因此，x_coord仅存在于闭包内部，而不再存在。这就是编译器告诉您的。到目前为止还好。

当您定义第二个闭包（“内部”闭包）时，您访问环境，特别是x_coord。现在重要的问题是：闭包如何访问其环境？它可以使用不可变引用、可变引用和值来访问。Rust编译器确定需要什么类型的环境访问，并选择“最不侵入性”的选项。让我们看看您的代码：编译器发现闭包只需要不可变地借用环境（因为i32是Copy，因此闭包可以轻松地将其&i32转换为i32）。

但在这种情况下，编译器的推理是错误的！闭包借用其环境会导致有限的生命周期。而在这种情况下，我们需要闭包的寿命比它能够承受的时间更长，因此出现了错误。

通过添加move，我们强制编译器通过值（转移所有权）将环境传递给闭包。这样，闭包就不再借用任何东西，可以永远存在（满足'static）。