Rust needs_drop用法及代码示例

如果删除 T 类型的值很重要，则返回 true。

这纯粹是一个优化提示，可以保守地实现：对于实际上不需要删除的类型，它可能会返回true。因此，始终返回 true 将是此函数的有效实现。但是，如果此函数实际上返回 false ，那么您可以确定删除 T 没有副作用。

诸如集合之类的低级实现需要手动删除其数据，应使用此函数以避免在销毁时不必要地尝试删除其所有内容。这在发布版本中可能不会产生什么影响(其中没有副作用的循环很容易被检测和消除)，但对于调试版本来说通常是一个巨大的胜利。

请注意， drop_in_place 已经执行了此检查，因此如果您的工作量可以减少到少量的 drop_in_place 调用，则无需使用它。特别注意，您可以 drop_in_place 切片，这将对所有值进行一次needs_drop 检查。

因此，像 Vec 这样的类型只是 drop_in_place(&mut self[..]) 而没有明确使用 needs_drop。另一方面，像 HashMap 这样的类型必须一次删除一个值，并且应该使用这个 API。

例子

下面是一个集合如何使用 needs_drop 的示例：

use std::{mem, ptr};

pub struct MyCollection<T> {
    /* ... */
}

impl<T> Drop for MyCollection<T> {
    fn drop(&mut self) {
        unsafe {
            // drop the data
            if mem::needs_drop::<T>() {
                for x in self.iter_mut() {
                    ptr::drop_in_place(x);
                }
            }
            self.free_buffer();
        }
    }
}