Typowanie funkcji wariadycznych
Buduj elastyczne API za pomocą wariadycznych typów krotek
Typowanie funkcji wariadycznych 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.
Generyczne funkcje wariadyczne
Typy krotek wariadycznych pozwalają generykom przechwytywać i przekształcać listy argumentów. Umożliwia to tworzenie narzędzi, które łączą krotki, przekazują parametry dalej i zmieniają kształt sygnatur wywołań przy pełnym bezpieczeństwie typów.
Przechwytywanie argumentów jako krotki
Parametr generyczny ograniczony do unknown[] może przechwycić całą listę argumentów jako typ krotki T, zachowując typ i pozycję każdego parametru.
function tuple<T extends unknown[]>(...args: T): T {
return args
}
const t = tuple("a", 1, true) // type [string, number, boolean]
console.log(t)Spread generycznej krotki
Przechwyconą generyczną krotkę można rozwinąć w innej liście parametrów. Umożliwia to przekazywanie argumentów z zachowaniem ich dokładnych typów.
function wrap<T extends unknown[]>(fn: (...args: T) => void) {
return (...args: T) => fn(...args)
}
const log = wrap((n: number, s: string) => console.log(n, s))
log(1, "hi")Łączenie dwóch krotek
Typy krotek wariadycznych pokazują swoją siłę podczas łączenia krotek. Rozwinięcie dwóch generycznych krotek w typie zwracanym tworzy ich konkatenację.
function concat<A extends unknown[], B extends unknown[]>(a: A, b: B): [...A, ...B] {
return [...a, ...b]
}
const r = concat([1, 2], ["a"]) // [number, number, string]
console.log(r)Dlaczego typ wyniku jest precyzyjny
Ponieważ [...A, ...B] rozwija generyczne krotki, wynik zachowuje typ i kolejność każdego elementu — zamiast stać się jedynie tablicą z poszerzonym typem unii.
function concat<A extends unknown[], B extends unknown[]>(a: A, b: B): [...A, ...B] {
return [...a, ...b]
}
const r = concat([true], [42])
const flag: boolean = r[0]
const num: number = r[1]
console.log(flag, num)Dodawanie argumentu na początku
Krotki wariadyczne pozwalają zmieniać listy parametrów — na przykład tworzyć funkcję, która dodaje początkowy argument do sygnatury funkcji zwrotnej.
function withId<T extends unknown[]>(fn: (...args: T) => void) {
return (id: number, ...rest: T) => {
console.log("id", id)
fn(...rest)
}
}
const f = withId((msg: string) => console.log(msg))
f(7, "hello")Wyodrębnianie typu pierwszego elementu
W przypadku parametru będącego krotką można za pomocą nazwanej krotki oddzielić typ pierwszego elementu od reszty, a następnie operować na każdej części.
function head<H, T extends unknown[]>(...args: [H, ...T]): H {
return args[0]
}
const h = head("first", 2, 3) // type string
console.log(h)Typ narzędziowy Parameters
Wbudowany typ Parameters<F> wyodrębnia listę argumentów funkcji jako krotkę — sam jest oparty na typach krotek wariadycznych. Parametry sygnatury można wykorzystać ponownie w innym miejscu.
function greet(name: string, age: number) {}
type GreetArgs = Parameters<typeof greet> // [string, number]
const args: GreetArgs = ["Ada", 36]
console.log(args)Przekazywanie za pomocą Parameters
Połącz Parameters z rozwinięciem rest, aby utworzyć funkcję opakowującą, która przekazuje argumenty do istniejącej funkcji z identycznym typowaniem.
function add(a: number, b: number) { return a + b }
function traced(...args: Parameters<typeof add>): number {
console.log("calling add", args)
return add(...args)
}
console.log(traced(2, 3))Budowanie sygnatury podobnej do curry
Krotki wariadyczne umożliwiają tworzenie funkcji pomocniczych do częściowej aplikacji: niektóre argumenty są przechwytywane teraz, a pozostałe oczekiwane później — wszystko jest sprawdzane przez system typów.
function partial<A extends unknown[], B extends unknown[], R>(
fn: (...args: [...A, ...B]) => R,
...a: A
) {
return (...b: B) => fn(...a, ...b)
}
const addThree = (x: number, y: number, z: number) => x + y + z
const add5 = partial(addThree, 5)
console.log(add5(2, 3)) // 10Możliwości i ostrożność
Generyki krotek wariadycznych zapewniają precyzyjne, wielokrotnego użytku narzędzia do kształtowania funkcji — funkcje opakowujące, przekazujące argumenty i łączące krotki. Są to rozwiązania zaawansowane, dlatego warto po nie sięgać wtedy, gdy precyzja typów rzeczywiście uzasadnia ich użycie.
function pipe2<A extends unknown[], B, C>(
f: (...a: A) => B,
g: (b: B) => C
) {
return (...a: A) => g(f(...a))
}
const fn = pipe2((n: number) => n * 2, (n) => n + 1)
console.log(fn(5)) // 11Szybkie sprawdzenie
Sprawdź swoje rozumienie generyków krotek wariadycznych.
Podsumowanie
Typy krotek wariadycznych pozwalają generykom przechwytywać listy argumentów jako krotki i rozwijać je w pozycjach parametrów lub wartości zwracanych. Umożliwia to łączenie krotek ([...A, ...B]), przekazywanie argumentów, rozdzielanie pierwszego elementu i reszty oraz częściową aplikację — przy zachowaniu dokładnych typów elementów. Wbudowane typy, takie jak Parameters<F>, korzystają z tego samego mechanizmu. Warto używać tych narzędzi, gdy precyzyjne typowanie kształtu funkcji uzasadnia dodatkową złożoność.
Często zadawane pytania
Czy lekcja „Typowanie funkcji wariadycznych” jest bezpłatna?
Tak — pełny tekst „Typowanie funkcji wariadycznych” 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 „Typowanie funkcji wariadycznych”?
Buduj elastyczne API za pomocą wariadycznych typów krotek Ć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 „Typowanie funkcji wariadycznych”?
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
- Parametry rest w funkcjach
- Spread w tablicach i obiektach
- Elementy rest w krotkach
- Typowanie funkcji wariadycznych