Rust踩雷笔记(7)——一个链表题例子初识裸指针

题目在这https://leetcode.cn/problems/palindrome-linked-list/,leetcode 234的回文链表,思路很简单,就是fast和slow两个指针,fast一次移动两个、slow一次一个,最后slow指向的链表反转后和head比较就行了。

很简单一题,但考虑一个问题:slow和fast是什么形式?由于rust有所有权机制,所以slow和fast只能是借用,并且还不能是可变借用(可变借用只能有一个、可变借用和不可变借用不能同时存在)。

所以slow和fast只能是两个不可变借用,直接放上代码:

rust 复制代码
// Definition for singly-linked list.
// #[derive(PartialEq, Eq, Clone, Debug)]
// pub struct ListNode {
//   pub val: i32,
//   pub next: Option<Box<ListNode>>
// }
//
// impl ListNode {
//   #[inline]
//   fn new(val: i32) -> Self {
//     ListNode {
//       next: None,
//       val
//     }
//   }
// }
impl Solution {
    pub fn reverse(mut head: Option<Box<ListNode>>) -> Option<Box<ListNode>> {
        let mut prev = None;
        while let Some(mut node) = head {
            head = node.next;
            node.next = prev;
            prev = Some(node);
        }
        prev
    }

    pub fn is_palindrome(head: Option<Box<ListNode>>) -> bool {
        // 快慢指针,fast一次移动2个,slow一次移动1个,slow会停留在中间偏后的位置
        // 反转slow为头结点的链表
        // 比较head和slow两个链表,直到head的长度达到即停止
        let p = head.as_ref().unwrap();
        if p.next.is_none() {
            return true;
        }

        let mut head = head;
        let mut slow = &head;
        let mut fast = &head;
        while slow.is_some() && fast.is_some() {
            slow = &(slow.as_ref().unwrap().next);
            fast = &(fast.as_ref().unwrap().next);
            if fast.is_none() {
                break;
            }
            fast = &(fast.as_ref().unwrap().next);
        }
        // let s =  slow  as *const Option<Box<ListNode>> as * mut  Option<Box<ListNode>>;
        let s = slow as *const Option<Box<ListNode>> as *mut Option<Box<ListNode>>;
        let mut head2 = unsafe {
            (*s).take()
        };
        head2 = Solution::reverse(head2);
        let mut flag = true;
        while let (Some(node1), Some(node2)) = (head.as_ref(), head2.as_ref()) {
            if node1.val != node2.val {
                flag = false;
                break;
            }
            head = head.unwrap().next;
            head2 = head2.unwrap().next;
        }
        flag
    }
}

主要注意代码中的

rust 复制代码
let s = slow as *const Option<Box<ListNode>> as *mut Option<Box<ListNode>>;
let mut head2 = unsafe {
    (*s).take()
};

这里我的本意是写成这样:

rust 复制代码
let mut head2 = slow.take();

但是slow是不可变借用,这里就会报错:

复制代码
cannot borrow `*slow` as mutable, as it is behind a `&` reference
`slow` is a `&` reference, so the data it refers to cannot be borrowed as mutable

大意就是slow不是可变借用,take()的作用是拿走物主对某个东西的所有权,然后将所有权交给另一个人。你借一个人的东西,并且不被允许改变这个东西,那么你肯定不能把这个东西的所有权扔给别人对吧。

这个时候就需要裸指针的概念了,如果不会请移步:
https://kaisery.github.io/trpl-zh-cn/ch19-01-unsafe-rust.html

链接中截图关键内容:

注意*const*mut是不可变、可变两种裸指针,星号不是解引用,而是类型的一部分。⚠️注意是将不可变引用变成*const类型的裸指针,可变引用变成*mut类型的裸指针,所以前面的代码里写的是:

rust 复制代码
let s = slow as *const Option<Box<ListNode>> as *mut Option<Box<ListNode>>;

slow是不可变引用&Option<Box<ListNode>>,所以先转换为*const Option<Box<ListNode>>,再转换为*mut Option<Box<ListNode>>类型。

然后要在unsafe代码块中使用它,记得写法是(*s).take()拿到所有权赋给head2

rust 复制代码
let mut head2 = unsafe {
    (*s).take()
};

至此head2就是slow引用的那个节点了。

相关推荐
wan5555cn34 分钟前
多张图片生成视频模型技术深度解析
人工智能·笔记·深度学习·算法·音视频
雁于飞2 小时前
vscode中使用git、githup的基操
笔记·git·vscode·学习·elasticsearch·gitee·github
rannn_1113 小时前
【Javaweb学习|实训总结|Week1】html基础,CSS(选择器、常用样式、盒子模型、弹性盒布局、CSS定位、动画),js(基本类型、运算符典例)
css·笔记·学习·html
Ro Jace3 小时前
心灵笔记:第一性原理学习与实践
笔记
aramae4 小时前
C++ -- 模板
开发语言·c++·笔记·其他
小马学嵌入式~5 小时前
嵌入式 SQLite 数据库开发笔记
linux·c语言·数据库·笔记·sql·学习·sqlite
hour_go5 小时前
用户态与内核态的深度解析:安全、效率与优化之道
笔记·操作系统
青 .5 小时前
数据结构---二叉搜索树的实现
c语言·网络·数据结构·算法·链表
MChine慕青6 小时前
顺序表与单链表:核心原理与实战应用
linux·c语言·开发语言·数据结构·c++·算法·链表
摇滚侠6 小时前
Vue3入门到实战,最新版vue3+TypeScript前端开发教程,笔记03
javascript·笔记·typescript