Wnioskowanie typów a typy jawne

Podczas wiązania wartości Zig może samodzielnie ustalić jej typ albo możesz zapisać go jawnie. Oba sposoby korzystają z silnego, statycznego systemu typów Zig.

Jeśli wartość jasno wskazuje typ, pozwól Zig go wywnioskować. const name = "Ada" wyraźnie oznacza tekst, więc adnotacja nie jest potrzebna.

Aby samodzielnie określić typ, zapisz po nazwie dwukropek i typ. Tak właśnie ustala się dokładną szerokość liczby całkowitej.

Wywnioskowany literał liczby całkowitej staje się comptime_int, dopóki go nie użyjesz. Gdy trafi do określonego miejsca, Zig konwertuje go do wymaganej szerokości.

Czasami sama wartość nie wystarcza. var zaczynający od 0 wymaga jawnego typu, aby Zig wiedział, czy chodzi o u8, czy i64.

Samodzielny zapis 3.14 ma typ comptime_float. Dodaj adnotację, aby wybrać f32 lub f64, gdy precyzja i zużycie pamięci mają dla Ciebie znaczenie.

Gdy typ wynika jasno z kontekstu, pominięcie go sprawia, że wiersze są czystsze. Dodawaj adnotację tylko wtedy, gdy rzeczywiście poprawia czytelność lub jest wymagana.

Przypisz 5 do miejsca typu u16, a literał bez problemu się w nim zmieści. Zig wykonuje bezpieczną konwersję do zadeklarowanego typu, gdy tylko jest to możliwe.

W sygnaturach funkcji i strukturach danych typy są zawsze jawne. Wnioskowanie to lokalne ułatwienie, a nie sposób na pomijanie deklaracji.

Zig nie zamieni za Ciebie po cichu liczby zmiennoprzecinkowej na całkowitą. Niezgodne typy powodują błąd, dzięki czemu działanie operacji liczbowych pozostaje przewidywalne.

Wnioskuj typ, gdy wartość mówi sama za siebie; dodaj adnotację, gdy typ jest informacją potrzebną czytającemu. O wyborze powinna decydować przejrzystość.

Piszesz var counter = 0;, a Zig zgłasza problem. Dlaczego oczekuje od Ciebie dodatkowej informacji?

Zobaczyłeś, że Zig potrafi wywnioskować typ na podstawie jednoznacznej wartości albo możesz podać go po dwukropku. O wyborze powinny decydować przejrzystość i wymagania danego przypadku. 🎯