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

[hingle]

#[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 或安全漏洞？

[dyc12389]

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

[hingle]

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

[dyc12389]

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