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，然后弹出它们。在第二个弹出窗口中，我得到

信号：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 *。

如何在此简单的双向链表实现中修复SIGSEGV？

1 个答案: