Règles de sécurité mémoire plus strictes : introduction des groupes enfants
Cet article présente une règle de sécurité mémoire plus stricte en introduisant le concept de « groupes enfants ». L’ancienne règle était trop permissive ; la nouvelle règle définit plus précisément les références qui doivent être invalidées lorsqu’un objet est muté. En utilisant la structure `Entity` comme exemple, l’article explique comment distinguer l’objet lui-même de ses « groupes enfants » (par exemple, les éléments d’une liste, les objets pointés par des pointeurs). La nouvelle règle stipule que lorsqu’un objet peut être modifié, les références à l’objet lui-même restent valides, mais les références aux groupes enfants deviennent invalides. À travers des exemples de code, l’article montre clairement comment la nouvelle règle améliore la sécurité mémoire et évite les pointeurs pendants.
Lire plus