Quando è meglio usare i tipi di valore e quando i tipi di riferimento?

I tipi di valore (struct, enum, tuple) vengono memorizzati nello stack, copiati durante l'assegnazione o il passaggio a una funzione. Sono adatti per rappresentare dati semplici, piccoli oggetti, quando è richiesta l'indipendenza delle copie. Il loro uso può migliorare le prestazioni grazie all'assenza di gestione della memoria heap.

I tipi di riferimento (class, function, closure) sono memorizzati nell'heap, passati per riferimento. Sono adatti per:

• Rappresentare oggetti complessi con stato modificabile.
• Quando è necessaria un'istanza condivisa da più parti del codice.
• Ereditarietà e polimorfismo.
• Gestione del ciclo di vita dell'oggetto (ARC).

Nella scelta, si dovrebbe considerare:

• Dimensione e complessità dei dati.
• Necessità di modificare lo stato e condividerlo.
• Prestazioni e consumo di memoria.