Rust 1.95.0: cfg_select!, guardianes if-let y APIs estables | Resumen

Rust 1.95.0: Cómo las nuevas características simplifican el desarrollo en Rust

Rust 1.95.0 estable ha sido lanzado, ampliando las capacidades del lenguaje para crear código seguro y eficiente. Los principales cambios se centran en simplificar la compilación condicional, mejorar la sintaxis de coincidencia de patrones y estabilizar APIs críticas. Estas actualizaciones impactan directamente en el trabajo diario de los desarrolladores al reducir la carga cognitiva y minimizar el código repetitivo.

La macro cfg_select!: Una alternativa integrada a cfg-if

La nueva macro cfg_select! resuelve el problema de implementaciones dependientes de la plataforma que anteriormente requerían la crate externa cfg-if. Ahora, la compilación condicional en tiempo de construcción está integrada en la biblioteca estándar. La macro funciona como match para directivas cfg, seleccionando la primera rama con un predicado verdadero. Esto es especialmente útil para implementar bibliotecas multiplataforma, donde se necesita código diferente para Unix, Windows o arquitecturas.

Ejemplo de uso:

cfg_select! {
    unix => {
        fn platform_specific() { /* Sale for Unix */ }
    }
    target_pointer_width = "32" => {
        fn platform_specific() { /* 32-bitnaya realizatsiya */ }
    }
    _ => {
        fn platform_specific() { /* Defolt */ }
    }
}

Ventaja clave: sin dependencias de crates externas y sintaxis unificada con otras macros de Rust. Nota: la macro se expande a una sola rama en tiempo de compilación, por lo que las partes de código no utilizadas se excluyen completamente del binario.

Guardias if-let en expresiones match: Expandiendo las capacidades de coincidencia de patrones

Rust 1.95.0 estabiliza las guardias if-let dentro de expresiones match, permitiendo combinar coincidencia de patrones y verificaciones condicionales en una sola rama. Esta característica, disponible previamente solo en versiones nightly, ahora está en el canal estable. La sintaxis sigue siendo concisa y legible, evitando expresiones match anidadas.

Ejemplo:

match data {
    Some(x) if let Ok(y) = process(x) => {
        // Dostupny x and y
        handle(x, y);
    }
    _ => fallback(),
}

Limitación importante: el compilador no considera los patrones en las guardias if-let durante la verificación de exhaustividad. Esto significa que una rama con una guardia if-let no garantiza manejar todos los casos posibles, a diferencia de un match regular. Los desarrolladores deben verificar explícitamente la cobertura de escenarios.

APIs estabilizadas: Cambios clave

La versión estabiliza más de 30 APIs que afectan operaciones de bajo nivel y manejo de memoria. Principales grupos de cambios:

• Gestión de memoria no inicializada: métodos From, AsRef, AsMut para MaybeUninit<[T; N]> simplifican el trabajo con buffers crudos.
• Operaciones atómicas: Añadidos update y try_update para AtomicPtr, AtomicBool, AtomicInt, AtomicUint.
• Operaciones en colecciones: Nuevos métodos push_mut, insert_mut para Vec, VecDeque, LinkedList.
• Utilidades de bajo nivel: Layout::dangling_ptr, Layout::repeat, cold_path.

De particular interés es la estabilización de bool: TryFrom<{integer}>, que permite convertir de forma segura tipos enteros a booleanos mediante TryFrom. Esto elimina la necesidad de verificaciones manuales como value != 0.

Deprecación de targets personalizados: Qué ha cambiado

Rust 1.95.0 elimina el soporte para especificaciones de target JSON personalizadas en el canal estable. Esta característica, disponible previamente mediante la bandera --target, requería herramientas nightly incluso para builds básicos de la biblioteca estándar. Ahora, los usuarios con una cadena de herramientas completamente estable no encontrarán errores inesperados, pero perderán la capacidad de personalizar targets.

El equipo de Rust está recopilando casos de uso en el tracking issue para determinar cómo estabilizar esta característica en el futuro. Por ahora, cambien a targets oficiales o usen el canal nightly para experimentos.

Puntos clave

• La macro cfg_select! reemplaza cfg-if en la biblioteca estándar, eliminando dependencias externas.
• Las guardias if-let en expresiones match simplifican verificaciones complejas, pero no afectan la verificación de exhaustividad.
• La estabilización de operaciones atómicas y métodos de memoria es crítica para la programación de sistemas.
• La eliminación de targets personalizados en el canal estable requiere revisar builds personalizados.

Se recomienda actualizar a Rust 1.95.0 en todos los proyectos donde el soporte para APIs modernas y la compilación condicional simplificada sea importante. Para probar lanzamientos futuros, usen el canal beta (rustup default beta).

— Editorial Team