De ce Rust? Siguranță fără garbage collector

Rust s-a impus în industria software-ului modern deoarece oferă performanța C++ alături de siguranța memoriei, eliminând o clasă întreagă de bug-uri critice. Fără un garbage collector (GC), aplicațiile Rust au latențe predictibile și consum redus de resurse, aspect esențial pentru sisteme embedded, jocuri video sau infrastructură cloud de înaltă performanță. Într-un mediu profesional, acest lucru se traduce prin reducerea timpului petrecut la debugging și o stabilitate superioară a produselor finale. Dezvoltatorii apreciază că compilatorul Rust verifică corectitudinea programului înainte ca acesta să fie executat, oferind încredere că memoria va fi gestionată corect fără intervenția manuală riscantă.

Concepte cheie

• Ownership: Fiecare valoare din Rust are un singur proprietar, iar când proprietarul iese din scope, valoarea este ștearsă automat, prevenind scurgerile de memorie.
• Borrowing: Permite funcțiilor să acceseze date fără a prelua proprietatea, folosind referințe împrumutate care pot fi mutabile (&mut) sau imutabile (&).
• Lifetimes: Un set de reguli care asigură că referințele sunt valide atâta timp cât sunt folosite, prevenind accesul la memorie invalidată (dangling pointers).
• Zero-cost abstractions: Funcționalitățile avansate ale limbajului sunt eliminate la compilare, generând cod mașină optimizat, similar cu cel scris manual în C/C++.
• Fearless concurrency: Sistemul de ownership previne race conditions la compilare, permițând scrierea de cod concurent sigur fără necesitatea unor lock-uri complexe.
• No runtime overhead: Lipsa unui GC înseamnă că programul rulează direct pe hardware, ideal pentru sisteme în timp real unde latența trebuie minimizată.

Exemplu practic

Gândește-te la un server web care procesează cereri. În C++, trebuie să te asiguri manual că buffer-ul de date nu este eliberat prematur. În Rust, compilatorul te obligă să definești clar cine "deține" buffer-ul. Dacă o funcție doar citește datele, primește o referință imutabilă (&str), garantând că nimeni nu va modifica datele în timp ce le procesezi. Dacă trebuie să modifi datele, primește o referință mutabilă (&mut str), iar compilatorul va bloca orice alt acces simultan. Acest mecanism previne coruperea datelor în contexte multi-threaded fără costuri de performanță suplimentare.

fn process_data(data: &String) -> usize {
    // Compilatorul știe că 'data' nu va fi modificat
    data.len()
}

Greșeli frecvente

• Ignorarea mesajelor de eroare: Considerarea erorilor de compilare ca pe niște inconveniente, când de fapt sunt ghidaje esențiale pentru siguranța memoriei.
• Confuzia între clone și referințe: Clonarea excesivă a datelor mari pentru a "păcăli" compilatorul duce la scăderea performanței; soluția corectă este înțelegerea lifetelor.
• Subestimarea ownership-ului: Încercarea de a muta o variabilă de două ori sau de a o folosi după ce a fost mutată, fără a înțelege fluxul de proprietate.

Întrebări de interviu

1. Care este diferența dintre &T și &mut T? &T este o referință imutabilă care permite citirea datelor, în timp ce &mut T este o referință mutabilă unică care permite modificarea datelor, asigurând exclusivitate.
2. De ce Rust nu are garbage collector? Pentru a elimina latența non-deterministă introdusă de GC și a oferi control total asupra ciclului de viață al memoriei, esențial pentru sistemele embedded și real-time.
3. Ce face compilatorul când întâlnește un dangling pointer? Compilatorul refuză codul la etapa de build, forțând dezvoltatorul să rezolve problema de ownership sau lifetime înainte de execuție.

Exercițiu

Scrie o funcție sum_of_squares care primește o referință imutabilă la o colecție de numere întregi (Vec<i32>) și returnează suma pătratelor acestora. Apoi, scrie o funcție double_values care primește o referință mutabilă la aceeași colecție și dublează fiecare valoare. Implementează un main care apelează ambele funcții pe aceeași variabilă, demonstrând că poți citi și modifica datele în secvențe logice, fără conflicte de ownership. Timp estimat: 45 minute.