Regras de Segurança de Memória Mais Estritas: Apresentando Grupos Filhos

Este artigo apresenta uma regra de segurança de memória mais estrita, introduzindo o conceito de "grupos filhos". A regra antiga era muito indulgente; a nova regra define com mais precisão quais referências precisam ser invalidadas quando um objeto é mutado. Usando a estrutura `Entity` como exemplo, o artigo explica como distinguir entre o próprio objeto e seus "grupos filhos" (por exemplo, elementos em uma lista, objetos apontados por ponteiros). A nova regra afirma que, quando um objeto pode ser modificado, as referências ao próprio objeto permanecem válidas, mas as referências aos grupos filhos se tornam inválidas. Por meio de exemplos de código, o artigo demonstra claramente como a nova regra aprimora a segurança de memória e evita ponteiros pendurados.