Respuesta.

Historia de la pregunta

Muchos lenguajes de programación permiten utilizar valores nulos, lo que conduce a errores de desreferencia de punteros nulos en tiempo de ejecución. En Rust, para representar explícitamente valores opcionales, se introdujo el tipo genérico Option<T>, que garantiza la seguridad y, lo que es más importante, obliga a considerar el caso de la ausencia de valor.

Problema

La ausencia de un valor (por ejemplo, si no se encuentra el resultado de una búsqueda) a menudo conduce a errores de tiempo de ejecución si no se refleja en el tipo. La gestión segura y explícita del caso de un valor vacío reduce la cantidad de errores.

Solución

El tipo Option<T> se implementa como un enum con dos variantes: Some(T) (el valor está presente) y None (el valor está ausente). Esto permite que el compilador obligue al programador a considerar ambos casos. Cualquier uso de un valor opcional sin una verificación explícita conduce a un error de compilación.

Ejemplo de código:

fn divide(a: i32, b: i32) -> Option<i32> {
    if b == 0 { None } else { Some(a / b) }
}

let res = divide(6, 3);
match res {
    Some(result) => println!("Resultado: {}", result),
    None => println!("¡División por cero!"),
}

Características clave:

No hay punteros nulos: la ausencia de valor es parte del tipo, no un valor mágico.
El desarrollador está obligado a manejar ambos casos: tanto la presencia como la ausencia de un valor.
Compatible con el pattern matching, lo que es conveniente para manejar la lógica de manera flexible.

Preguntas capciosas.

¿Es Option<T> una abstracción de costo cero, o cada variable Option ocupa más espacio?

Sí, en la mayoría de los casos Option<T> es de costo cero, cuando el tipo T no puede adoptar un valor "nulo" (por ejemplo, un tipo de referencia o Box<T>). Rust utiliza la optimización "nullable pointer optimization", y no se requiere memoria adicional.

let value: Option<&u32> = None;
// No ocupa más espacio que una referencia normal.

¿Se puede usar unwrap sin preocupación?

No, unwrap() provoca un pánico al encontrarse con un valor None. Debe usarse solo cuando se sabe con certeza que el valor está presente, o preferir métodos como unwrap_or, unwrap_or_else, o el pattern matching.

¿En qué se diferencia Option de las referencias (&T, Option<&T>)?

Una referencia siempre apunta a un valor existente. Si el valor está ausente, se debe usar Option<&T> para reflejar explícitamente "puede que no haya nada". Usar Option en lugar de una referencia directa previene condiciones de carrera por punteros nulos.

Errores típicos y antipatróns

Uso de unwrap en todas partes sin comprobación, lo que lleva a pánicos.
Mezcla de Option<&T> y referencias, cuando la elección no está justificada lógicamente.
Conversión de Option a Result u otro tipo sin una elección consciente.

Ejemplo de la vida real

Caso negativo

La función devuelve el resultado de la búsqueda a través de Option, pero el código llamador utiliza unwrap, seguro de que siempre hay un resultado. En realidad, al no haber un valor, el programa falla en producción.

Pros:

Código conciso en la fase de prototipado.

Contras:

Las situaciones no detectadas son fáciles de pasar por alto, y puede haber un cierre poco elegante de la aplicación.

Caso positivo

El código utiliza match para manejar Option, todos los casos están documentados y cubiertos por pruebas.