Podstawy typów generycznych

Typy generyczne / Generics (programowanie uogólnione) są jedną z najpotężniejszych funkcji języka TypeScript. Pozwalają one na tworzenie elastycznych, reużywalnych komponentów, funkcji i interfejsów, które mogą współpracować z różnymi typami danych, zachowując jednocześnie maksymalne bezpieczeństwo typów (type safety) i unikając stosowania typu any.

Funkcje Generyczne

Pomyśl o typie generycznym jak o zmiennej przechowującej typ. Rozważmy funkcję, która zwraca przekazaną do niej wartość:

function identity<T>(arg: T): T {
  return arg;
}

Litera T (skrót od Type) to symbol zastępczy (placeholder) dla typu. Kiedy wywołujemy identity, TypeScript przechwytuje typ przekazanego argumentu i automatycznie przypisuje go do T:

const str = identity<string>('Hello'); // T è string
const num = identity(42); // T è number (inferito automaticamente!)

Interfejsy i Aliasy Generyczne

Typy generyczne można stosować także do interfejsów i aliasów typów, co pozwala na definiowanie generycznych kontenerów lub struktur danych:

interface Box<T> {
  content: T;
}

const stringBox: Box<string> = { content: 'TypeScript' };
const numberBox: Box<number> = { content: 42 };

Wielokrotne Parametry Typów

Możemy definiować funkcje lub typy korzystające z wielu zmiennych typów (np. T i U):

function mergeObjects<T, U>(obj1: T, obj2: U): T & U {
  return { ...obj1, ...obj2 };
}

Ograniczenia Typów Generycznych (Generic Constraints)

Czasami chcemy ograniczyć typy akceptowane przez parametr generyczny. Możemy użyć słowa kluczowego extends, aby dodać ograniczenie (constraint).

Na przykład, jeśli chcemy, aby typ generyczny zawsze posiadał właściwość length (tak jak napisy czy tablice):

interface HasLength {
  length: number;
}

function logLength<T extends HasLength>(arg: T): void {
  console.log(arg.length); // Sicuro! Sappiamo che arg ha 'length'
}

logLength('Hello'); // Valido
logLength([1, 2, 3]); // Valido
// logLength(42); // Errore: number non ha la proprietà length!

Spróbuj sam

Ćwiczenie 1: Generyczna funkcja identity

Ćwiczenie 2: Generyczny Box

Ćwiczenie 3: Ograniczenie Typu Generycznego (Constraint)

Ćwiczenie 4: Generyczna para Pair