Qual è la differenza tra struct e class in Swift?

Question

IT Interview Practice · Accepted Answer

Una `struct` è un **value type**: viene copiata all'assegnazione e ogni copia è indipendente. Una `class` è un **reference type**: l'assegnazione condivide un'unica istanza ed entrambe le variabili puntano allo stesso oggetto. Questa singola differenza guida la maggior parte delle scelte di design in Swift.

## Come funziona

```swift
struct PointS { var x: Int }
class  PointC { var x: Int; init(x: Int) { self.x = x } }

var a = PointS(x: 1)
var b = a          // COPIA — b è una struct separata
b.x = 99
print(a.x, b.x)    // => 1 99  (a non è influenzato)

let c = PointC(x: 1)
let d = c          // CONDIVISIONE — stessa istanza
d.x = 99
print(c.x, d.x)    // => 99 99 (entrambi cambiati)
```

## Compromessi

| Aspetto | struct (value) | class (reference) |
|--------|----------------|-------------------|
| Semantica di copia | copia indipendente | reference condiviso |
| Mutazione | richiede `var` / `mutating` | mutabile tramite qualsiasi reference |
| Identità | nessuna (confronto per valore) | identità con `===` |
| Ereditarietà | no | sì |
| Memoria | di solito stack, niente ARC | heap, gestita da ARC |

Le struct richiedono anche `mutating` per modificare le proprietà memorizzate in un metodo, perché di default i metodi ricevono un `self` immutabile.

## Quando usare l'una o l'altra

- **Usa `struct` per default** — la standard library di Swift (`Array`, `String`, `Int`) e le `View` di SwiftUI sono tutti value type. Sono sicuri da condividere tra thread e non hanno retain cycle.
- Usa `class` quando ti serve **stato mutabile condiviso**, **identità**, **ereditarietà** o l'interoperabilità con Objective-C (`NSObject`).

## Perché è importante

La scelta tra value e reference decide se una modifica in un punto si propaga in un altro. I bug del tipo "modificando un elemento li ho modificati tutti" derivano da una condivisione di reference inaspettata; l'intero modello di SwiftUI presuppone view value-type economiche e copiabili — quindi gli intervistatori verificano che tu ricorra prima alla `struct`.

Aspetto	struct (value)	class (reference)
Semantica di copia	copia indipendente	reference condiviso
Mutazione	richiede `var` / `mutating`	mutabile tramite qualsiasi reference
Identità	nessuna (confronto per valore)	identità con `===`
Ereditarietà	no	sì
Memoria	di solito stack, niente ARC	heap, gestita da ARC

Come funziona

Compromessi

Quando usare l'una o l'altra

Perché è importante

Domande correlate