Risposta.

In Rust i modificatori di visibilità gestiscono l'accesso agli elementi dei moduli (strutture, funzioni, costanti, ecc.). Per impostazione predefinita, tutto ciò che è dichiarato in un modulo è privato (accessibile solo all'interno di quel modulo). Ci sono modificatori speciali:

pub: rende l'elemento pubblico (visibile da qualsiasi altro modulo).
pub(crate): la visibilità è limitata all'attuale crate (pacchetto).
pub(super): la visibilità è limitata al modulo genitore.
pub(in path): la visibilità è limitata a un determinato percorso.

Esempio:

mod foo {
    pub struct Bar {
        pub x: i32,       // campo accessibile ovunque
        y: i32,          // campo privato
    }
    
    pub(crate) fn crate_fn() {}
    pub(super) fn super_fn() {}
    fn private_fn() {}
}

La principale differenza rispetto, ad esempio, a C++ o Java è che non esiste un livello separato per protected, e l'accessibilità è rigorosamente controllata a livello di moduli/percorsi, e non di gerarchia delle classi.

Domanda insidiosa.

Domanda: Se una struttura è dichiarata come pub struct Foo, i suoi campi privati saranno accessibili in un altro modulo dello stesso progetto?

Spesso si risponde: Sì, poiché la struttura è pubblica.

Risposta corretta: No, solo la struttura stessa (Foo) diventa visibile, e i suoi campi saranno accessibili solo se anche i campi sono dichiarati con il modificatore pub. I campi senza pub rimangono privati, anche se la struttura stessa è pubblica.

Esempio:

mod foo {
    pub struct Bar {
        pub x: i32,
        y: i32,
    }
}

fn main() {
    let bar = foo::Bar { x: 1, y: 2 }; // Errore: campo `y` non accessibile
}

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

Storia

In un grande progetto, hanno esportato pubblicamente una struttura tramite pub, ma i campi sono stati lasciati privati per impostazione predefinita. Altri moduli non potevano creare istanze della struttura direttamente, e l'unica soluzione è stata la scrittura di costruttori aggiuntivi o la dichiarazione dei campi necessari come pub. Ciò ha portato a un rifiuto dell'API fino al completamento finale del lavoro.

Storia

Uno degli sviluppatori in una libreria ha usato solo pub(crate) per le funzioni, supponendo che fosse possibile chiamarle da progetti binari che utilizzano quella libreria. Tuttavia, tali funzioni non erano accessibili in un crate binario esterno, il che ha causato problemi nell'integrazione.

Storia

In uno dei plugin per il server API, sono stati utilizzati pub(super) per le strutture, ma successivamente è sorto il bisogno di accedervi da altri moduli; a causa della configurazione della visibilità, è stato necessario riscrivere radicalmente i moduli in diversi punti per garantire la necessaria area di visibilità senza violare l'incapsulamento.