too-many-lists/ok-stack/itermut

[giscus[bot]]

too-many-lists/ok-stack/itermut

https://course.rs/too-many-lists/ok-stack/itermut.html

[ggchengyu]

看到这里，我小小记录下心得：
rust编程目前主要有两个问题：
1、所有权和借用
这里的所有权问题指无Copy特性的类型，可以通过转换为Option等拥有Copy特性的结构（as_ref和as_deref我认为是这种思路）
2、生命周期

建议多看看生命周期和所有权和借用这两个章节，通过小项目练手形成记忆。

[ggchengyu]

哦对了，还有类似于take、std::mem::repalce(,)这种，个人猜测是将存储的内容copy出来再赋予创建的新值，内部实现没有看；
或多或少扮演了"robbery”的戏份

[whitestarlau]

std::mem::repalce内部是交换了指针，跟进去看一下就知道了。

[1793523411]

pub const fn replace<T>(dest: &mut T, src: T) -> T {
    // SAFETY: We read from `dest` but directly write `src` into it afterwards,
    // such that the old value is not duplicated. Nothing is dropped and
    // nothing here can panic.
    unsafe {
        let result = ptr::read(dest);
        ptr::write(dest, src);
        result
    }
}

[GmwEnterprise]

“原因在于有些类型可以 Copy，有些不行。而Option 和不可变引用 &T 恰恰是可以 Copy 的，但尴尬的是，可变引用 &mut T 不可以，因此这里报错了。”

没懂，哥哥们，

    fn next(&mut self) -> Option<Self::Item> {
        self.next.map(|node| {
            self.next = node.next.as_deref_mut();
            &mut node.elem
        })
    }

这里的 self.next.map 不就是要把所有权交出到 |node| 里吗？为什么还会报这个错误呢？萌新提问

[Jisu-Woniu]

主要是因为可变引用一旦复制，会出现同一时间存在多个可变引用的情况，违背了 Rust 对引用的的限制

[chaoliu719]

和我理解的不太一样。首先，take() 之后的 map() 的第一个参数是 self，说明它要把 take() 的返回值消耗掉。

而 take() 调用会把 self.next 的东西用 None 替换，之后就拥有了 Option<&mut Node<T>> 的所有权，这时候刚好可以被 map() 消费。

在闭包里面，self.next 是 None。因为 self 拥有一个可变借用，所以可以赋值 self.next。

[ospdz]

我也有这个疑问，而且这和Iter里面的参数签名是一样的，为什么一个可以，一个不行

[TytRC]

我猜测是这样的，map 实际上会拿走 self 的所有权，所以看上去 self.next.map 是不行的，因为我们只有 self 的可变引用，而非所有权。实际上，在 Iter 的实现中，因为 self.next 的类型是 Option<&Node<T>>，是对不可变引用的封装，Copy 接口是实现了的。所以调用 self.next.map 不会拿走所有权，而是将 self.next 复制了一份给 map 的参数。

然而在 IterMut 的实现中，self.next 的类型是 Option<&mut Node<T>>，没有实现 Copy 接口（因为多个不可变引用不能同时存在），所以直接 self.next.map 就行不通了（我们没有 self.next 的所有权）。所以需要 take 的作用是将 self.next 的值拿出来用。

[Jisu-Woniu]

IterMut::next 方法中，self 类型是 &mut IterMut，self.next 类型是 Option<&mut T>，但只能被 &mut 借用，可以视为 &mut Option<&mut T>。

而 map 需要一个 Option<&mut T>，于是需要一个从 &mut Option<&mut T> 到 Option<&mut T> 的转换函数，这里就是 take。

而不可变版本中则是 &Option<&T> 到 Option<&T> 的转换，符合 clone 函数签名，但是由于 & 引用实现 Copy，所以可以省略 clone 调用，直接调用 map。

补充一份截图，在 rust-analyzer 设置中启用了 reborrowHints：