Entrevista técnica: Migración a los tipos Range de Rust 1.96 y assert_matches

Prompt y contexto

Mantienes una biblioteca de análisis sintáctico (parser) cuyos rangos de índices son copiados por varios identificadores ligeros (handles), y cuyas pruebas deben imprimir valores cuando un patrón no coincide. El proyecto actualmente utiliza los rangos heredados core::ops y matches!, y se está actualizando a Rust 1.96. Explica los nuevos tipos de rango, la semántica de iteración, las API públicas, las macros de aserción y el plan de lanzamiento.

Qué evalúa el entrevistador

• Si sabes que el Range heredado implementa Iterator, mientras que los nuevos tipos core::range usan IntoIterator y pueden ser Copy.
• Si evitas asumir que la sintaxis 0..n ya ha cambiado al nuevo tipo.
• Si sabes que assert_matches! no está en el prelude y debe importarse explícitamente para diagnósticos.
• Si manejas MSRV, documentación, expansión de macros, cambios en el enlazado de Wasm y planes de reversión (rollback).

Preguntas de clarificación para hacer

1. ¿El MSRV de la biblioteca es Rust 1.96, o se deben seguir admitiendo compiladores más antiguos?
2. ¿Debe almacenarse un rango e iterarse más tarde, o consumirse en un solo bucle?
3. ¿La API pública debería aceptar cualquier RangeBounds o exponer un tipo de rango concreto?
4. ¿La compilación de Wasm depende intencionalmente de importaciones no definidas, y Rust 1.96 requiere un argumento de enlazador explícito?

Estructura de respuesta de 30 segundos

Almacenaría handles de intervalos copiables con tipos core::range e iteraría mediante una conversión explícita IntoIterator. Las API genéricas preferirían RangeBounds para evitar atar a los llamadores a una sola implementación. Las pruebas importarían explícitamente core::assert_matches para mantener las comprobaciones de patrones mientras se imprimen los valores reales. Antes de la migración, fijaría el MSRV, verificaría que 0..n todavía crea un tipo heredado, agregaría pruebas de tipo y comportamiento, y validaría por separado el manejo más estricto de símbolos no definidos de Rust 1.96 al enlazar Wasm.

Análisis detallado paso a paso

1. Separar las dos semánticas de rango

Rust 1.96 estabiliza core::range::Range, RangeFrom, RangeInclusive y sus iteradores asociados. Los nuevos tipos implementan IntoIterator, por lo que pueden almacenarse en estructuras Copy; la sintaxis de rango existente todavía crea tipos heredados por ahora y cambiará en una edición futura. La revisión de código debe inspeccionar las firmas de tipo en lugar de inferir un tipo a partir de 0..n.

2. Diseñar las API y lifetimes de la biblioteca

Si una API solo lee límites, acepta RangeBounds para admitir rangos heredados y nuevos. Si almacena y copia un rango, usa el nuevo tipo y conviértelo a un iterador en el límite. El acceso a slices todavía valida posiciones y límites de caracteres; Copy no elimina las comprobaciones de límites. Documenta el MSRV para que los usuarios finales no experimenten fallos inesperados en una toolchain más antigua.

3. Usar aserciones de patrones para diagnósticos

assert_matches! y debug_assert_matches! son aserciones de patrones que muestran el valor en caso de fallo. No están en el prelude, así que impórtalas en el módulo de pruebas. No uses debug_assert_matches! como una comprobación de seguridad en producción porque las compilaciones de release eliminan las aserciones de depuración. Haz coincidir campos específicos de enums de error para evitar imprimir cargas útiles confidenciales.

4. Evaluar el riesgo de la actualización

Rust 1.96 también endurece el enlazado para los targets de Wasm: --allow-undefined ya no se pasa por defecto. Si el proyecto depende intencionalmente de importaciones, configura el argumento del enlazador explícitamente o anota el módulo de importación, y luego compila Wasm en CI. Ejecuta la matriz de toolchains antiguas, ejemplos de documentación, pruebas y comprobaciones de artefactos binarios; mantén listo el camino de reversión del compilador y del lockfile.

Respuesta de ejemplo de alta calidad

Escribiría el MSRV y los targets admitidos en el contrato de lanzamiento. Un handle almacenado utiliza el core::range::Range de Rust 1.96 porque es copiable e itera a través de IntoIterator; las funciones genéricas aceptan RangeBounds para que los llamadores no estén atados a un tipo concreto. El código no asume que 0..n ya sea el nuevo tipo; las comprobaciones de tipos y las pruebas de comportamiento demuestran la semántica prevista. Los módulos de prueba importan explícitamente core::assert_matches para diagnósticos de patrones específicos mientras retienen matches! para booleanos simples. La migración también valida los símbolos no definidos de Wasm: si el enlazado por defecto ahora falla, solo las importaciones intencionales reciben un --allow-undefined explícito y una anotación de módulo de importación. CI ejecuta el MSRV, la última versión estable, la compilación de Wasm y los ejemplos de documentación, y cualquier fallo bloquea el lanzamiento.

Errores comunes

• Asumir que 0..n produce automáticamente un tipo core::range en Rust 1.96.
• Tratar un nuevo rango como un Iterator y llamarlo directamente a pesar de su diseño IntoIterator.
• Confiar en una importación del prelude para assert_matches!.
• Usar aserciones de depuración como comprobaciones de seguridad en producción.
• Omitir la validación de límites, desbordamiento o límites de caracteres porque un rango sea Copy.
• Ignorar el cambio de Rust 1.96 en el enlazado de símbolos no definidos de Wasm.

Preguntas de seguimiento y respuestas

¿Por qué no cambiar todas las API al nuevo tipo Range?

Un tipo concreto aumenta el MSRV y la presión de compatibilidad. RangeBounds mantiene flexibles a los llamadores; usa el nuevo tipo solo donde una estructura interna deba almacenarlo y copiarlo.

¿Cuándo debería diferir assert_matches de matches?

Usa matches! para un resultado booleano. Usa assert_matches! cuando el fallo de una prueba deba mostrar el valor real y el patrón. Ninguno de los dos reemplaza el manejo de errores de negocio ni la validación de seguridad.

¿Qué ocurre si debe mantenerse una importación de Wasm?

Primero demuestra que la importación es un contrato intencional y no una configuración de enlazador faltante. Luego restablécela con anotaciones explícitas --allow-undefined y wasm_import_module, y prueba la lista de símbolos y el comportamiento en tiempo de ejecución en CI.