list - 如何在这个简单的双向链表实现中修复 SIGSEGV？

Question

我得到一个 SIGSEGV运行此代码时出错。

代码编译，调试器显示指针中的随机地址。

use std::ptr;

pub struct List<T> {
    head: *mut Node<T>,
    tail: *mut Node<T>,
}

struct Node<T> {
    data: Option<T>,
    next: *mut Node<T>,
    prev: *mut Node<T>,
}

impl<T> List<T> {
    pub fn new() -> Self {
        Self {
            head: ptr::null_mut(),
            tail: ptr::null_mut(),
        }
    }
    pub fn add_tail(&mut self, data: T) {
        let mut new_node = Box::new(Node {
            data: Some(data),
            next: ptr::null_mut(),
            prev: ptr::null_mut(),
        });
        let new_node_ptr: *mut Node<T> = &mut *new_node;
        if self.tail.is_null() {
            self.head = new_node_ptr;
        } else {
            new_node.next = self.tail;
            unsafe {
                (*self.tail).prev = new_node_ptr;
            }
        }
        self.tail = new_node_ptr;
    }
    pub fn remove_tail(&mut self) -> Option<T> {
        if self.tail.is_null() {
            None
        } else {
            let old_tail_ptr = self.tail;
            unsafe {
                if (*old_tail_ptr).next.is_null() {
                    self.tail = ptr::null_mut();
                    self.head = ptr::null_mut();
                } else {
                    let new_tail_ptr = (*old_tail_ptr).next;
                    (*old_tail_ptr).next = ptr::null_mut();
                    (*new_tail_ptr).prev = ptr::null_mut();
                    self.tail = new_tail_ptr;
                }
                (*old_tail_ptr).data.take()
            }
        }
    }
}

我的测试添加了十个整数 0..9然后他们弹出它们。在第二次弹出时，我得到

signal: 11, SIGSEGV: invalid memory reference.

Answer 1

以下将修复错误。在 add_tail :

• 替换let new_node_ptr: *mut Node<T> = &mut *new_node;与 let new_node_ptr = Box::into_raw(new_node);
• 替换new_node.next = self.tail与 (*new_node_ptr).next = self.tail;
• 包括(*new_node_ptr).next = self.tail;在unsafe阻止

错误是由于错误地从 Box 中获取了底层指针。

在 let new_node_ptr: *mut Node<T> = &mut *new_node; 之后Box 继续管理 new_node_ptr 指向的内存.在 block 的末尾，Box 自动释放内存，留下 new_node_ptr。悬空。

要通过手动内存管理获取指针并从 Box 释放内存控制，请使用 Box::into_raw而不是 &mut * .