介绍
本系列录制的视频主要放在B站上Rust死灵书学习视频
Rust 死灵书相关的源码资料在https://github.com/anonymousGiga/Rustonomicon-Source
主要内容
安全 Rust 不允许部分地初始化数组,初始化一个数组时,通过let x = [val; N] 为每一个位置赋予相同的值,或者是单独指定每一个成员的值 let x = [val1, val2, val3]。但是有时我们需要用增量或者动态的方式初始化数组。
非安全 Rust 提供了mem::uninitialized处理这一问题。这个函数假装返回一个值,可以用它来欺骗 Rust 我们已经初始化了一个变量了。
特别注意:
此方式会带来安全隐患。因为在Rust中,未被初始化的内存,赋值时是将字节拷贝到对应的内存;而对于被初始化过的内存,赋值时除了拷贝外还需要销毁原来的值。
解决方式,通过如下三个函数:
1、ptr::write(ptr, val) 函数接受 val 然后将它的值移入 ptr 指向的地址
2、ptr::copy(src, dest, count) 函数从 src 处将 count 个 T 占用的字节拷贝到 dest。(这个函数和 memmove 相同,不过要注意参数顺序是反的!)
3、ptr::copy_nonoverlapping(src, dest, count) 和 copy 的功能是一样的,不过它假设两段内存不会有重合部分,因此速度会略快一点。(这个函数和 memcpy 相同,不过要注意参数顺序是反的!)
//例子
use std::mem;
use std::ptr;
fn main() {
// 数组的大小是硬编码的但是可以很方便地修改
// 不过这表示我们不能用[a, b, c]这种方式初始化数组
const SIZE: usize = 3;
let mut x: [Box<u32>; SIZE];
x = [Box::new(1), Box::new(2), Box::new(3)];
//let y = [Box::new(2), Box::new(3), Box::new(4)];
x = y;
unsafe {
// 欺骗Rust说x已经被初始化
x = mem::uninitialized();
//x = y;//error,调用析构函数,再覆盖,但是x其实没有真正初始化
for i in 0..SIZE {
ptr::write(&mut x[i], Box::new(i as u32));
}
}
println!("{:?}", x);
}