Teknik Metaprogramming TypeScript Dijelaskan

Metaprogramming adalah teknik hebat yang memungkinkan program memanipulasi dirinya sendiri atau program lain. Dalam TypeScript, metaprogramming mengacu pada kemampuan untuk menggunakan tipe, generik, dan dekorator guna meningkatkan fleksibilitas dan abstraksi kode. Artikel ini membahas teknik-teknik metaprogramming utama dalam TypeScript dan cara menerapkannya secara efektif.

1. Menggunakan Generik untuk Kode Fleksibel

Generik memungkinkan fungsi dan kelas bekerja dengan berbagai tipe, sehingga meningkatkan fleksibilitas dan penggunaan ulang kode. Dengan memperkenalkan parameter tipe, kita dapat membuat kode kita generik sekaligus menjaga keamanan tipe.

function identity<T>(arg: T): T {
  return arg;
}

const num = identity<number>(42);
const str = identity<string>("Hello");

Dalam contoh ini, <T> memungkinkan fungsi identity menerima tipe apa pun dan mengembalikan tipe yang sama, memastikan fleksibilitas dan keamanan tipe.

2. Inferensi Tipe dan Tipe Kondisional

Sistem inferensi tipe TypeScript secara otomatis menyimpulkan tipe ekspresi. Selain itu, tipe kondisional memungkinkan pembuatan tipe yang bergantung pada kondisi, sehingga memungkinkan teknik metaprogramming yang lebih canggih.

type IsString<T> = T extends string ? true : false;

type Test1 = IsString<string>;  // true
type Test2 = IsString<number>;  // false

Dalam contoh ini, IsString adalah tipe kondisional yang memeriksa apakah tipe tertentu T memperluas string. Tipe ini mengembalikan true untuk string dan false untuk tipe lainnya.

3. Jenis yang Dipetakan

Tipe yang dipetakan adalah cara untuk mengubah satu tipe ke tipe lain dengan mengulang properti suatu tipe. Ini khususnya berguna dalam metaprogramming untuk membuat variasi tipe yang sudah ada.

type ReadOnly<T> = {
  readonly [K in keyof T]: T[K];
};

interface User {
  name: string;
  age: number;
}

const user: ReadOnly<User> = {
  name: "John",
  age: 30,
};

// user.name = "Doe";  // Error: Cannot assign to 'name' because it is a read-only property.

Di sini, ReadOnly adalah tipe yang dipetakan yang menjadikan semua properti dari tipe tertentu readonly. Ini memastikan bahwa objek tipe ini tidak dapat diubah propertinya.

4. Jenis Literal Template

TypeScript memungkinkan Anda memanipulasi tipe string dengan literal template. Fitur ini memungkinkan metaprogramming untuk operasi berbasis string.

type WelcomeMessage<T extends string> = `Welcome, ${T}!`;

type Message = WelcomeMessage<"Alice">;  // "Welcome, Alice!"

Teknik ini dapat berguna untuk menghasilkan tipe string secara dinamis, yang umum dalam aplikasi besar yang mengandalkan pola string yang konsisten.

5. Definisi Tipe Rekursif

TypeScript memperbolehkan tipe rekursif, yaitu tipe yang merujuk pada dirinya sendiri. Ini khususnya berguna untuk metaprogramming saat menangani struktur data kompleks seperti objek JSON atau data yang sangat bertingkat.

type Json = string | number | boolean | null | { [key: string]: Json } | Json[];

const data: Json = {
  name: "John",
  age: 30,
  friends: ["Alice", "Bob"],
};

Dalam contoh ini, Json adalah tipe rekursif yang dapat mewakili struktur data JSON yang valid, memungkinkan representasi data yang fleksibel.

6. Dekorator untuk Metaprogramming

Dekorator dalam TypeScript adalah bentuk metaprogramming yang digunakan untuk mengubah atau memberi anotasi pada kelas dan metode. Dekorator memungkinkan kita menerapkan perilaku secara dinamis, sehingga ideal untuk pencatatan, validasi, atau injeksi dependensi.

function Log(target: any, propertyKey: string, descriptor: PropertyDescriptor) {
  const originalMethod = descriptor.value;
  descriptor.value = function (...args: any[]) {
    console.log(`Calling ${propertyKey} with`, args);
    return originalMethod.apply(this, args);
  };
}

class Calculator {
  @Log
  add(a: number, b: number): number {
    return a + b;
  }
}

const calc = new Calculator();
calc.add(2, 3);  // Logs: "Calling add with [2, 3]"

Dalam contoh ini, dekorator Log mencatat nama metode dan argumen setiap kali metode add dipanggil. Ini adalah cara yang ampuh untuk memperluas atau mengubah perilaku tanpa mengubah kode metode secara langsung.

Kesimpulan

Kemampuan metaprogramming TypeScript memungkinkan pengembang untuk menulis kode yang fleksibel, dapat digunakan kembali, dan dapat diskalakan. Teknik seperti generik, tipe kondisional, dekorator, dan tipe literal templat membuka kemungkinan baru untuk membangun aplikasi yang tangguh dan dapat dipelihara. Dengan menguasai fitur-fitur canggih ini, Anda dapat membuka potensi penuh TypeScript dalam proyek Anda.