🙂
No entanto, observe que o programa a seguir é bom no SB, mas inválido sob TB:
Aqui, a gravação para ativar o empréstimo em duas fases, de modo que a singularidade é aplicada.Com a TB, o programa trocado ainda está bem, mas por um motivo diferente:
Quando é criado primeiro, ele permanece um empréstimo de duas fases reservado.SB (e TB) Tratamento da caixa especial (correspondente a RustC), mas não exclusiva, portanto, o VEC não vem com nenhum requisito de alias.Além disso, estamos tratando todas as referências mutáveis como emprestados de duas fases: isso é mais permissivo do que o que o verificador de empréstimos aceita, mas nos permite tratar referências mutáveis totalmente uniformemente.Isso significa que a referência compartilhada de leitura e leia a referência mutável é equivalente à referência mutável de leitura e, em seguida, leia a referência compartilhada e a otimização é salva.
Fonte: https://www.ralfj.de/blog/2023/06/02/tree-borrows.html
