Quand est-il préférable d'utiliser des types de valeur et quand des types de référence?

Les types de valeur (struct, enum, tuple) sont stockés dans la pile, copiés lors de l'affectation ou du passage à une fonction. Conviennent pour représenter des données simples, de petits objets, lorsque l'indépendance des copies est requise. Leur utilisation peut améliorer les performances en raison de l'absence de gestion de la mémoire heap.

Les types de référence (class, function, closure) sont stockés dans le tas, passés par référence. Conviennent pour :

• Représenter des objets complexes avec un état modifiable.
• Lorsqu'une instance partagée est nécessaire par plusieurs parties du code.
• Héritage et polymorphisme.
• Gestion du cycle de vie de l'objet (ARC).

Lors du choix, il faut considérer :

• La taille et la complexité des données.
• La nécessité de modifier l'état et de le partager.
• La performance et la consommation de mémoire.