Jenis Bersyarat dan menyimpulkan

Tipe bersyarat memungkinkan Anda untuk mengekspresikan keputusan tipe non-sepele berdasarkan hubungan pewarisan. Sintaksnya menyerupai operator ternary JavaScript:

T extends U ? X : Y

Jika tipe T dapat ditetapkan ke U, maka tipe yang dihasilkan adalah X, jika tidak maka akan menjadi Y.

Tipe Bersyarat Dasar

Tipe bersyarat mengevaluasi suatu kondisi pada waktu kompilasi:

type IsNumber<T> = T extends number ? true : false;

type A = IsNumber<number>; // true
type B = IsNumber<string>; // false

Pola ini sangat kuat bila dikombinasikan dengan obat generik untuk menciptakan tipe utilitas yang fleksibel dan dinamis.

Ketik Ekstraksi dengan infer

Di dalam klausa extends bertipe kondisional, kita dapat menggunakan kata kunci infer untuk mendeklarasikan variabel tipe yang akan disimpulkan oleh kompiler.

Misalnya, jika kita ingin mengekstrak tipe kembalian suatu fungsi:

type GetReturnType<T> = T extends (...args: any[]) => infer R ? R : never;

type ExampleFunction = () => string;
type Return = GetReturnType<ExampleFunction>; // string

Dalam contoh ini, infer R memberitahu TypeScript untuk secara otomatis menentukan tipe kembalian fungsi dan membuatnya tersedia sebagai R di cabang positif kondisional.

Cobalah sendiri

Latihan 1: Tipe IsString

Latihan 2: Mengekstrak tipe dari Array dengan infer