Tipuri de Valoare și Performanță: Cum Schimbă Project Valhalla Regulile Jocului

Dacă ai lucrat cu Java și ai încercat să creezi tipuri care respectă reguli de business, probabil ai simțit frustrarea. Vrei un PositiveInt care să nu accepte valori negative. Vrei ca compilatorul să te oprească din greșeli. Vrei siguranță.

Doar că atunci când ajungi la codul critic, unde procesezi milioane de evenimente, acele obiecte care păreau o idee bună devin o problemă. Fiecare wrapper ocupă memorie, generează alocări și încarcă cache-ul procesorului. De ani de zile, regula practică a fost simplă: validezi la graniță, apoi renunți la siguranță în interiorul buclei.

Project Valhalla schimbă asta.

De Ce Wrapper-ele Costau Atât de Mult

Să fim concreți. Un wrapper simplu pentru un int ajunge la 16 bytes pe HotSpot. Când pui un milion de astfel de obiecte într-un array, nu stochezi valorile direct. Stochezi referințe, adică pointeri care trebuie urmăriți. Fiecare acces înseamnă un potențial miss în cache.

Rezultatul e clar: wrapper-ul ocupă de patru ori mai mult spațiu decât primitivul pe care îl protejează. Și asta se amplifică în buclele critice. Numerele devin un obstacol, nu o soluție.

De aceea, tipurile de domeniu funcționau bine doar la interfețe. În codul rapid, majoritatea dezvoltatorilor ajungeau să folosească din nou int sau long, pierzând garanțiile pe care le construiseră.

Value Classes: Siguranță Fără Sacrificiu

Project Valhalla, disponibil acum în Java 27 Early Access, aduce cuvântul cheie value. Spre deosebire de clasele obișnuite, value classes nu au identity. JVM-ul le poate trata ca pe primitive: le poate plasa direct în array-uri, în câmpuri sau chiar în registrele procesorului.

Codul arată aproape la fel:

public value class PositiveInt {
    private final int value;

    public PositiveInt(int value) {
        if (value <= 0) {
            throw new IllegalArgumentException("must be positive: " + value);
        }
        this.value = value;
    }

    public int value() { 
        return value; 
    }
}

Constructorul rulează. Validarea are loc. Garanția rămâne: oriunde vezi un PositiveInt, știi că valoarea e pozitivă. Dar JVM-ul nu mai trebuie să aloce un obiect pe heap. Poate să plaseze de 4 bytes în orice context.

Cum Se Extinde La Structuri Mai Mari

Aceeași idee funcționează și cu structuri care conțin mai multe valori. Imaginează un Coordinate care are Latitude și Longitude, fiecare bazat pe un double.

Într-un sistem obișnuit, ai avea multiple niveluri de referințe. Într-un sistem cu value classes, cele 16 bytes de date se împachetează direct. Nu mai există pointeri de urmărit. Cache-ul rămâne eficient.

Pentru aplicații care procesează date spațiale la scară mare, acest lucru bedeutetă o creștere semnificativă a performanței fără sacrificiu de siguranță.

Încorporarea Tipurilor Rafinate În Codul Crit

Înregistrările de domenii necesită mai multe tipuri de validare. Întră DomainName și Tld, care nu arcaan pedomain, pe domain de domain, domain de domain de domain, domain de domain de domain.

În registrările de domenii, validarea apare la interfață. T<|eos|>