From cf451010baea6801d12c7bf56df770d028391287 Mon Sep 17 00:00:00 2001 From: sunface Date: Wed, 16 Mar 2022 13:54:22 +0800 Subject: [PATCH] =?UTF-8?q?=E6=96=B0=E5=A2=9E=E7=AB=A0=E8=8A=82=EF=BC=9A[d?= =?UTF-8?q?eque-Peek]?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/SUMMARY.md | 3 +- src/too-many-lists/deque/peek.md | 136 +++++++++++++++++++++++++++++++ 内容变更记录.md | 1 + 3 files changed, 139 insertions(+), 1 deletion(-) create mode 100644 src/too-many-lists/deque/peek.md diff --git a/src/SUMMARY.md b/src/SUMMARY.md index cfc7e5fe..c85d543e 100644 --- a/src/SUMMARY.md +++ b/src/SUMMARY.md @@ -1,9 +1,9 @@ # Rust 语言圣经 +[关于本书](about-book.md) [进入 Rust 编程世界](into-rust.md) [AWS 为何这么喜欢 Rust?](usecases/aws-rust.md) [避免从入门到放弃](sth-you-should-not-do.md) -[关于本书](about-book.md) [快速查询入口](index-list.md) @@ -169,6 +169,7 @@ - [Drop、Arc 及完整代码](too-many-lists/persistent-stack/drop-arc.md) - [不咋样的双端队列](too-many-lists/deque/intro.md) - [数据布局和基本操作](too-many-lists/deque/layout.md) + - [Peek](too-many-lists/deque/peek.md) - [易混淆概念解析](confonding/intro.md) - [切片和切片引用](confonding/slice.md) - [Eq 和 PartialEq](confonding/eq.md) diff --git a/src/too-many-lists/deque/peek.md b/src/too-many-lists/deque/peek.md new file mode 100644 index 00000000..f9fda431 --- /dev/null +++ b/src/too-many-lists/deque/peek.md @@ -0,0 +1,136 @@ +# Peek +`push` 和 `pop` 的防不胜防的编译报错着实让人出了些冷汗，下面来看看轻松的，至少在之前的链表中是很轻松的 :) + +```rust +pub fn peek_front(&self) -> Option<&T> { + self.head.as_ref().map(|node| { + &node.elem + }) +} +``` + +额...好像被人发现我是复制黏贴的了，赶紧换一个: +```rust +pub fn peek_front(&self) -> Option<&T> { + self.head.as_ref().map(|node| { + // BORROW!!!! + &node.borrow().elem + }) +} +``` + +```shell +cargo build + +error[E0515]: cannot return value referencing temporary value + --> src/fourth.rs:66:13 + | +66 | &node.borrow().elem + | ^ ----------^^^^^ + | | | + | | temporary value created here + | | + | returns a value referencing data owned by the current function +``` + +从报错可以看出，原因是我们引用了局部的变量并试图在函数中返回。为了解释这个问题，先来看看 `borrow` 的定义: +```rust +fn borrow<'a>(&'a self) -> Ref<'a, T> +fn borrow_mut<'a>(&'a self) -> RefMut<'a, T> +``` + +这里返回的并不是 `&T` 或 `&mut T`，而是一个 [`Ref`](https://doc.rust-lang.org/std/cell/struct.Ref.html) 和 [`RefMut`](https://doc.rust-lang.org/std/cell/struct.RefMut.html)，那么它们是什么？说白了，它们就是在借用到的引用外包裹了一层。而且 `Ref` 和 `RefMut` 分别实现了 `Deref` 和 `DerefMut`，在绝大多数场景中，我们都可以像使用 `&T` 一样去使用它们。 + + +只能说是成是败都赖萧何，恰恰就因为这一层包裹，导致生命周期改变了，也就是 `Ref` 和内部引用的生命周期不再和 `RefCell` 相同，而 `Ref` 的生命周期是什么，相信大家都能看得出来，因此就造成了局部引用的问题。 + +事实上，这是必须的，如果内部的引用和外部的 `Ref` 生命周期不一致，那该如何管理？当 `Ref` 因超出作用域被 `drop` 时，内部的引用怎么办？ + +现在该怎么办？我们只想要一个引用，现在却多了一个 `Ref` 拦路虎。等等，如果我们不返回 `&T` 而是返回 `Ref` 呢？ +```rust +use std::cell::{Ref, RefCell}; + +pub fn peek_front(&self) -> Option> { + self.head.as_ref().map(|node| { + node.borrow() + }) +} +``` + +```shell +> cargo build + +error[E0308]: mismatched types + --> src/fourth.rs:64:9 + | +64 | / self.head.as_ref().map(|node| { +65 | | node.borrow() +66 | | }) + | |__________^ expected type parameter, found struct `fourth::Node` + | + = note: expected type `std::option::Option>` + found type `std::option::Option>>` +``` + +嗯，类型不匹配了，要返回的是 `Ref` 但是获取的却是 `Ref>`，那么现在看上去有两个选择： + +- 抛弃这条路，换一条重新开始 +- 一条路走到死，最终通过更复杂的实现来解决 + +但是，仔细想想，这两个选择都不是我们想要的，那没办法了，只能继续深挖，看看有没有其它解决办法。啊哦，还真发现了一只野兽： +```rust +map(orig: Ref<'b, T>, f: F) -> Ref<'b, U> + where F: FnOnce(&T) -> &U, + U: ?Sized +``` + +就像在 `Result` 和 `Option` 上使用 `map` 一样，我们还能在 `Ref` 上使用 `map`: +```rust +pub fn peek_front(&self) -> Option> { + self.head.as_ref().map(|node| { + Ref::map(node.borrow(), |node| &node.elem) + }) +} +``` + +```shell +> cargo build +``` + +Gooood! 本章节的编译错误可以说是多个链表中最难解决的之一，依然被我们成功搞定了！ + + +下面来写下测试用例，需要注意的是 `Ref` 不能被直接比较，因此我们需要先利用 `Deref` 解引用出其中的值，再进行比较。 + +```rust +#[test] +fn peek() { + let mut list = List::new(); + assert!(list.peek_front().is_none()); + list.push_front(1); list.push_front(2); list.push_front(3); + + assert_eq!(&*list.peek_front().unwrap(), &3); +} +``` + +```shell +> cargo test + + Running target/debug/lists-5c71138492ad4b4a + +running 10 tests +test first::test::basics ... ok +test fourth::test::basics ... ok +test second::test::basics ... ok +test fourth::test::peek ... ok +test second::test::iter_mut ... ok +test second::test::into_iter ... ok +test third::test::basics ... ok +test second::test::peek ... ok +test second::test::iter ... ok +test third::test::iter ... ok + +test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured +``` + +终于可以把文章开头的冷汗擦拭干净了，忘掉这个章节吧，让我来养你...哦不对，让我们开始一段真正轻松的章节。 \ No newline at end of file diff --git a/内容变更记录.md b/内容变更记录.md index c76d7d35..e6e893ec 100644 --- a/内容变更记录.md +++ b/内容变更记录.md @@ -3,6 +3,7 @@ ## 2022-03-16 +- 新增章节: [deque-Peek](https://course.rs/too-many-lists/deque/peek.html) - 新增章节： [deque-数据布局和基本操作](https://course.rs/too-many-lists/deque/layout.html) ## 2022-03-14