Fungsi Penjaga Tipe Buatan Pengguna

Selamat Datang

Tipe Pengembalian Predikat is

function isString(val: unknown): val is string {
  return typeof val === 'string';
}

Menggunakan Penjaga Tipe

function process(val: unknown) {
  if (isString(val)) {
    console.log(val.toUpperCase()); // val: string
  }
}

Penjaga Tipe untuk Antarmuka

interface Cat { meow(): void }
interface Dog { bark(): void }
function isCat(pet: Cat | Dog): pet is Cat {
  return 'meow' in pet;
}

Penjaga Tipe untuk Objek Kompleks

interface User { name: string; age: number; }
function isUser(val: unknown): val is User {
  return (
    typeof val === 'object' &&
    val !== null &&
    typeof (val as any).name === 'string' &&
    typeof (val as any).age === 'number'
  );
}

Penjaga Tipe vs Aserti

Array.isArray sebagai Penjaga Tipe

function flatten(val: string | string[]): string[] {
  return Array.isArray(val) ? val : [val];
}

Penjaga Tipe Generik

function isNonNull<T>(val: T | null | undefined): val is T {
  return val !== null && val !== undefined;
}
const values = [1, null, 2, undefined].filter(isNonNull);
// values: number[]

Fungsi Aserti

function assertIsString(val: unknown): asserts val is string {
  if (typeof val !== 'string') throw new TypeError('Not a string');
}
assertIsString(input);
console.log(input.toUpperCase()); // narrowed to string

Tanggung Jawab Penjaga Tipe

Penjaga Tipe dalam filter dan find

const mixed: (string | null)[] = ['a', null, 'b'];
const strings = mixed.filter((x): x is string => x !== null);
// strings: string[]

Pemeriksaan Cepat

Ringkasan