Rust所有权与借用疑问：隐式Into_iter引发的移动错误解析

两段示例代码 #

第一段（编译报错） #

fn main(){
    let mut example = vec![1,2,3,4,5];
}
fn func(example: &mut Vec<i32>){
    for num in example{
        println!("{}", num);
    }
    println!("{:?}", example); // 编译报错：example moved due to this implicit call to .into_iter()
}

第二段（编译正常） #

fn main(){
    let mut example = vec![1,2,3,4,5];
}
fn func(example: &mut Vec<i32>){
    for num in example.into_iter(){
        println!("{}", num);
    }
    println!("{:?}", example); // 可正常编译运行
}

迭代器会将数据归还至Vector吗？ #

不会。into_iter() 是用来获取迭代目标的所有权或借用权的迭代器创建方式：

• 如果直接对Vec<T>本身调用into_iter()，会彻底消耗整个Vector的所有权，迭代结束后原Vector完全无法再使用；
• 如果对&mut Vec<T>调用into_iter()，只会获取Vector的可变借用权，迭代器持有这个借用直到循环结束，之后借用自动释放，但Vector的所有权始终属于原变量。

你遇到的两段代码差异，核心不是“数据归还”，而是变量本身的所有权/借用处理逻辑不同。

用Rust所有权与借用规则解释差异 #

下面逐条拆解核心规则，对应解释现象：

• 所有权移动规则：
  除了i32、bool这类Copy类型，所有变量在被传递给函数/trait方法时，默认会发生移动——原变量直接失去所有权，后续无法再被使用。

• for循环的隐式转换逻辑：
  for x in y 是语法糖，展开后等价于：

  let mut iter = IntoIterator::into_iter(y);
  while let Some(x) = iter.next() {
      // 循环体代码
  }
  

  这里的IntoIterator::into_iter(y)会直接接收y的所有权（如果y不是Copy类型），导致y被移动。

• 方法调用的自动借用规则：
  调用变量的方法时（比如example.into_iter()），Rust会自动给变量添加合适的引用（&或&mut），除非方法明确要求获取所有权。
  对于&mut Vec<T>类型的example，调用into_iter()时，Rust会自动以可变借用的方式调用方法（等价于(&mut example).into_iter()），不会消耗example变量本身的所有权。

两段代码的具体分析 #

1. 第一段代码报错的原因：
   for num in example 展开后是IntoIterator::into_iter(example)，这里example是&mut Vec<i32>类型（非Copy类型），所以example变量被直接移动到into_iter函数中，循环结束后example已经失去所有权，后续再尝试打印example就会触发编译错误。

2. 第二段代码正常运行的原因：
   example.into_iter() 是直接调用&mut Vec<T>的方法，Rust自动对example做了可变借用，返回的迭代器只持有Vector的可变借用权，而非example变量的所有权。迭代结束后可变借用自动释放，example变量依然可用，所以后续打印不会报错。

内容的提问来源于stack exchange，提问作者Алексей Яковец