Cevap.

Soruya dair geçmiş:

TypeScript'in gelişimi ile birlikte, bir değişkenin daha dar bir türünü mantıksal dallarda güvenilir bir şekilde belirleme ihtiyacı doğdu. Klasik tür kontrolü (typeof veya instanceof kullanarak) her zaman yeterli değildir, özellikle bir nesne karmaşık bir yapıya veya hiyerarşiye sahipse. Verilerin güvenliğini artırmak ve kullanım kolaylığını sağlamak amacıyla TypeScript, kullanıcı tanımlı type guard'lar oluşturmak için type predicates mekanizmasını gerçekleştirmiştir.

Sorun:

Fonksiyon içindeki standart tür kontrolleri, yalnızca true/false sonucu kullanıldığında, derleyiciye, değişkenin sonraki kodda hangi tür olduğunu bildirmez. Derleyici, tam olarak neyin kontrol edildiğini "anlamaz". Bu, kurulu hataların ortaya çıkmasına neden olur; yanlışlıkla mevcut olmayan özelliklere erişmeye çalıştığımızda hata alırız.

Çözüm:

Tür önermeleri (type predicates), 'param is Type' biçimindeki tür yer tutucusu ile derleyiciye bu parametreye yapılan kontrol sonrasında belirli bir tür olarak çalışabilecek bilgisi verir. Bu tür fonksiyonlar, tür güvenliğini artırır ve karmaşık görevler için tür daraltma sistemini genişletir.

Kod örneği:

interface Bird {
  fly(): void;
  feathers: boolean;
}
interface Fish {
  swim(): void;
  fins: number;
}
function isBird(animal: Bird | Fish): animal is Bird {
  return (animal as Bird).fly !== undefined;
}
const pet: Bird | Fish = ...;
if (isBird(pet)) {
  pet.fly(); // Tamam: pet artık Bird
} else {
  pet.swim(); // Tamam: pet artık Fish
}

Temel özellikler:

Kullanıcı tanımlı predicat fonksiyonları, tür daraltma mekanizmasını standart type guard operatörlerinin ötesine taşır;
Predicatler, bir fonksiyonun türle ne yaptığını açıkça tanımlamaya zorlar, bu da kodun şeffaflığını ve güvenliğini artırır;
Kullanıcı tanımlı type guard'ların doğru uygulanması, union türleri ile çalışırken hatalardan korur.

Soru tuzakları.

Type guard fonksiyonu, dönüş türü 'param is Type' açıkça belirtilmediğinde çalışabilir mi?

Hayır, eğer dönüş türü 'param is Type' fonksiyonun imzasında açıkça belirtilmezse, TypeScript kodun dallarında türü daraltamaz, true/false dönüş değerine rağmen. Derleyici, parametrenin belirli bir tür olarak kullanılabileceğini anlayamaz.

Kod örneği:

function isFish(animal: Fish | Bird): boolean {
  return (animal as Fish).swim !== undefined;
}
// Çalışacak mı?
if (isFish(pet)) {
  pet.swim(); // Hata: Property 'swim' does not exist
}

Primitif değerleri, örneğin string veya sayı gibi, kontrol etmek için type predicates kullanabilir miyiz?

Evet, kullanılabilir, ancak genellikle typeof daha sık kullanılır ve bu tür guard'lar gereksiz hale gelir. Yine de, kullanıcı tanımlı bir guard oluşturmanın önünde bir engel yoktur:

function isString(x: unknown): x is string {
  return typeof x === "string";
}

Type guard fonksiyonu, derleme aşamasında tür hatalarına karşı sıkı bir koruma sağlar mı?

Tam olarak değil. TypeScript, fonksiyonun kendisinin uygulanmasına güvenir ve içindeki mantığın doğruluğunu kontrol edemez. Eğer kontrolü yanlış uygularsanız, derleyici hatayı anlamaz ve çalışma zamanı aşamasında sorunlar ortaya çıkabilir.

function isFish(animal: Fish | Bird): animal is Fish {
  // Yanlış: her zaman true döner
  return true;
}

Tip hataları ve anti-paternlere dair

Type predicate'de mantık hatası: predicat içindeki hata veya yazım hatası tür güvenliğini kaybettirir;
Type guard içinde gereksiz as kullanımı;
Type predicates'in kullanılmasının daha kolay olduğu yerlerde standart typeof/instanceof kullanılması.

Gerçek hayattan bir örnek

** Olumsuz durum Geliştirici bir predicat fonksiyonu gerçekleştirdi, ancak yapı kontrolünde bir hata yaptı ve bu nedenle fonksiyon her zaman true döndü. Kod derlemeyi geçti, ancak çalışma zamanı aşamasında mevcut olmayan bir metoda çağrı yapıldı.

Artılar:

Kod, farklı türlerle hata almadan çalışıyor.

Eksiler:

Erken hatalar yakalanmıyor, sadece çalıştırırken açığa çıkıyor.

** Olumlu durum Type predicate fonksiyonları düzgün şekilde uygulanmış, sınır değerler ve hata verileri üzerinde birim testleriyle test edilmiştir.