面试题：Rust中UnsafeCell安全使用的基础场景

UnsafeCell安全使用的常见场景

内部可变性：当你需要在不可变数据结构中实现内部可变性时，UnsafeCell是基础组件。例如，Cell和RefCell内部都使用了UnsafeCell来实现内部可变性。假设有一个结构体，它在某些情况下需要修改自身的字段，即便该结构体是不可变的。

use std::cell::UnsafeCell;

struct Example {
    data: UnsafeCell<i32>,
}

// 这种使用方式本身是不安全的，这里仅展示UnsafeCell的位置
impl Example {
    fn new(value: i32) -> Example {
        Example {
            data: UnsafeCell::new(value),
        }
    }
}

共享不可变数据的可变访问：在一些情况下，你可能有一个共享的不可变引用，但需要在特定的、安全控制的环境下对数据进行修改。例如，在多线程编程中，使用Mutex（它内部也依赖UnsafeCell）来安全地修改共享数据。虽然Mutex不是直接与Cell或RefCell结合，但展示了在共享不可变数据上实现可变访问的思路。

结合Cell或RefCell确保安全性

结合Cell：Cell为Copy类型提供了安全的内部可变性。它基于UnsafeCell构建，通过get和set方法来安全地访问和修改值。

use std::cell::Cell;

struct Data {
    value: Cell<i32>,
}

impl Data {
    fn new(value: i32) -> Data {
        Data {
            value: Cell::new(value),
        }
    }

    fn update(&self, new_value: i32) {
        self.value.set(new_value);
    }

    fn get(&self) -> i32 {
        self.value.get()
    }
}

fn main() {
    let data = Data::new(10);
    data.update(20);
    println!("Value: {}", data.get());
}

结合RefCell：RefCell为非Copy类型提供内部可变性，通过运行时借用检查来确保安全。它同样基于UnsafeCell。

use std::cell::RefCell;

struct ComplexData {
    inner: RefCell<String>,
}

impl ComplexData {
    fn new(s: String) -> ComplexData {
        ComplexData {
            inner: RefCell::new(s),
        }
    }

    fn modify(&self) {
        let mut inner = self.inner.borrow_mut();
        inner.push_str(" modified");
    }

    fn print(&self) {
        let inner = self.inner.borrow();
        println!("{}", inner);
    }
}

fn main() {
    let data = ComplexData::new("Hello".to_string());
    data.modify();
    data.print();
}

在这两个例子中，Cell和RefCell通过提供安全的接口，封装了UnsafeCell的不安全操作，使得在不可变数据结构内部实现可变操作成为可能，同时保证了内存安全。

星途面试题库

面试题：Rust中UnsafeCell安全使用的基础场景

知识考点

面试题答案

UnsafeCell安全使用的常见场景

结合Cell或RefCell确保安全性