请教一下，下面的例子明明 drop 了两次，为什么没报错呢，好像第一次没生效一样
fn test_double_free()
{
let mut my_vec = Vec::new();
my_vec.push("Hello");
let first_elem = my_vec.first().unwrap();
// 尝试在第一次释放后再次释放内存
drop(first_elem);
println!("{:?}", first_elem);
drop(my_vec);
}
7 条回复 • 2023-03-16 09:59:19 +08:00
 |
1
f1ush 2023 年 3 月 15 日
以我浅薄的 rust 知识来看，
1. 这里根本没有发生 double free 2. 第一次 drop 掉的是 first_elem 的 copy ，不然 println 那里已经报错了 3. 只有最后一次 drop 才是真的把你的数组释放了 |
|
2
f1ush 2023 年 3 月 15 日
|
 |
3
BrettD 2023 年 3 月 15 日
first_elem 是一个引用，不是值
|
 |
5
Slurp 2023 年 3 月 15 日
这种代码跑 clippy 是不过的：
error: calls to `std::mem::drop` with a reference instead of an owned value. Dropping a reference does nothing --> src/main.rs:8:3 | 8 | drop(first_elem); | ^^^^^^^^^^^^^^^^ | note: argument has type `&&str` --> src/main.rs:8:8 | 8 | drop(first_elem); | ^^^^^^^^^^ = help: for further information visit = note: `#[deny(clippy::drop_ref)]` on by default `Vec` 取元素一般都是返回引用，因此这里是 &&str 。drop 并没有什么用。 不过就算是 &str ，也是 drop 不掉的。这里的例子换成 String 可能更好理解一点。 |
|
6
Slurp 2023 年 3 月 15 日
|