为什么在迭代过程中需要“&”来解构元组列表？

当迭代元组列表时，&需要使其发挥作用。因此这会起作用......

for &(a, b, c) in [("hello", 1.0, 5), ("world", 2.0, 2)].iter() {
    println!("{} {} {}", a, b, c);
}

但这不会...

for (a, b, c) in [("hello", 1.0, 5), ("world", 2.0, 2)].iter() {
    println!("{} {} {}", a, b, c);
}

// type mismatch resolving `<core::slice::Iter<'_, (&str, _, _)> as core::iter::Iterator>::Item == (_, _, _)`:
// expected &-ptr,
found tuple [E0271]

我确信这与我尚未完全内化的解构语法的复杂性有关。

您能解释一下 & 符号背后的语法真相吗？

这是因为iter数组的方法[T] http://doc.rust-lang.org/std/primitive.slice.html#method.iter返回一个。这就是为什么编译器说“expected &-ptr, found tuple [E0271]".

那么这是为什么呢？出色地，一般来说，你无法复制T。除非代码假设了更严格的限制T: Copy or T: Clone，它只能move类型的值T.

这对于数组来说是一个问题，因为无法将单个元素移出数组；这样做会使整个事情变得无效。

Aside: Vec和公司。通过实现额外的逻辑来解决这个问题unsafe块以使其正常工作。容器还可以提供into_iter这为您提供了一个增量迭代器consumes容器，允许您将值移出。

因为你想要数组iter工作方法all数组，而是依次生成对每个元素的不可变引用。

结果，你试图解构一个&(&str, f32, i32), not a (&str, f32, i32)，因此额外的&。 Rust 不喜欢隐式，所以你必须明确地解构参考。这也有助于明确存在取消引用和一份副本发生在这里。