Swift Academy · Lezione

Mutazione, condivisione e aliasing imprevisto

Come i riferimenti condivisi causano bug e come i tipi valore li prevengono.

Mutazione, condivisione e aliasing imprevisto è una lezione Swift Academy gratuita su CoddyKit. Questa è la lezione 2 di 4. Puoi leggere la lezione completa qui gratuitamente — poi esercitati direttamente nel browser con un editor di codice integrato e un tutor IA disponibile 24/7. Fa parte del percorso di apprendimento Swift Academy, e i tuoi progressi si sincronizzano tra il web e l'app CoddyKit. Il corso Swift Academy include 4 lezioni in totale.

Benvenuto

Si parla di aliasing quando due variabili fanno riferimento allo stesso oggetto. Con i tipi valore è impossibile, mentre con i tipi riferimento può causare bug sorprendenti. Comprendere questa distinzione è fondamentale.

I tipi valore non presentano aliasing

```swift var a = [1,2,3] var b = a // independent copy a.append(4) print(b) // [1,2,3] — unchanged ``` Ogni assegnazione di un tipo valore crea una copia indipendente.

I tipi riferimento CREANO ALIASING

```swift class Counter { var value = 0 } let a = Counter() let b = a // SAME object a.value += 1 print(b.value) // 1 — b sees the change! ``` Sia `a` sia `b` puntano allo stesso oggetto nell'heap.

Aliasing nei parametri delle funzioni

```swift func increment(_ c: Counter) { c.value += 1 } let shared = Counter() increment(shared) print(shared.value) // 1 — mutated by the function ``` Le classi vengono passate per riferimento, quindi la funzione modifica l'originale.

Il problema: stato mutabile condiviso

```swift class Cache { var items: [String] = [] } var cache = Cache() var cache2 = cache // aliased! cache.items.append("data") print(cache2.items) // ["data"] — unexpected! ``` È così che parti di codice apparentemente indipendenti finiscono per influenzarsi a vicenda.

Risolvere con i tipi valore

```swift struct Cache { var items: [String] = [] } var cache = Cache() var cache2 = cache // independent copy cache.items.append("data") print(cache2.items) // [] — unaffected ```

Risolvere con classi copiabili

```swift func process(_ c: Counter) { var local = Counter() local.value = c.value // copy values, not reference local.value += 1 } ``` Quando servono la semantica di riferimento ma non l'aliasing, copi esplicitamente i valori.

Sicurezza dei thread e aliasing

L’aliasing diventa particolarmente pericoloso tra i thread: ```swift // Thread 1: cache.items.append("a") // Thread 2 simultaneously: cache.items.append("b") // ❌ data race! ``` I tipi valore in Swift Concurrency lo impediscono per impostazione predefinita: solo gli actor possono condividere stato mutabile.

Rilevare l’aliasing accidentale

Il Thread Sanitizer (TSan) di Xcode rileva le data race durante l’esecuzione. Lo abiliti in Scheme > Diagnostics > Thread Sanitizer. Swift Exclusivity Enforcement rileva durante l’esecuzione le violazioni dell’aliasing a thread singolo per i parametri `inout`.

Pattern di aliasing intenzionale

A volte l’aliasing è intenzionale, ad esempio per una cache globale: ```swift class AppCache { static let shared = AppCache() // intentional shared reference var data: [String: Any] = [:] } ``` Documenti chiaramente la condivisione intenzionale; per impostazione predefinita, eviti l’aliasing accidentale usando i tipi valore.

Verifica rapida

Che cosa accade quando assegna un’istanza di una classe a una nuova variabile?

Riepilogo

Concetti chiave: • I tipi valore (`struct`) vengono copiati con l’assegnazione: l’aliasing non è possibile • I tipi riferimento (`class`) condividono il riferimento con l’assegnazione: l’aliasing è possibile • L’aliasing tra thread causa una data race • Preferisca `struct`; usi `class` solo quando è necessaria un’identità condivisa • Usi TSan e Swift Exclusivity per rilevare i problemi Successivo: grafi misti di valori e riferimenti.

Domande Frequenti

La lezione «Mutazione, condivisione e aliasing imprevisto» è gratuita?

Sì — il testo completo di «Mutazione, condivisione e aliasing imprevisto» è gratuito qui sul web. Per esercitarvi in modo interattivo (un editor di codice integrato e un tutor IA 24/7) e sbloccare il resto del corso Swift Academy, passa a CoddyKit PRO. Il corso Swift Academy include 4 lezioni in totale.

Cosa imparerò in «Mutazione, condivisione e aliasing imprevisto»?

Come i riferimenti condivisi causano bug e come i tipi valore li prevengono. Eserciti Swift Academy con codice pratico che esegui direttamente nel browser, e un tutor IA 24/7 risponde alle tue domande mentre lavori sulla lezione.

Ho bisogno di esperienza per iniziare Swift Academy?

Non è richiesta alcuna esperienza precedente. Swift Academy su CoddyKit è strutturato per principianti e studenti avanzati, quindi puoi iniziare da qui o dall'inizio e procedere al tuo ritmo. Questa è la lezione 2 di 4.

Quanto tempo richiede la lezione «Mutazione, condivisione e aliasing imprevisto»?

La maggior parte delle lezioni CoddyKit richiede circa 5–10 minuti. Ogni lezione è breve e interattiva, quindi fai progressi costanti e riprendi esattamente da dove hai lasciato su web e app.

Posso scrivere ed eseguire codice in questa lezione Swift Academy?

Sì. Ogni lezione Swift Academy include un editor di codice integrato, quindi scrivi ed esegui codice reale direttamente nel tuo browser e ricevi feedback istantaneo dall'IA — nessuna configurazione locale necessaria.

Tutte le lezioni di questo corso

Stack e heap: dove risiedono i valori
Mutazione, condivisione e aliasing imprevisto
Grafi misti di valori e riferimenti
Progettare API con semantica dei valori

← Torna a Swift Academy