【问题标题】:Dereferencing raw pointer with explicit annotation in Rust在 Rust 中使用显式注释取消引用原始指针
【发布时间】:2018-12-07 15:43:21
【问题描述】:

我正在编写不安全的 sn-p 代码来模拟 C 如何为 int 分配内存。代码为isize类型分配内存,将0赋值给指针变量,然后每秒无限递增地址处的值

use std::process;
use std::{thread, time};
use std::alloc::{alloc, Layout};

fn main() {
    unsafe {
        let layout = Layout::new::<isize>();
        let p = alloc(layout);
        println!("({}) address pointed to by p: {:p}", process::id(), p);
        *(p as *mut isize) = 0;
        loop {
            thread::sleep(time::Duration::from_millis(1000));
            *(p as *mut isize) += 1;
            println!("({}) p: {}", process::id(), *(p as *mut isize));
        }
    }
}

但是,对于每个 *(p as *mut size),我可以只替换为 *p 而编译器不会抱怨(即 *p = 0;),因此我认为它是正确推断的。我需要帮助解释差异,在这种情况下可能需要显式类型注释。

【问题讨论】:

  • 如果您想知道编译器为变量推断出什么类型,只需将let () = variable; 放在某处即可。
  • 谢谢@SebastianRedl

标签: pointers memory-management rust unsafe-pointers


【解决方案1】:

推断不正确。 alloc 返回一个指向 u8 的指针,可以设置为 0 或递增,因此编译器不会报错。但是它将以 255 换行,而不是以 4G 换行(或者如果您使用的是 64 位系统,则无论如何)。

【讨论】:

    猜你喜欢
    • 1970-01-01
    • 2018-06-01
    • 2023-03-04
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    相关资源
    最近更新 更多