TypeScript Academy · Lekcja

unknown a any: bezpieczniejszy wybór

Proszę poznać, dlaczego unknown wymusza sprawdzenie typów przed użyciem.

Lekcja 3 z 413 kroki

unknown a any: bezpieczniejszy wybór to bezpłatna lekcja TypeScript Academy na CoddyKit. To lekcja 3 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

W TypeScript 3.0 wprowadzono typ `unknown` jako bezpieczną alternatywę dla `any`. W tej lekcji dowiedzą się Państwo, co sprawia, że `unknown` jest bezpieczniejszy, i kiedy go używać.

Problem z any

W przypadku `any` TypeScript wyłącza wszystkie kontrole. Można wywoływać metody, uzyskiwać dostęp do właściwości i przypisywać wartości do zmiennych o określonych typach bez ograniczeń — a więc także bez bezpieczeństwa.
let val: any = getData();
val.someMethod(); // TypeScript: OK. Runtime: possible crash

Wprowadzenie typu unknown

`unknown` to bezpieczny typ najwyższy. Podobnie jak `any`, może przechowywać dowolną wartość. W przeciwieństwie do `any` nie można go używać bez wcześniejszego zawężenia.
let val: unknown = getData();
// val.someMethod(); // Error: Object is of type 'unknown'

Zawężanie unknown przed użyciem

Aby użyć wartości `unknown`, należy zawęzić jej typ za pomocą sprawdzenia typu. Następnie TypeScript zezwala na operacje właściwe dla zawężonego typu.
let input: unknown = getInput();
if (typeof input === 'string') {
  console.log(input.toUpperCase()); // OK — narrowed to string
}

unknown nie można przypisać do konkretnych typów

Nie można przypisać `unknown` do konkretnego typu bez sprawdzenia lub asercji. Wymusza to zweryfikowanie wartości przed jej użyciem.
let x: unknown = 'hello';
// let s: string = x; // Error
let s: string = x as string; // OK with assertion

Używanie unknown w blokach catch

W TypeScript 4.0 i nowszych przechwycone błędy mają domyślnie typ `unknown`. Jest to bezpieczniejsze niż dawny domyślny typ `any`, ponieważ wymusza sprawdzenie typu błędu.
try {
  doSomething();
} catch (err: unknown) {
  if (err instanceof Error) {
    console.log(err.message); // safe
  }
}

unknown dla danych zewnętrznych

Podczas analizowania kodu JSON lub odbierania danych z interfejsu API należy najpierw nadać im typ `unknown`, a przed użyciem zweryfikować.
const raw: unknown = JSON.parse(text);
if (
  typeof raw === 'object' &&
  raw !== null &&
  'name' in raw
) {
  console.log((raw as any).name);
}

Strażnicy typów dla unknown

Zdefiniowani przez użytkownika strażnicy typów doskonale współpracują z `unknown`, umożliwiając zweryfikowanie złożonych struktur przed ich użyciem.
function isUser(val: unknown): val is { name: string } {
  return typeof val === 'object' && val !== null && 'name' in val;
}

unknown a never

`unknown` to typ najwyższy — każdy typ można do niego przypisać. `never` to typ najniższy — niczego nie można do niego przypisać. Są one swoimi przeciwieństwami.
// unknown: anything can be assigned to it
let a: unknown = 42; // OK

// never: nothing can be assigned to it
function fail(): never { throw new Error(); }

Wybór między any a unknown

Należy używać `unknown`, gdy otrzymują Państwo dane o nieustalonym typie (JSON, dane wejściowe użytkownika, zewnętrzne interfejsy API). `any` należy stosować wyłącznie w ostateczności, podczas migracji lub w przypadku bibliotek bez typów.

Biblioteki do walidacji w czasie działania

Biblioteki takie jak Zod, Valibot i io-ts doskonale współpracują z `unknown`. Analizują i weryfikują dane, zwracając wartość o określonym typie na podstawie danych wejściowych `unknown`.
import { z } from 'zod';
const UserSchema = z.object({ name: z.string(), age: z.number() });
const user = UserSchema.parse(unknownData); // throws if invalid

Szybkie sprawdzenie

Co należy zrobić przed użyciem wartości `unknown` w TypeScript?

Podsumowanie

`unknown` jest bezpieczną alternatywą dla `any`. Akceptuje dowolną wartość, ale wymusza zawężenie typu przed użyciem. Należy stosować go dla danych zewnętrznych, w blokach catch i wszędzie tam, gdzie typ jest rzeczywiście nieznany.
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 „unknown a any: bezpieczniejszy wybór” jest bezpłatna?

Tak — pełny tekst „unknown a any: bezpieczniejszy wybór” 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 „unknown a any: bezpieczniejszy wybór”?

Proszę poznać, dlaczego unknown wymusza sprawdzenie typów przed użyciem. Ć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 3 z 4.

Ile czasu zajmuje lekcja „unknown a any: bezpieczniejszy wybór”?

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. Typy prymitywne: string, number, boolean
  2. Typ any i powody, by go unikać
  3. unknown a any: bezpieczniejszy wybór
  4. null, undefined i ścisłe sprawdzanie wartości null
← Powrót do TypeScript Academy