mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-22 10:05:06 +03:00
@@ -275,7 +275,9 @@
|
||||
/// removed data to be erased for security purposes. Even if you drop a `Vec`, its
|
||||
/// buffer may simply be reused by another `Vec`. Even if you zero a `Vec`'s memory
|
||||
/// first, that may not actually happen because the optimizer does not consider
|
||||
/// this a side-effect that must be preserved.
|
||||
/// this a side-effect that must be preserved. There is one case which we will
|
||||
/// not break, however: using `unsafe` code to write to the excess capacity,
|
||||
/// and then increasing the length to match, is always valid.
|
||||
///
|
||||
/// `Vec` does not currently guarantee the order in which elements are dropped
|
||||
/// (the order has changed in the past, and may change again).
|
||||
|
||||
Reference in New Issue
Block a user