Enlaces de variables y inferencia de tipos en Rust

Introducción

En este laboratorio, aprendemos sobre los enlaces de variables en Rust, donde se pueden asignar valores a variables utilizando el enlace let, y cómo se pueden utilizar las anotaciones de tipo, pero a menudo son inferidas por el compilador.

Nota: Si el laboratorio no especifica un nombre de archivo, puede utilizar cualquier nombre de archivo que desee. Por ejemplo, puede utilizar main.rs, compilar y ejecutarlo con rustc main.rs &&./main.

Skills Graph

Enlaces de variables

Rust proporciona seguridad de tipos a través de la tipificación estática. Los enlaces de variables se pueden anotar por tipo al declararlos. Sin embargo, en la mayoría de los casos, el compilador será capaz de inferir el tipo de la variable a partir del contexto, lo que reduce significativamente la carga de anotación.

Los valores (como literales) se pueden enlazar a variables, utilizando el enlace let.

fn main() {
    let an_integer = 1u32;
    let a_boolean = true;
    let unit = ();

    // copia `an_integer` en `copied_integer`
    let copied_integer = an_integer;

    println!("Un entero: {:?}", copied_integer);
    println!("Un booleano: {:?}", a_boolean);
    println!("Conozca el valor unitario: {:?}", unit);

    // El compilador advierte sobre enlaces de variables no utilizados; estas advertencias se pueden
    // silenciar prefijando el nombre de la variable con un subrayado
    let _unused_variable = 3u32;

    let noisy_unused_variable = 2u32;
    // FIXME ^ Prefija con un subrayado para suprimir la advertencia
    // Tenga en cuenta que las advertencias pueden no aparecer en un navegador
}

Resumen

¡Felicidades! Has completado el laboratorio de Enlaces de Variables. Puedes practicar más laboratorios en LabEx para mejorar tus habilidades.