Wzorce

Jedna strona na pytanie. Każdy przepis się kompiluje, każdy wynik to typ wypisany przez kompilator, a każda strona mówi, gdzie przepis zawodzi.

Każdy przepis i każdy wynik są kompilowane podczas budowania

Jak powstrzymać przekazanie UserId tam, gdzie oczekiwano OrderId, skoro oba są zwykłymi tekstami?TypeScript jest strukturalny, więc dwa aliasy string to ten sam typ. Fantomowa właściwość czyni je różnymi, nie zmieniając wartości.Ostempluj prymityw
Jak dostać błąd kompilacji, gdy ktoś doda przypadek do unii i zapomni go obsłużyć?Zawęź każdy przypadek i przypisz resztę do never. Gdy unia urośnie, reszta przestaje być niczym i przypisanie zawodzi.Uczyń switch wyczerpującym
Jak powstrzymać Omit<User, "nmae"> przed cichym sukcesem, który nic nie usuwa?Wbudowany ogranicza parametr klucza do keyof any, czyli do każdego klucza, jaki mógłby istnieć. Ogranicz go zamiast tego do keyof T.Spraw, by Omit łapał literówki
Jak zamienić { a: string } & { b: number } w { a: string; b: number }, by podpowiedzi były czytelne, a testy równości przechodziły?Homomorficzne mapowanie przechodzi każdy klucz raz i odbudowuje jeden obiekt. Modyfikatory przeżywają; przecięcie nie.Spłaszcz przecięcie
Dlaczego Object.keys(config) daje mi string[] zamiast kluczy, które widzę na miejscu?Bo wartość może mieć więcej kluczy, niż deklaruje jej typ, a Object.keys zwraca wszystkie. Zawężenie wyniku to świadoma, lokalna decyzja — a nie naprawa usterki.Uzyskaj typowane klucze obiektu
Jak przyjąć obiekt opcji, w którym każde pole jest opcjonalne, ale pusty obiekt jest niedozwolony?Zbuduj po jednym wariancie na klucz, w którym ten klucz jest wymagany, a reszta opcjonalna, i połącz je unią. Każdy pojedynczy podany klucz spełnia co najmniej jeden wariant.Wymagaj co najmniej jednej właściwości
Jak odczytać user.address.city przez ścieżkę wielokrotnego użytku bez utraty typu wyniku?Wygeneruj rekurencyjnie poprawne krotki kluczy, a potem zużywaj po jednym kluczu, by obliczyć wartość na końcu.Pobierz wartość po typowanej głębokiej ścieżce
Jak utrzymać każdą nazwę zdarzenia w parze z właściwym ładunkiem i nasłuchiwaczem?Użyj mapy zdarzeń i jednego parametru klucza, aby nazwa zdarzenia wybierała typ ładunku w obu metodach.Nadaj typy emiterowi zdarzeń
Jak sprawić, by dane sukcesu były dostępne tylko w gałęzi sukcesu, a błędy tylko w gałęzi porażki?Nadaj każdemu wariantowi jedno wspólne pole literalne. Jego sprawdzenie zawęża cały obiekt, nie tylko pole.Modeluj stany, które się zawężają
Jak pozwolić wywołującym wybrać wejście i transformację bez zapisywania argumentów typu?Umieść parametry typu tam, gdzie ujawniają je wartości: jeden w elemencie tablicy, drugi w wyniku callbacku.Wywnioskuj wynik generyczny z callbacku
Jak przyjąć href albo onClick, ale odrzucić obiekty podające oba?Połącz dwa kształty unią i dodaj unikalne klucze drugiej strony jako opcjonalne właściwości never.Uczyń dwa kształty propsów wzajemnie wykluczającymi
Jak przyjąć jeden klucz wyszukiwania, odrzucając pustą kwerendę i kwerendę z kilkoma kluczami?Zbuduj wariant dla każdego klucza: wymagaj go i zabroń wszystkich pozostałych przez opcjonalne never.Wymagaj dokładnie jednej właściwości
Jak uzyskać tylko klucze właściwości będących tekstami, funkcjami albo innym wybranym typem?Mapuj każdy klucz na niego samego albo never, a potem zindeksuj obiekt, by zebrać ocalałe.Wybierz klucze według typu wartości
Jak zapobiec mutacji poniżej pierwszego poziomu właściwości, zamiast zamrażać tylko zewnętrzny typ obiektu?Zachowaj funkcje, przejdź rekurencyjnie przez tablice i zmapuj każdą właściwość obiektu z modyfikatorem readonly.Uczyń obiekt głęboko tylko do odczytu
Jak utrzymać literalną unię oraz tablicę lub obiekt używany w czasie działania bez rozjazdu?Zachowaj jedną wartość jako źródło prawdy, utrzymaj literały przez as const, a potem zapytaj o jej typ.Wyprowadź unię z danych czasu działania
Jak zachować zależność między każdym kluczem i jego wartością podczas iteracji po Object.entries?Zbuduj unię krotek klucz/wartość przez typ mapowany i zamknij nieuniknioną asercję w jednym pomocniku.Uzyskaj typowane pary z obiektu
Jak sprawić, by pomocnik wywnioskował literalną krotkę bez wymagania od wywołujących as const?Oznacz parametr typu jako const; inferencja wybierze wtedy readonly literalne kształty zamiast poszerzonych tablic i prymitywów.Zachowaj literały generykiem const
Jak przyjąć callback zwracający T albo Promise<T> i zawsze wystawić jeden przewidywalny wynik?Przyjmij wartość lub obietnicę, oczekaj jej i opisz spłaszczony wynik przez Awaited.Ujednolić callback synchroniczny lub asynchroniczny
Jak wybrać jedną właściwość z każdego obiektu i zachować jej typ w zwracanej tablicy?Zwiąż klucz z keyof T i użyj dostępu indeksowanego dla elementu wyniku.Wyciągnij typowaną właściwość z obiektów
Jak indeksować dyskryminowaną unię przez kind, zamiast wielokrotnie wyciągać składniki?Mapuj po unii i przemapuj każdy składnik na literalną wartość jego dyskryminatora.Zamień unię w mapę odnośników