Appliquer l'immutabilité et la pureté
Objets immuables et méthodes pures
À l’exécution, les états d’un programme sont les valeurs des champs d’instance et statiques. Contrôler comment, quand et pourquoi les états changent est l’une des tâches de programmation les plus difficiles. Cela devient extrêmement complexe en environnement multithread, car les effets de bord potentiels liés aux changements d’état deviennent trop compliqués à comprendre.
Pourquoi l'immutabilité compte
Les développeurs orientés objet s’inspirent de plus en plus de l’approche fonctionnelle où la plupart des états sont immuables. Un objet est immuable si son état ne change pas une fois créé. Une méthode est pure si son exécution ne modifie aucun état de champ. Les objets immuables et les méthodes pures sont deux moyens efficaces de limiter les effets de bord inattendus.
Comment CppDepend aide
Grâce à des conditions et règles Code Quest dédiées, CppDepend vous permet de vérifier l’immutabilité et la pureté de vos classes et méthodes. Vous pouvez :
- Détectez les champs mutables dans des classes supposées immuables
- Identifiez les méthodes impures qui modifient l’état des objets
- Appliquez des contraintes de pureté sur toute votre base de code
- Générez des rapports de conformité à l’immutabilité
Le meilleur point de départ est de consulter la liste des contraintes Code Quest par défaut et de lire la documentation associée. CppDepend inclut des règles intégrées pour détecter les types immuables, les méthodes pures et les violations d’effets de bord.
Essayer Appliquer l'immutabilité et la pureté avec CppDepend
Commencez votre essai gratuit de 14 jours avec accès complet à toutes les fonctionnalités. Sans carte bancaire.