TypeScript Academy · Lekcja

Testowanie typów za pomocą expectTypeOf i tsd

Sprawdzaj poprawność typów równolegle z zachowaniem w czasie działania.

Lekcja 4 z 413 kroki

Testowanie typów za pomocą expectTypeOf i tsd to bezpłatna lekcja TypeScript Academy na CoddyKit. To lekcja 4 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 TypeScript Academy, a Twój postęp synchronizuje się między webem a aplikacją CoddyKit. Kurs TypeScript Academy zawiera 4 lekcji w sumie.

Wprowadzenie

Testowanie samych typów — nie tylko działania w czasie wykonywania — zapewnia poprawność narzędzi TypeScript i typów generycznych.

Dlaczego warto testować typy

Narzędzia generyczne i typy warunkowe mogą zawierać błędy wpływające tylko na określone argumenty typów. Testy typów pozwalają je wykryć.

expectTypeOf z Vitest

Vitest udostępnia expectTypeOf do asercji typów podczas kompilacji.
import { expectTypeOf } from 'vitest';
expectTypeOf(42).toBeNumber();
expectTypeOf('hello').toBeString();

Asercje typów zwracanych

Należy sprawdzać typ zwracany przez funkcję.
import { identity } from '../src/utils';
expectTypeOf(identity(42)).toEqualTypeOf<number>();
expectTypeOf(identity('hi')).toEqualTypeOf<string>();

Biblioteka tsd

tsd to narzędzie CLI do testowania typów w plikach deklaracji TypeScript.
npm install --save-dev tsd

Asercje tsd

Należy pisać pliki .test-d.ts zawierające asercje tsd.
import { expectType, expectError } from 'tsd';
import { add } from '../src';
expectType<number>(add(1, 2));
expectError(add('a', 'b'));

Biblioteka expect-type

Biblioteka expect-type udostępnia asercje typów zgodne z Jest.
import { expectTypeOf } from 'expect-type';
expectTypeOf<User>().toHaveProperty('name').toBeString();

Testowanie typów warunkowych

Należy sprawdzać, czy typy warunkowe zwracają poprawny wynik dla różnych danych wejściowych.
type IsArray<T> = T extends any[] ? true : false;
expectTypeOf<IsArray<string[]>>().toEqualTypeOf<true>();
expectTypeOf<IsArray<string>>().toEqualTypeOf<false>();

Testowanie typów mapowanych

Należy upewnić się, że narzędzia oparte na typach mapowanych tworzą poprawne struktury.
type Mutable = { -readonly [K in keyof ReadonlyUser]: ReadonlyUser[K] };
expectTypeOf<Mutable['name']>().toBeString();
expectTypeOf<Mutable>().not.toMatchTypeOf<Readonly<Mutable>>();

Uruchamianie tsd w CI

Należy dodać tsd do potoku CI, aby wykrywać regresje typów.
// package.json
{ "scripts": { "test:types": "tsd" } }

Testy typów a testy działania

Testy typów są uruchamiane podczas kompilacji i nie obciążają czasu wykonywania. Testy działania sprawdzają zachowanie. Potrzebne są oba rodzaje testów.

Szybkie sprawdzenie

Co sprawdza `expectTypeOf(add(1, 2)).toEqualTypeOf()`?

Podsumowanie

Testowanie typów za pomocą expectTypeOf i tsd: opanowano najważniejsze pojęcia i wzorce.
Bezpłatny start

Ucz się TypeScript 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
101
Lekcje
352

Często zadawane pytania

Czy lekcja „Testowanie typów za pomocą expectTypeOf i tsd” jest bezpłatna?

Tak — pełny tekst „Testowanie typów za pomocą expectTypeOf i tsd” 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 TypeScript Academy, przejdź na CoddyKit PRO. Kurs TypeScript Academy zawiera 4 lekcji w sumie.

Co nauczysz się w „Testowanie typów za pomocą expectTypeOf i tsd”?

Sprawdzaj poprawność typów równolegle z zachowaniem w czasie działania. Ćwiczysz TypeScript 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ąć TypeScript Academy?

Nie wymagamy żadnego doświadczenia. TypeScript 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 4 z 4.

Ile czasu zajmuje lekcja „Testowanie typów za pomocą expectTypeOf i tsd”?

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 TypeScript Academy?

Tak. Każda lekcja TypeScript 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

  1. Konfiguracja Jest dla TypeScript z ts-jest
  2. Pisanie bezpiecznych typowo testów jednostkowych
  3. Mockowanie modułów i funkcji w TypeScript
  4. Testowanie typów za pomocą expectTypeOf i tsd
← Powrót do TypeScript Academy