Niszczenie i __del__

Gdy wartość nie jest już potrzebna, jej życie dobiega końca, a Mojo ją niszczy. To moment na posprzątanie zasobów, które posiadała. 🧹

Mojo wywołuje specjalną metodę o nazwie __del__, aby zniszczyć wartość. Jest ona uruchamiana automatycznie, gdy wartość wyjdzie poza zakres.

Mojo niszczy wartości w przewidywalnym momencie — gdy tylko zostaną użyte po raz ostatni. Nie trzeba czekać na garbage collector.

Mojo uruchamia __del__ natychmiast po ostatnim użyciu wartości, często jeszcze przed zamknięciem bloku. Dzięki temu zasoby są zwalniane tak wcześnie, jak to możliwe.

Jeśli Państwa typ przechowuje bufor na stercie, __del__ jest miejscem, w którym należy go zwolnić. Zapobiega to wyciekom pamięci w miarę działania programu.

Wewnątrz __del__ wartość jest własnością Państwa kodu, więc można bezpiecznie zwolnić jej zasoby. Po wykonaniu tej metody wartość już nie istnieje.

W przypadku prostych typów nie trzeba nic pisać. Mojo generuje destruktor, który po kolei sprząta każde pole, zapobiegając wyciekom.

Własną metodę __del__ należy napisać, gdy zarządza się zasobem niskopoziomowym, takim jak alokacja lub uchwyt pliku, który wymaga jawnego zwolnienia.

Każda wartość jest niszczona dokładnie raz. Przeniesienie przekazuje własność, więc tylko ostatni właściciel uruchamia __del__, unikając podwójnego zwalniania.

Po zakończeniu działania __del__ Mojo gwarantuje, że wartość już nie istnieje. Reguły własności uniemożliwiają dostęp do zwolnionych danych.

Deterministyczne niszczenie zapewnia kontrolę znaną z C, a jednocześnie wbudowane bezpieczeństwo. Sprzątanie odbywa się na czas, przewidywalnie i automatycznie.

Sprawdźmy niszczenie wartości.

__del__ uruchamia się, gdy życie wartości dobiega końca — deterministycznie i dokładnie raz — umożliwiając bezpieczne sprzątanie bez GC. 🎯