为什么 IntoIter 不拥有这些值？ [复制]

Question

我想遍历一个整数的字节：

use core::mem::size_of;

const SIZE: usize = size_of::<u64>();
    
fn main() {
    let x: u64 = 512;
    let mut buf: [u8; SIZE] = [0; SIZE];
    
    for (i, b) in x.to_be_bytes().into_iter().enumerate() {              
        buf[i] = b;
    }
}

编译器告诉我buf[i] = b; 行，他expected `u8`, found `&u8` 。但为什么呢？

当我查看拥有数组类型[T; N] 的IntoIterator 特征的实现时，into_iter() 方法返回一个std::array::IntoIter<T, N>，它实现了Iterator 特征，其中type Item = T。 T 不应该在这里评估为u8 吗？

为什么迭代器返回 &u8 引用而不是拥有的 u8 字节？

Answer 1

Rust 文档提到 array 的这种行为：

在 Rust 1.53 之前，数组没有按值实现 IntoIterator，因此方法调用 array.into_iter() 自动引用到切片迭代器中。现在，为了兼容性，旧的行为在 2015 和 2018 版本的 Rust 中保留，按值忽略 IntoIterator。未来，2015 和 2018 版本的行为可能会与后续版本的行为保持一致。

• Rust documentation, "Primitive Type array"

如果您使用 Rust 2018，您将获得参考，但目前您可以使用 IntoIterator::into_iter(array)

在循环中取消引用b 将提示：

  |
9 |     for (i, b) in x.to_be_bytes().into_iter().enumerate() {
  |                                   ^^^^^^^^^
  |
  = note: `#[warn(array_into_iter)]` on by default
  = warning: this changes meaning in Rust 2021
  = note: for more information, see issue #66145 <https://github.com/rust-lang/rust/issues/66145>

这是一个例子：

use core::mem::size_of;

const SIZE: usize = size_of::<u64>();

fn main() {
    let x: u64 = 512;
    let mut buf: [u8; SIZE] = [0; SIZE];

    for (i, b) in IntoIterator::into_iter(x.to_be_bytes()).enumerate() {
        buf[i] = b;
    }
}

• Playground

---

具有新行为的 Rust 2021 版本可能会在今年 10 月发布。请参阅Rust Blog, "The Plan for the Rust 2021 Edition" 了解更多信息。