TypeScript Academy · Lektion

Praktiske numeriske type-utilities

Anvend typearitmetik på begrænsninger for intervaller og længder

Lektion 4 af 413 trin

Praktiske numeriske type-utilities er en gratis TypeScript Academy-lektion på CoddyKit. Dette er lektion 4 af 4. Du kan læse hele lektionen gratis nedenfor — og derefter øve dig praktisk i browseren med en indbygget kodeeditor og en AI-vejleder, der er tilgængelig døgnet rundt. Den er en del af læringsforløbet i TypeScript Academy, og dine fremskridt synkroniseres på tværs af nettet og CoddyKit-appen. TypeScript Academy-kurset indeholder 4 lektioner i alt.

Fra teori til værktøjer

Aritmetik og sammenligning bliver nyttige, når de pakkes ind som praktiske hjælpefunktioner: områder, arrays med håndhævet længde og afgrænsede indekser. Denne lektion omdanner grundfunktionerne til værktøjer, du faktisk ville tage i brug.

type BuildTuple<N extends number, Acc extends unknown[] = []> =
  Acc["length"] extends N ? Acc : BuildTuple<N, [...Acc, unknown]>;

Enumerate: 0 til N-1

En grundlæggende hjælpefunktion producerer en union af alle tal fra 0 til N-1. Opbyg en tuple med længde N, og aflæs alle indeksnøgler.

type Enumerate<N extends number, Acc extends number[] = []> =
  Acc["length"] extends N
    ? Acc[number]
    : Enumerate<N, [...Acc, Acc["length"]]>;

type A = Enumerate<4>; // 0 | 1 | 2 | 3

Intervaltyper

En Range<Start, End> giver tallene fra Start til og med End - 1. Tag Enumerate<End>, og udeluk værdierne under Start.

type Range<S extends number, E extends number> =
  Exclude<Enumerate<E>, Enumerate<S>>;

type A = Range<2, 6>; // 2 | 3 | 4 | 5

Begrænsning af en parameter

Brug et interval til at begrænse gyldige argumenter. En funktion, der kun accepterer et lille terningekast, kan tage Range<1, 7>, så kompileren afviser værdier uden for intervallet.

type DiceFace = Range<1, 7>; // 1|2|3|4|5|6
declare function roll(face: DiceFace): void;
roll(4); // ok
// roll(8); // compile error

Håndhævelse af arraylængde

En arraytype med fast længde afviser arrays med forkert størrelse. Opbyg en tuple med N elementer af typen T ved hjælp af rekursion.

type FixedArray<T, N extends number, Acc extends T[] = []> =
  Acc["length"] extends N ? Acc : FixedArray<T, N, [...Acc, T]>;

type RGB = FixedArray<number, 3>; // [number, number, number]

Brug af fast længde

Nu giver forkert brug en kompileringsfejl. Et punkt i 3D skal have præcis tre koordinater.

type Vec3 = FixedArray<number, 3>;
const v: Vec3 = [1, 2, 3]; // ok
// const w: Vec3 = [1, 2]; // error: missing element

Begrænsning af indekser

Du kan begrænse en indekstype til gyldige arraypositioner. Kombinér en tuplelængde med Enumerate, så kun indekser inden for grænserne accepteres.

type Indices<T extends readonly unknown[]> = Enumerate<T["length"]>;

type Arr = readonly ["a", "b", "c"];
type I = Indices<Arr>; // 0 | 1 | 2

Sikker indekseret adgang

Med en type for gyldige indekser kan du skrive en hentefunktion, hvis indeksparameter ikke kan gå uden for grænserne, så fejl med én forskydning opdages ved kompilering.

declare function at<T extends readonly unknown[]>(
  arr: T,
  i: Indices<T>
): T[Indices<T>];

const x = at(["a", "b", "c"] as const, 2); // ok
// at(["a", "b", "c"] as const, 3); // error

Hjælpefunktioner til Min og Max

