Pengantar Tipe Kondisional

Tipe kondisional dalam TypeScript memungkinkan Anda membuat tipe yang beradaptasi secara dinamis berdasarkan suatu kondisi, sehingga kode Anda lebih fleksibel dan dapat digunakan kembali.

Tipe ini menggunakan sintaksis yang mirip dengan operator kondisional (ternary) JavaScript.

Apa Itu Tipe Kondisional?

Tipe kondisional memungkinkan Anda mendefinisikan tipe yang bergantung pada tipe lain. Sintaksis dasarnya adalah:

T extends U ? X : Y

Artinya: Jika T memperluas U, tipenya adalah X; jika tidak, tipenya adalah Y.

Contoh Dasar Tipe Kondisional

Berikut contoh sederhana:

type IsString<T> = T extends string ? 'Yes' : 'No';

// Test cases
type A = IsString<string>; // 'Yes'
type B = IsString<number>; // 'No'

Menggunakan Tipe Kondisional untuk Pembebanan Berlebih Fungsi

Tipe kondisional dapat menyederhanakan pembebanan berlebih fungsi dengan menentukan tipe hasil secara dinamis:

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

function getData(): string {
  return 'Hello';
}

type DataType = ReturnType<typeof getData>; // string

Tipe Kondisional Distributif

Saat tipe kondisional diterapkan pada tipe gabungan, tipe tersebut didistribusikan ke setiap anggota gabungan:

type ToArray<T> = T extends any ? T[] : never;

type A = ToArray<string | number>;
// A = string[] | number[]

Menggabungkan Tipe Kondisional dengan Tipe Pemetaan

Anda dapat menggabungkan tipe kondisional dengan tipe pemetaan untuk melakukan transformasi tipe yang ampuh:

type User = {
  id: number;
  name: string;
  isAdmin?: boolean;
};

type MakeRequired<T> = {
  [K in keyof T]-?: T[K] extends undefined ? never : T[K];
};

type RequiredUser = MakeRequired<User>;
// { id: number; name: string; isAdmin: never; }

Kasus Penggunaan Umum Tipe Kondisional

Tipe kondisional biasanya digunakan untuk:

• Menyimpulkan tipe hasil atau parameter.
• Mentranformasi gabungan dan irisan.
• Membuat tipe bantuan seperti Exclude, Extract, dan NonNullable.

Tugas Latihan

Buat tipe kondisional yang memeriksa apakah suatu tipe adalah larik dan, jika ya, mengembalikan tipe elemennya; jika tidak, mengembalikan tipe itu sendiri.

Selamat!

Anda telah mempelajari cara menggunakan tipe kondisional untuk membuat definisi tipe yang dinamis dan dapat digunakan kembali dalam TypeScript. Silakan berlatih dengan konsep-konsep ini untuk menulis kode TypeScript yang lebih ampuh dan fleksibel!