Release模式下从不可变上下文不安全修改失效的原因及可行性咨询

先看你提供的代码：

fn main() {
    #[repr(transparent)]
    struct Item(isize);

    impl Item {
        #[inline]
        fn ptr(&self) -> *mut isize {
            self as *const Item as *mut isize
        }
        fn increment(&self) {
            let val = self.0 + 1;
            unsafe {std::ptr::write(self.ptr(), val)}
        }
    }

    let item = Item(22);
    println!("before = {}", item.0);
    item.increment();
    println!("after = {}", item.0);
}

问题1：Release模式下值不递增的原因 #

核心是你违反了Rust的内存安全规则，触发了未定义行为：

• Rust中，不可变引用&self的语义是“被引用的值不会被修改”，编译器会基于这个假设在Release模式下做激进优化。比如编译器会把item.0的初始值直接缓存到寄存器，后续打印item.0时直接读取缓存的旧值，完全不会去内存中读取你通过unsafe指针修改后的新值。
• Debug模式下编译器几乎不做优化，所以能“正常”看到修改结果，但这只是巧合——你的代码本身已经违反了Rust的别名规则，属于未定义行为，任何结果都是不可预期的。

问题2：Release模式下能否完成该操作？ #

能，但必须用Rust官方允许的方式，不能直接将不可变引用转为可变指针修改。正确的做法是使用UnsafeCell——它是Rust中唯一被允许实现内部可变性的类型，能明确告诉编译器：这个值可能被外部修改，不要做基于“不可变”假设的优化。

修改后的示例代码：

use std::cell::UnsafeCell;

fn main() {
    #[repr(transparent)]
    struct Item(UnsafeCell<isize>);

    impl Item {
        #[inline]
        fn ptr(&self) -> *mut isize {
            self.0.get()
        }
        fn increment(&self) {
            unsafe {
                // 先读取当前值，再加1写入
                let current = *self.ptr();
                *self.ptr() = current + 1;
            }
        }
    }

    let item = Item(UnsafeCell::new(22));
    // 读取UnsafeCell内部值需要unsafe
    println!("before = {}", unsafe { *item.0.get() });
    item.increment();
    println!("after = {}", unsafe { *item.0.get() });
}

需要注意：UnsafeCell只解决了单线程下的内部可变性问题，如果是多线程场景，你还需要配合Mutex或AtomicIsize等线程安全类型，避免数据竞争。

内容的提问来源于stack exchange，提问作者Isaac Dzikum