Læg sammenligning ovenpå for at vælge det større eller mindre af to tal, hvilket er nyttigt til at begrænse en værdi til et interval.

type Max<A extends number, B extends number> =
  GreaterThan<A, B> extends true ? A : B;
type Min<A extends number, B extends number> =
  GreaterThan<A, B> extends true ? B : A;

type X = Max<3, 8>; // 8
type Y = Min<3, 8>; // 3

Sammensætning af hjælpefunktioner

Disse hjælpefunktioner kan kombineres. En tuple med længde inden for et interval, et indeks begrænset til arrayets gyldige positioner, en værdi afgrænset af minimum og maksimum: hver er en lille, genanvendelig funktion på typeniveau.

type ValidPort = Range<1, 4>; // 1 | 2 | 3 (toy example)
type Slots = FixedArray<ValidPort, 2>; // [1|2|3, 1|2|3]

Hvornår det kan betale sig

Typearitmetik er velegnet til små, faste grænser: RGB-tupler, terningesider, brætkoordinater og protokolfelters størrelser. Det kan ikke betale sig for store eller dynamiske tal, hvor rekursionsgrænser og kompleksitet opvejer sikkerheden. Brug det, når grænsen er lille, og garantien er værdifuld.

type Board = FixedArray<FixedArray<0 | 1, 3>, 3>; // 3x3 grid

Hurtigt tjek

Afprøv din forståelse af praktiske numeriske hjælpefunktioner.

Besvar den i den interaktive lektion

Opsamling

Du har opbygget et lille bibliotek af numeriske hjælpefunktioner på typeniveau.

Enumerate og Range skaber talunioner.
FixedArray håndhæver præcise længder.
Indices begrænser adgangen til gyldige positioner.
Min/Max afgrænser værdier.

Brug dem til små faste grænser. Næste: Kursus 23, simulering af typer af højere orden.

Gratis at komme i gang

Lær TypeScript med en AI-underviser — gratis

Skriv og kør rigtig kode i din browser, få øjeblikkelig hjælp fra en AI-underviser døgnet rundt, og fortsæt, hvor du slap, på web eller i appen.

Kurser: 101
Lektioner: 352

Start gratis Se hele kurset

Ofte stillede spørgsmål

Er lektionen “Praktiske numeriske type-utilities” gratis?

Ja — hele teksten til “Praktiske numeriske type-utilities” kan læses gratis her på nettet. Hvis du vil øve dig interaktivt med en indbygget kodeeditor og en AI-vejleder døgnet rundt og få adgang til resten af TypeScript Academy-kurset, skal du opgradere til CoddyKit PRO. TypeScript Academy-kurset indeholder 4 lektioner i alt.

Hvad lærer jeg i “Praktiske numeriske type-utilities”?

Anvend typearitmetik på begrænsninger for intervaller og længder Du øver dig i TypeScript Academy med praktisk kode, som du kører direkte i browseren, og en AI-vejleder døgnet rundt besvarer dine spørgsmål, mens du arbejder dig gennem lektionen.

Skal jeg have erfaring for at begynde på TypeScript Academy?

Der kræves ingen tidligere erfaring. TypeScript Academy på CoddyKit er tilrettelagt for både begyndere og øvede, så du kan starte her eller fra begyndelsen og lære i dit eget tempo. Dette er lektion 4 af 4.

Hvor lang tid tager lektionen “Praktiske numeriske type-utilities”?

De fleste CoddyKit-lektioner tager cirka 5–10 minutter. Hver lektion er kort og interaktiv, så du gør løbende fremskridt og kan fortsætte, hvor du slap – på både web og app.

Kan jeg skrive og køre kode i denne TypeScript Academy-lektion?

Ja. Alle TypeScript Academy-lektioner har en indbygget kodeeditor, så du kan skrive og køre rigtig kode direkte i din browser og få øjeblikkelig feedback fra AI – uden lokal opsætning.

Alle lektioner i dette kursus

← Tilbage til TypeScript Academy