Risposta

In Rust ci sono due modi principali per memorizzare dati immutabili durante l'esecuzione del programma: const e static.

Costante (const) — è un valore immutabile calcolato durante la compilazione. Deve essere sempre esplicitamente tipizzata e inizializzata con un'espressione costante (che può essere calcolata in fase di compilazione). Le costanti non hanno un indirizzo fisso nella memoria e vengono "inserite" dal compilatore nei punti di utilizzo.

const MAX_ATTEMPTS: u32 = 5;

Variabile statica (static) memorizza un valore in una specifica area di memoria per tutta la durata dell'esecuzione del programma. Il suo indirizzo è fisso e può essere mutabile (utilizzando static mut), ma l'accesso deve avvenire con particolari precauzioni a causa della possibilità di race condition in scenari multithread.

static APP_NAME: &str = "MyApp";
static mut COUNTER: u32 = 0;

• Usa const quando il valore deve essere sempre noto a compile-time e non hai bisogno di una memoria globale.
• Usa static se è necessaria un'unica posizione di memorizzazione in memoria a cui accedono tutti i moduli, o se il valore non può essere calcolato a compile-time.

Domanda trabocchetto

Qual è la differenza tra const e static in Rust? Può una variabile statica riferirsi a una non-costante?

Risposta: La principale differenza è l'area di memorizzazione (lifetime): const non garantisce l'esistenza in memoria (è una sostituzione del valore), mentre static è un oggetto che vive per tutta la durata del programma con un indirizzo fisso.

A una variabile statica può essere assegnato solo un valore noto a compile-time:

let a = 42;
// static INVALID: i32 = a; // Errore! Solo le costanti sono consentite.

Esempi di errori reali dovuti all'ignoranza delle sottigliezze dell'argomento.

---

Storia

In un progetto di servizio backend per il bilanciamento del carico, uno degli sviluppatori ha utilizzato static mut per un contatore condiviso di accessi da thread diversi, senza utilizzare la sincronizzazione. Questo ha portato a race condition e risultati imprevedibili — parte degli accessi veniva semplicemente persa. La soluzione è stata utilizzare tipi atomici da std::sync::atomic, oppure Mutex.

---

Storia

Un giovane sviluppatore ha deciso di estrarre la stringa di saluto dell'utente in una costante utilizzando const, ma ha provato a collegarla al risultato di una funzione calcolata durante l'inizializzazione. Il compilatore ha generato un errore perché il valore doveva essere definito a compile-time. La ragione è che la costante doveva essere calcolabile a compile-time, mentre la funzione restituisce un valore durante l'esecuzione.

---

Storia

In un vecchio progetto, sono stati sostituiti tutti i valori globali con static, dimenticando che le stringhe letterali con riferimenti utilizzano l'area di memoria del programma, e alcune dichiarazioni richiedevano realmente solo una sostituzione di valore: questo ha aumentato la dimensione del binario e complicato la gestione della memoria. Risultato — aumento del tempo di avvio e perdite durante il caricamento dinamico delle librerie.