RAII
Rust 的变量不只是在栈中保存数据:它们也占有资源,比如 Box<T>
占有堆中的内存。Rust 强制实行 RAII(Resource Acquisition Is Initiallization,资源获取即初始化),所以任何一个对象在离开作用域时,它的析构器(destructor)都被调用以及它的资源都被释放。
这种行为避免了资源泄露(resource leak)的错误,所以你再也不用手动释放内存或者担心内存泄露(memory leak)!下面是个快速入门示例:
// raii.rs fn create_box() { // 在堆上分配一个整型数据 let _box1 = Box::new(3i32); // `_box1` 在这里销毁,而且内存得到释放 } fn main() { // 在堆上分配一个整型数据 let _box2 = Box::new(5i32); // 嵌套作用域: { // 在堆上分配一个整型数据 let _box3 = Box::new(4i32); // `_box3` 在这里销毁,而且内存得到释放 } // 创建很多 box,纯属娱乐。 // 完全不需要手动释放内存! for _ in 0u32..1_000 { create_box(); } // `_box2` 在这里销毁,而且内存得到释放 }
当然我们可以使用 valgrind
对内存错误进行仔细检查:
$ rustc raii.rs && valgrind ./raii
==26873== Memcheck, a memory error detector
==26873== Copyright (C) 2002-2013, and GNU GPL'd, by Julian Seward et al.
==26873== Using Valgrind-3.9.0 and LibVEX; rerun with -h for copyright info
==26873== Command: ./raii
==26873==
==26873==
==26873== HEAP SUMMARY:
==26873== in use at exit: 0 bytes in 0 blocks
==26873== total heap usage: 1,013 allocs, 1,013 frees, 8,696 bytes allocated
==26873==
==26873== All heap blocks were freed -- no leaks are possible
==26873==
==26873== For counts of detected and suppressed errors, rerun with: -v
==26873== ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 2 from 2)
完全没有泄露!