Respuesta.

Historia de la pregunta:

En Rust, la gestión de recursos sin un recolector de basura se ha vuelto posible gracias a las estrictas reglas de propiedad y ciclo de vida de los objetos. Para automatizar la liberación de recursos (por ejemplo, descriptores de archivos, sockets, memoria de bibliotecas externas), desde el inicio del desarrollo del lenguaje se introdujo el trait Drop. Esta es la principal forma de "reacción" al final de la vida de un objeto, que se aplica para finalizar y devolver recursos al sistema operativo o liberar memoria.

Problema:

Los tipos normales de Rust liberan automáticamente sus propios recursos, pero cuando una estructura almacena un recurso que requiere liberación manual (como un archivo abierto o un puntero inseguro), la falta de voluntad o el olvido del desarrollador pueden causar fugas o condiciones de carrera de recursos. Si Drop se implementa incorrectamente (por ejemplo, no considerando la posibilidad de liberación doble de memoria), esto puede llevar a errores de tiempo de ejecución.

Solución:

El trait Drop permite definir un método especial drop(&mut self), que se llama automáticamente cuando se destruye un valor. Es adecuado para liberar recursos justo en el momento en que el objeto sale de ámbito. Es importante recordar que el recurso (por ejemplo, cerrar un archivo) solo debe liberarse aquí.

Ejemplo de código:

struct RawFile {
    handle: *mut libc::FILE,
}

impl Drop for RawFile {
    fn drop(&mut self) {
        if !self.handle.is_null() {
            unsafe {
                libc::fclose(self.handle);
            }
        }
    }
}

Características clave:

El método drop no se llama explícitamente — solo lo hace el compilador.
Drop solo se implementa para estructuras que poseen un recurso que no es de Rust.
Drop no se activa en caso de fuga a través de mem::forget o panic! por defecto (fuera de unwinding).

Preguntas trampa.

¿Se puede llamar a drop explícitamente para un objeto, para liberar el recurso antes de tiempo?

No, no se permite llamar directamente al método drop (&obj.drop()) — solo a través de la función std::mem::drop(obj), que toma la propiedad del objeto y llama a drop automáticamente. Llamar a drop() directamente no se compila.

Ejemplo de código:

fn main() {
    let f = File::open("foo.txt").unwrap();
    // drop(&mut f); // ¡Error de compilación!
    std::mem::drop(f); // Correcto: cierre del archivo
}

¿Qué sucederá si una estructura con Drop es copiada o movida? ¿No se llamará el destructor dos veces?

No, el destructor siempre se llama exactamente una vez durante todo el ciclo de vida del objeto, y el compilador se encarga de esto. Pero si se realiza una copia insegura de bytes "crudos" de la estructura o se usa mem::forget, drop puede no ser llamado en absoluto — de ahí el peligro.

¿Se puede implementar Drop y Copy al mismo tiempo para el mismo tipo?

No, el compilador prohíbe esta combinación: un tipo que implementa Drop no puede ser Copy, para garantizar la llamada única del destructor y evitar la liberación doble del recurso.

Errores típicos y anti-patrones

Llamada directa al método drop (no permitido)
Recurso no liberado o archivo no cerrado debido al olvido de Drop
Uso después de liberación (use after free) a través de un puntero descuidado
Implementación de Drop junto con Copy (Error de compilación)
Cadenas de propiedad complejas, donde el orden de drop es crítico

Ejemplo de la vida real

Caso negativo

Un programador escribió un simple envoltorio para trabajar con un archivo abierto, pero olvidó implementar Drop y cerrar el descriptor al eliminar el objeto.

Ventajas:

No hay código redundante, la estructura es simple de entender

Desventajas:

Después de que el archivo sale de su ámbito, el descriptor queda abierto
Puede llegar a agotar descriptores y causar fallos en el sistema operativo

Caso positivo

Un desarrollador implementó Drop para la envoltura del descriptor de archivo, cerrando explícitamente el archivo en drop. Ahora, cuando cualquier variable de esta estructura sale de la función o hay un panic, el recurso se libera garantizado.