Rust 这段代码算未定义行为吗？

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

这是一个创建于 137 天前的主题，其中的信息可能已经有所发展或是发生改变。

#[derive(Debug)]
struct Hello {
    _dummy: bool,
    data: [u32; 4],
}

fn main() {
    let mut hello: MaybeUninit<Hello> = MaybeUninit::uninit();

    let ptr = hello.as_mut_ptr();
    unsafe { addr_of_mut!((*ptr).data).write([1, 2, 3, 4]) };

    let hello = unsafe { hello.assume_init() };
    println!("{:?}", hello.data);
}

这个 _dummy 未初始化，按文档说调用 assume_init 前未完全初始化立刻造成未定义行为。

但是对于完全不使用的字段，算不算未定义行为？以及这样做会不会对程序造成潜在 BUG 或安全漏洞？

3 条回复

dyc12389

136 天前

dummy 没有初始化，肯定运行报错了。

hingle

136 天前 via iPhone

@dyc12389 不会的，我运行了没问题😂

dyc12389

134 天前

@hingle 我编译运行一下直接 segment fault 了。
你是不是没有 release ？
mac m1 rust1.80