Quando è meglio usare i tipi di valore e in quali casi usare i tipi di riferimento?

I valori di tipo (ad esempio, strutture, enumerazioni, tuple) vengono copiati durante il trasferimento o l'assegnazione. Le modifiche a una copia non influenzano le altre.

I tipi di riferimento (ad esempio, classi, closure, funzioni) trasmettono un riferimento allo stesso esempio. Le modifiche apportate a un riferimento si riflettono in tutti gli altri riferimenti allo stesso oggetto.

È meglio usare tipi di valore:

• Quando l'indipendenza delle copie è importante.
• Per strutture di dati piccole e semplici, dove copiare è più economico che gestire un tipo di riferimento.
• Per garantire la sicurezza in ambienti concorrenti (le modifiche non influenzano altri thread).
• Quando è richiesta un'invarianza garantita dopo la creazione.

È meglio usare tipi di riferimento:

• Quando è necessario avere un'istanza condivisa di un oggetto accessibile da diverse parti del codice.
• Per grandi strutture di dati o oggetti complessi, dove copiare sarebbe inefficiente.
• Quando si richiede polimorfismo o ereditarietà (le classi supportano queste capacità).
• Per oggetti con gestione del ciclo di vita (ad esempio, grazie a ARC).
• Quando è richiesta una mutabilità condivisa dello stato tra parti dell'applicazione.