Wanneer is het beter om waarde-types te gebruiken en in welke gevallen referentie-types?

De waarde van een type (bijvoorbeeld structuren, enumeraties, tuples) wordt gekopieerd bij overdracht of toewijzing. Wijzigingen in één kopie beïnvloeden de andere niet.

Referentietypen (bijvoorbeeld klassen, closures, functies) geven een verwijzing door naar hetzelfde exemplaar. Wijzigingen aangebracht op één verwijzing worden weerspiegeld in alle andere verwijzingen naar hetzelfde object.

Het is beter om waarde-typen te gebruiken:

• Wanneer de onafhankelijkheid van kopieën belangrijk is.
• Voor kleine, eenvoudige gegevensstructuren waar kopiëren goedkoper is dan het beheren van een referentietype.
• Om veiligheid te garanderen in gelijktijdige omgevingen (wijzigingen beïnvloeden andere threads niet).
• Wanneer gegarandeerde onveranderlijkheid na creatie vereist is.

Het is beter om referentietypen te gebruiken:

• Wanneer het nodig is om één gedeeld exemplaar van een object te hebben dat toegankelijk is vanuit verschillende delen van de code.
• Voor grote, complexe gegevensstructuren of objecten waar kopiëren inefficiënt zou zijn.
• Wanneer polymorfisme of overerving vereist is (klassen ondersteunen deze mogelijkheden).
• Voor objecten met levenscyclusbeheer (bijvoorbeeld dankzij ARC).
• Wanneer gedeelde wijzigbaarheid van de toestand tussen delen van de applicatie vereist is.