rust for循环里的所有权 - into_iter / iter / iter_mut

文章目录

  • [1 遍历对象实质为 .into_iter() 生成的迭代器](#1 遍历对象实质为 .into_iter() 生成的迭代器)
  • [2 避免转移 .iter() / .iter_mut()](#2 避免转移 .iter() / .iter_mut())
  • [3 for循环里自变量为什么不用加mut](#3 for循环里自变量为什么不用加mut)
rust 复制代码
// for循环语法糖
for loop_variable in iterator {
    code()
}
// 解糖
{
    let result = match IntoIterator::into_iter(iterator) {
        mut iter => loop {
            match iter.next() {
                None => break,
                Some(loop_variable) => { code(); },
            };
        },
    };
    result
}

1 遍历对象实质为 .into_iter() 生成的迭代器

fn into_iter(self) -> Self::IntoIter

(注意:这里的IntoIter是关联类型,自定义的类型别名)

遍历未实现Copy trait的对象将发生所有权转移

rust 复制代码
let a = vec![0, 1]; // Vec未实现Copy trait
for i in a {i;}
// a; // 去掉注释;报错,a所有权转移

2 避免转移 .iter() / .iter_mut()

fn iter(&self) -> Iter
fn iter_mut(&mut self) -> IterMut

1)

rust 复制代码
let a = vec![0, 1]; 
for i in a.iter() {i;}
a; 

实际上,for循环可以遍历所有实现IntoIterator trait的对象,而IntoIterator trait必须实现的方法就是into_iter();

Iter和IterMut也都实现了IntoIterator trait,所以可以理解为上述代码解糖后操作的对象是a.iter().into_iter(),而基本库里Iter对象into_iter()方法实现是这样的:

rust 复制代码
impl<I: Iterator> IntoIterator for I {
    type Item = I::Item;
    type IntoIter = I; // 类型IntoIter就是待实现对象的类型,这里也就是Iter

    #[inline]
    fn into_iter(self) -> I {
        self // 将iter()产生的Iter对象原封不动地返回,但之前对象的所有权已经转移
    }
}

.into_iter()a.iter()原封不动地返回,此时for循环遍历的对象实质就是a.iter(),而.iter()传递的是调用者的引用

2)

另一种写法就是直接遍历对象的引用

rust 复制代码
    let a = vec![0, 1]; 
    for i in &a {i;}
    a; 

不可变引用都实现了 Copy trait这里自然不存在所有权转移;

同时,【摘自文档 https://rustwiki.org/zh-CN/std/iter/index.html】如果集合类型 C 提供 iter(),则它通常还为 &C 实现 IntoIterator,而该实现只是调用 iter()。 同样,提供 iter_mut() 的集合 C 通常通过委派给 iter_mut() 来为 &mut C 实现 IntoIterator。

所以,这里实际上操作的对象还是a.iter()

p.s 方法的调用会自动解引用,故&a.iter()和a.iter()等价

3 for循环里自变量为什么不用加mut

从文章开头贴出的代码可以看到,解糖后的代码自变量loop_variable实际只是存在于单次循环中的一个临时变量,可以理解成每次循环都会完成一次let loop_variable = iter.next();的赋值操作, 所以,自变量无需mut也能发生变化;当然,添加了mut也不会报错,只是会多个警告提示。

相关推荐
ejinxian3 分钟前
PHP 超文本预处理器 发布 8.5 版本
开发语言·php
星星电灯猴14 分钟前
iOS 性能调试全流程:从 Demo 到产品化的小团队实战经验
后端
程序无bug23 分钟前
手写Spring框架
java·后端
JohnYan25 分钟前
模板+数据的文档生成技术方案设计和实现
javascript·后端·架构
软件黑马王子30 分钟前
C#系统学习第八章——字符串
开发语言·学习·c#
阿蒙Amon31 分钟前
C#读写文件:多种方式详解
开发语言·数据库·c#
全干engineer36 分钟前
Spring Boot 实现主表+明细表 Excel 导出(EasyPOI 实战)
java·spring boot·后端·excel·easypoi·excel导出
Da_秀39 分钟前
软件工程中耦合度
开发语言·后端·架构·软件工程
Fireworkitte1 小时前
Java 中导出包含多个 Sheet 的 Excel 文件
java·开发语言·excel
蓝易云1 小时前
Qt框架中connect()方法的ConnectionType参数使用说明 点击改变文章字体大小
linux·前端·后端