Temat: borrow checker | gikiewicz.eu

Błędy, których Rust nie wyłapie

Rust gwarantuje bezpieczeństwo pamięci – borrow checker eliminuje dangling pointers, data races, use-after-free. Kompilator odrzuca kod, który łamie zasady ownership. Jednak pojawia się pytanie: co ze wszystkimi błędami, które nie naruszają pamięci? Rust nie wyłapie pomyłek w logice biznesowej, nie sprawdzi czy indeks ma sens semantyczny, nie upilnuje stanu aplikacji. TL;DR: Rust eliminuje całą klasę […]