Kiedy lepiej używać typów wartości, a kiedy typów referencyjnych?

Wartości typu (np. struktury, wyliczenia, krotki) są kopiowane podczas przekazywania lub przypisywania. Zmiany w jednej kopii nie wpływają na inne.

Typy referencyjne (np. klasy, zamknięcia, funkcje) przekazują odniesienie do tego samego egzemplarza. Zmiany wprowadzone w jednym odniesieniu odzwierciedlają się we wszystkich innych odniesieniach do tego samego obiektu.

Lepszym wyborem są typy wartości:

• Gdy ważna jest niezależność kopii.
• Dla małych, prostych struktur danych, gdzie kopiowanie jest tańsze niż zarządzanie typem referencyjnym.
• Aby zapewnić bezpieczeństwo w środowiskach wielowątkowych (zmiany nie wpływają na inne wątki).
• Gdy wymagana jest gwarantowana niezmienność po utworzeniu.

Lepszym wyborem są typy referencyjne:

• Gdy konieczne jest posiadanie jednej wspólnej instancji obiektu dostępnej z różnych części kodu.
• Dla dużych, złożonych struktur danych lub obiektów, gdzie kopiowanie byłoby nieefektywne.
• Gdy wymagana jest polimorfizm lub dziedziczenie (klasy obsługują te możliwości).
• Dla obiektów z zarządzaniem cyklem życia (np. dzięki ARC).
• Gdy potrzebna jest wspólna zmienność stanu między częściami aplikacji.