El operador de signo de interrogación '?'
Parte de la sección Logic & Flow del Journey de Rust de Coddy — lección 46 de 66.
Al trabajar con funciones que devuelven Result, a menudo necesitas manejar errores ya sea tratándolos localmente o pasándolos a la función que realiza la llamada. Rust proporciona un operador elegante para este patrón común: el operador de signo de interrogación ?.
El operador ? proporciona una forma limpia de propagar errores sin escribir sentencias match verbosas. Cuando colocas ? después de un Result, este desempaqueta automáticamente un valor Ok o retorna inmediatamente de la función actual con el Err:
fn parse_and_double(s: &str) -> Result<i32, std::num::ParseIntError> {
let number = s.parse::<i32>()?; // Si el análisis falla, devuelve el error
Ok(number * 2) // Si tiene éxito, duplica el número
}Esto es equivalente a escribir una sentencia match completa, pero mucho más concisa. Si s.parse::<i32>() devuelve un Ok, el ? extrae el valor y lo asigna a number. Si devuelve un Err, el ? devuelve inmediatamente ese error de toda la función.
El operador ? solo puede ser utilizado en funciones que devuelven un Result (o Option), ya que necesita ser capaz de devolver un error.
Desafío
FácilRecibirás dos entradas. La primera entrada es una cadena que debe convertirse en un entero, y la segunda entrada es otra cadena que también debe convertirse en un entero. Crea una función llamada add_numbers que tome dos slices de cadena como parámetros y devuelva un Result<i32, std::num::ParseIntError>. Dentro de la función, utiliza el operador ? para analizar ambas cadenas y devolver su suma envuelta en Ok. Llama a la función con las dos entradas y maneja el resultado utilizando match.
Requisitos:
- Lee la primera entrada (primer número como cadena) y elimina los espacios en blanco
- Lee la segunda entrada (segundo número como cadena) y elimina los espacios en blanco
- Crea una función
add_numbersque tome dos parámetros&stry devuelvaResult<i32, std::num::ParseIntError> - Dentro de la función, analiza la primera cadena a
i32usando el operador? - Analiza la segunda cadena a
i32usando el operador? - Devuelve
Ok(sum)donde sum es la suma de ambos números analizados - Llama a la función con las dos cadenas de entrada
- Usa una expresión
matchpara manejar elResult - En el brazo
Ok(value), imprime:Sum: [value] - En el brazo
Err(_), imprime:Parsing error
Entrada:
- Primera línea: Una cadena que representa un número (por ejemplo,
15) - Segunda línea: Una cadena que representa otro número (por ejemplo,
27)
Salida:
- Si ambas cadenas son números válidos:
Sum: [result] - Si alguna de las cadenas no se puede analizar:
Parsing error
Hoja de referencia
El operador de signo de interrogación ? proporciona una forma concisa de propagar errores en funciones que devuelven Result.
Cuando se coloca después de un Result, el operador ?:
- Desenvuelve un valor
Oky continúa la ejecución - Devuelve inmediatamente un
Errde la función actual si ocurre uno
fn parse_and_double(s: &str) -> Result<i32, std::num::ParseIntError> {
let number = s.parse::<i32>()?; // Si el análisis falla, devuelve el error
Ok(number * 2) // Si tiene éxito, duplica el número
}El operador ? solo se puede usar en funciones que devuelven un tipo Result u Option.
Pruébalo tú mismo
use std::io;
// TODO: Crea la función add_numbers aquí
// Debería tomar dos parámetros &str y devolver Result<i32, std::num::ParseIntError>
fn main() {
// Leer la primera entrada
let mut input1 = String::new();
io::stdin().read_line(&mut input1).expect("Failed to read line");
let input1 = input1.trim();
// Leer la segunda entrada
let mut input2 = String::new();
io::stdin().read_line(&mut input2).expect("Failed to read line");
let input2 = input2.trim();
// TODO: Llamar a add_numbers con input1 e input2
// TODO: Usar match para manejar el Result
// Imprimir "Sum: [value]" para Ok(value)
// Imprimir "Parsing error" para Err(_)
}Esta lección incluye un breve cuestionario. Empieza la lección para responderlo y registrar tu progreso.
Todas las lecciones de Logic & Flow
1Flujo de control avanzado
La expresión 'match'Coincidencia de múltiples valoresCoincidencia de rangosLa expresión 'if let'Bucles como expresionesResumen - Analizador de comandos simple4Agrupando datos con Structs
¿Qué es un Struct?Visión general de los StructsAcceso a los campos de un StructStructs mutablesStructs como parámetros de funcionesStructs de tuplaResumen - Crear un Struct de Libro7Manejo de errores con 'Result'
¿Qué es un 'Result'?Uso de 'match' con 'Result'is_ok() e is_err()Atajos: unwrap y expectEl operador de signo de interrogación '?'Parsing de Strings a númerosResumen - Función de división segura10Closures y funciones anónimas
¿Qué es un Closure?Definir un Closure simpleClosures con parámetrosCapturar el entornoResumen - Closure sumador simple2Introducción a los vectores
¿Qué es un vector?Crear un vectorAñadir elementos con pushAcceder a los elementos de un vectorIterar sobre un vectorIteración mutableEliminar elementosResumen: Rastreador de puntuación básico5Pares clave-valor con Hash Maps
¿Qué es un Hash Map?Crear un Hash MapInsertar pares clave-valorAcceder a los valoresIterar sobre un Hash MapActualizar un valorEliminar un parRepaso: Contador de palabras8Proyecto: Inventario simple de artículos
Configuración del proyectoAgregar un artículoVerificar el stockVender un artículoUniendo todo3Lista de tareas en la línea de comandos
Configuración del proyectoAñadir una tareaVer todas las tareasEliminar una tareaCódigo final