如何在这个简单的双向链表实现中修复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：无效的内存引用。

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指向的记忆。在块结束时，Box自动释放内存，让new_node_ptr悬空。

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