Tip Korumalar

Tür daraltma TypeScript'teki en önemli kavramlardan biridir. Ancak çoğu zaman typeof veya instanceof gibi standart tip korumalar karmaşık özel nesneler için yeterli değildir. Özel Tip Korumaların devreye girdiği yer burasıdır.

Standart Tip Korumalar

TypeScript'in standart JavaScript operatörlerini kullanarak türleri nasıl daralttığını özetleyerek başlayalım:

function processInput(val: string | number) {
  if (typeof val === 'string') {
    // Here 'val' is of type string
    console.log(val.toUpperCase());
  } else {
    // Here 'val' is of type number
    console.log(val.toFixed(2));
  }
}

Özel Tür Korumalar (is operatörü)

Özel bir tür koruması tanımlamak için, standart bir boole dönüş türü yerine parameterName is Type biçiminde bir tür yüklemi döndüren bir işlev yaratırız.

İşlev bir boole değeri döndürmelidir (true veya false). true değerini döndürürse TypeScript, iletilen parametrenin belirtilen türde olduğunu bilecektir.

interface Cat {
  name: string;
  meow(): void;
}

interface Dog {
  name: string;
  bark(): void;
}

// This is a custom type guard
function isCat(animal: Cat | Dog): animal is Cat {
  return (animal as Cat).meow !== undefined;
}

function makeNoise(pet: Cat | Dog) {
  if (isCat(pet)) {
    // Here TypeScript knows 'pet' is a Cat
    pet.meow();
  } else {
    // Here TypeScript knows 'pet' is a Dog
    pet.bark();
  }
}

Güvenlik ve Döküm (as vs Tip Korumalar)

Tür dönüşümü (örneğin, val as Cat), derleyiciyi herhangi bir gerçek çalışma zamanı doğrulaması olmadan geliştiriciye güvenmeye zorlar. Çalışma zamanı nesnesi beklentileri karşılamıyorsa kod sessizce başarısız olur veya istisnalar atar.

Öte yandan özel tür korumaları, TypeScript derleyicisine gerçek değişken türü hakkında güvenli ve doğru bir şekilde bilgi vererek sağlam ve dinamik bir çalışma zamanı kontrolü gerçekleştirir:

function processInput(input: unknown) {
  // unsafe casting: could crash if input does not have the split method
  // const str = input as string;
  // console.log(str.split(' '));

  // safe guard
  if (isString(input)) {
    console.log(input.split(' ')); // 100% Safe!
  }
}

Kendin dene

Alıştırma 1: String Tipi Koruma

Alıştırma 2: Premium Kullanıcı Türü Koruması

Alıştırma 3: Özel Hata Nesnesi Doğrulaması

Alıştırma 4: Yönetici Türü Koruması