Konstrukcje

Conditional types

Typowy if. Pytanie, które zadaje, to zawsze przypisywalność.

Czym jest

Nie równość, nie instancja — przypisywalność, w jedną stronę. A gdy sprawdzany typ jest gołym parametrem typu, warunek się dystrybuuje: wykonuje się raz na składnik unii, a wyniki wracają w unię. To jedno zachowanie tłumaczy większość tego, co w standardowej bibliotece wygląda na magię, i większość tego, co w twoich typach wygląda na usterkę.

Przykłady

```
IsString<'hello'>
```
→true
```
IsString<string | number>
```
→boolean
Zadziałała dystrybucja: true dla string, false dla number, złączone z powrotem w boolean. Zaskakujące, dopóki nie wiesz; potem oczywiste.
```
NoDistribute<string | number>
```
→false
Owinięcie w krotkę wyłącza dystrybucję i teraz unia jest oceniana jako całość.

Każdy rozwinięty typ powyżej wypisał TypeScript 6.0.3, nie ręka człowieka.

Czego nie robi

Nie testuje równości. T extends string jest prawdą także dla każdego literału tekstowego, a pytanie „czy to ten sam typ” wymaga sztuczki z dwoma warunkami, nie tego.
Nie dystrybuuje się, gdy sprawdzany typ jest czymkolwiek innym niż gołym parametrem. Owinięcie którejkolwiek strony — w krotkę, obiekt, cokolwiek — to wyłącza.

Wniosek

Gdy warunek daje nieoczekiwaną odpowiedź, zapytaj najpierw, czy się rozdystrybuował. [T] extends [U] to przełącznik i mniej więcej w połowie przypadków jest naprawą.