Budowanie typów za pomocą @Type
Twórz nowe typy programowo.
Budowanie typów za pomocą @Type to bezpłatna lekcja Zig Academy na CoddyKit. To lekcja 2 z 4. Możesz przeczytać całą lekcję poniżej za darmo — a potem ćwiczyć ją interaktywnie w przeglądarce z wbudowanym edytorem kodu i tutorem AI dostępnym 24/7. To część ścieżki edukacyjnej Zig Academy, a Twój postęp synchronizuje się między webem a aplikacją CoddyKit. Kurs Zig Academy zawiera 4 lekcji w sumie.
Odwrotność @typeInfo
Jeśli @typeInfo zamienia typ w dane, @Type zamienia dane z powrotem w rzeczywisty typ. Razem pozwalają przekształcać typy w czasie kompilacji. 🛠️
Przekaż wartość Type.Info
@Type przyjmuje wartość std.builtin.Type i tworzy konkretny typ, który ta wartość opisuje. Przekazujesz opis, a otrzymujesz typ.
const T = @Type(.{ .Int = .{ .signedness = .unsigned, .bits = 8 } });Zbuduj typ całkowity
Powyższy przykład konstruuje u8 od podstaw. Zmień liczbę bitów na 16, a otrzymasz u16 — wszystko zostanie ustalone podczas kompilacji programu.
const U16 = @Type(.{ .Int = .{ .signedness = .unsigned, .bits = 16 } });Wykonaj konwersję typu w obie strony
Przekazanie typu przez @typeInfo, a następnie przez @Type, zwraca dokładnie ten sam typ. Dowodzi to, że oba wbudowane elementy są wzajemnymi odwrotnościami.
const Same = @Type(@typeInfo(u32));Opis struktury jako danych
Aby zbudować strukturę, należy wypełnić tablicę StructField. Każde pole wymaga nazwy, typu, wyrównania i wskaźnika wartości domyślnej.
const f = std.builtin.Type.StructField;Złożenie danych struktury
Pola należy opakować w dane .Struct z układem i flagą is_tuple, a następnie przekazać całość do @Type.
const info = .{ .Struct = .{
.layout = .auto,
.fields = my_fields,
.decls = &.{},
.is_tuple = false,
} };Generowanie nowego typu struktury
Wywołanie @Type dla tych danych zwraca zupełnie nowy typ struktury, utworzony według własnej logiki zamiast napisany ręcznie.
const Generated = @Type(info);Wartości domyślne wymagają wskaźnika comptime
default_value pola to opcjonalny stały wskaźnik do wartości albo null, gdy wartość domyślna nie istnieje. Wskaźnik musi być znany na etapie comptime.
const dv: ?*const anyopaque = &@as(u8, 0);Budowanie enumów i nie tylko
Ta sama technika działa także poza strukturami: dane .Enum pozwalają funkcji @Type syntetyzować typy enumów z obliczonej listy elementów.
Po co w ogóle tworzyć typy
Generowane typy zasilają serializatory i ORM-y: można automatycznie utworzyć spakowany typ konfiguracji lub wiersza zamiast edytować go ręcznie. ✨
Połączenie z refleksją
Najlepszy schemat odczytuje typ za pomocą @typeInfo, przekształca dane, a następnie tworzy nowy typ za pomocą @Type, na przykład dodając pole.
Szybkie sprawdzenie
Mają Państwo wartość std.builtin.Type opisującą strukturę. Co zamienia ją w typ, którego można użyć?
Podsumowanie
@Type tworzy rzeczywiste typy z danych Type.Info i jest odwrotnością @typeInfo. Należy używać ich razem do odczytywania, przekształcania i ponownego generowania typów. 🎯
Ucz się Zig dzięki korepetycjom AI — za darmo
Pisz i uruchamiaj kod w przeglądarce, otrzymuj natychmiastową pomoc od korepetytora AI dostępnego 24/7 i kontynuuj naukę w sieci lub w aplikacji.
- Kursy
- 30
- Lekcje
- 120
Często zadawane pytania
Czy lekcja „Budowanie typów za pomocą @Type” jest bezpłatna?
Tak — pełny tekst „Budowanie typów za pomocą @Type” jest dostępny za darmo tutaj w sieci. Aby ćwiczyć ją interaktywnie (wbudowany edytor kodu i tutor AI dostępny 24/7) i odblokować resztę kursu Zig Academy, przejdź na CoddyKit PRO. Kurs Zig Academy zawiera 4 lekcji w sumie.
Co nauczysz się w „Budowanie typów za pomocą @Type”?
Twórz nowe typy programowo. Ćwiczysz Zig Academy z praktycznym kodem, który uruchamiasz bezpośrednio w przeglądarce, a tutor AI dostępny 24/7 odpowiada na Twoje pytania podczas pracy nad lekcją.
Czy potrzebuję doświadczenia, aby zacząć Zig Academy?
Nie wymagamy żadnego doświadczenia. Zig Academy w CoddyKit jest strukturyzowany dla początkujących i zaawansowanych użytkowników, więc możesz zacząć tutaj lub od początku i uczyć się w swoim tempie. To lekcja 2 z 4.
Ile czasu zajmuje lekcja „Budowanie typów za pomocą @Type”?
Większość lekcji CoddyKit trwa około 5–10 minut. Każda lekcja to mały, interaktywny krok, dzięki czemu robisz systematyczne postępy i zawsze wracasz dokładnie do tego samego miejsca — na webie i w aplikacji.
Czy mogę pisać i uruchamiać kod w tej lekcji Zig Academy?
Tak. Każda lekcja Zig Academy zawiera wbudowany edytor kodu, więc piszesz i uruchamiasz prawdziwy kod bezpośrednio w przeglądarce i od razu otrzymujesz sprzężenie zwrotne od AI — bez konfiguracji na komputerze.
Wszystkie lekcje w tym kursie
- Odzwierciedlanie pól za pomocą @typeInfo
- Budowanie typów za pomocą @Type
- Walidacja podczas kompilacji i @compileError
- Generowanie kodu za pomocą comptime