Risposta.

In Rust l'area di visibilità di una variabile è limitata dal blocco (graffe di tipo scala {}). Dichiarare una nuova variabile con lo stesso nome di una esistente nell'area attuale o esterna è chiamato shadowing ("ombreggiamento"). Lo shadowing permette di cambiare il tipo e il valore della variabile senza violare il concetto di immutabilità.

Esempio:

let x = 5;         // x: i32 = 5
let x = x + 1;     // x: i32 = 6 (ombreggia il vecchio x)
let x = "hello";  // x: &str = "hello" (tipo cambiato)

Lo shadowing non influisce sulle prestazioni (è esclusivamente una costruzione sintattica, si compila in variabili diverse a livello di LLVM IR), ma può notevolmente ridurre la leggibilità e la manutenibilità del codice, aumentando il rischio di errori logici.

Domanda insidiosa.

Domanda: Lo shadowing di una variabile porta alla liberazione delle risorse, se la variabile precedente aveva un proprietario della memoria (ad esempio, String)?

Spesso si risponde: No, perché la variabile è "ridefinita".

Risposta corretta: Sì, quando una variabile viene ombreggiata, il valore precedente esce dall'area di visibilità e, se possedeva una risorsa, viene chiamato Drop. Questo assicura una corretta liberazione della memoria.

Esempio:

let s = String::from("abc");
let s = 5; // String viene liberato qui (chiamato Drop)

Esempi di errori reali a causa della mancanza di conoscenza delle sottigliezze dell'argomento.

Storia

Un giovane sviluppatore utilizzava lo shadowing per una delle strutture con un descrittore di file aperto e, ombreggiando la variabile prima del previsto, chiuse accidentalmente il file prima del termine dell'operazione. Questo portò alla perdita di dati in alcuni casi.

Storia

In un progetto di ricerca, lo shadowing veniva applicato a variabili dello stesso livello di annidamento, causando confusione agli sviluppatori che spesso si riferivano al "vecchio" valore della variabile pensando che fosse attuale.

Storia

In una grande applicazione server, lo shadowing implicito di un campo di struttura e di una variabile all'interno di un metodo ha causato un errore non ovvio, quando il campo non veniva modificato, ma cambiava una nuova variabile locale con lo stesso nome. L'errore è stato scoperto dopo una lunga ricerca delle cause del comportamento errato del sistema.