如何在这个简单的双向链表实现中修复 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，然后它们弹出它们。在第二次弹出时，我得到 ​​p>

信号：11，SIGSEGV：无效的内存引用。

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;
• 在unsafe 块中包含(*new_node_ptr).next = self.tail;

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

在let new_node_ptr: *mut Node<T> = &mut *new_node; 之后，Box 继续管理new_node_ptr 指向的内存。在块结束时，Box 自动释放内存，使 new_node_ptr 悬空。

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