Koşullu Türler: T extends U ? X : Y

Hoş Geldiniz

Temel Sözdizimi

type IsString<T> = T extends string ? true : false;
type A = IsString<string>; // true
type B = IsString<number>; // false

Yerleşik NonNullable

type NonNullable<T> = T extends null | undefined ? never : T;
type C = NonNullable<string | null>; // string

Genel Türlerle Koşullu Türler

type Flatten<T> = T extends Array<infer I> ? I : T;
type Str = Flatten<string[]>; // string
type Num = Flatten<number>;   // number

İç İçe Koşullu Türler

type TypeName<T> =
  T extends string ? 'string' :
  T extends number ? 'number' :
  T extends boolean ? 'boolean' :
  'object';

Birleşimler Üzerinde Dağıtım

type ToArray<T> = T extends any ? T[] : never;
type R = ToArray<string | number>; // string[] | number[]

Dağıtımı Önleme

type NoDistribute<T> = [T] extends [any] ? T[] : never;
type R2 = NoDistribute<string | number>; // (string | number)[]

Filtreleme İçin never Kullanımı

type OnlyStrings<T> = T extends string ? T : never;
type S = OnlyStrings<'a' | 'b' | 1 | 2>; // 'a' | 'b'

Eşlemeli Türlerde Koşullu Türler

type NullableValues<T> = { [K in keyof T]: T[K] extends string ? null : T[K] };

İşlev Parametrelerinden Tür Çıkarımı

type FirstParam<T> = T extends (first: infer P, ...rest: any[]) => any ? P : never;
type FP = FirstParam<(a: string, b: number) => void>; // string

Yerleşik Koşullu Yardımcı Programlar

type ReturnType<T extends (...args: any) => any> = T extends (...args: any) => infer R ? R : any;

Hızlı Kontrol

Özet