keyof kısıtı

keyof ile özellik adı kısıtı öğrenirsin.

keyof kısıtı

keyof T, T türünün tüm özellik adlarını birleşim türü olarak verir. K extends keyof T yazarak K'nın yalnızca T'nin geçerli bir özellik adı olmasını sağlarsın. Böylece al(obje, "ad") çağrısı güvenli olur; var olmayan bir özellik adı derleme hatasıdır.

function al<T, K extends keyof T>(o: T, k: K): T[K] {
  return o[k];
}
const u = { ad: "Ayşe", yas: 30 };
console.log(al(u, "ad"));  // Ayşe

T[K] dizin türü

T[K], T'nin K özelliğinin değer türünü verir. al<T, K extends keyof T>(o: T, k: K): T[K] imzası, döndürülen değerin tam olarak o özelliğin türü olmasını sağlar. Böylece al(u, "yas") çağrısı number dönerken al(u, "ad") çağrısı string döner; her ikisi de derleme zamanında bilinir.

Uygulama Özellik getir

al<T, K extends keyof T>(o: T, k: K): T[K] generic fonksiyonunu yaz; gövdesi return o[k]; olsun. { ad: "Ece", yas: 25 } nesnesini kisi değişkenine ata. al(kisi, "ad") ve al(kisi, "yas") sonuçlarını ayrı satırlarda yazdır.

Örnek çözümü göster

function al<T, K extends keyof T>(o: T, k: K): T[K] {
  return o[k];
}
const kisi = { ad: "Ece", yas: 25 };
console.log(al(kisi, "ad"));
console.log(al(kisi, "yas"));

Kendini test et

K extends keyof T kısıtı neyi garanti eder?
```
function al<T, K extends keyof T>(o: T, k: K): T[K]
```
- K'nın number olduğunu
- T'nin bir dizi olduğunu
- T'nin K özelliğe sahip olduğunu
- K'nın T'nin geçerli bir özellik adı olduğunu
Cevabı göster

K'nın T'nin geçerli bir özellik adı olduğunu — keyof T, T'nin tüm özellik adlarını verir; K extends keyof T ise K'nın bu adlardan biri olduğunu garanti eder. T'nin yapısıyla değil K'nın adıyla ilgilidir.

keyof ile K'yı sınırla

function al<T, K extends ____>(o: T, k: K): T[K] {
  return o[k];
}

Cevabı göster

function al<T, K extends keyof T>(o: T, k: K): T[K] {
  return o[k];
}

keyof kısıtı parçaları

keyof T

T'nin özellik adları birleşimi
K extends keyof T

K'yı özellik adıyla sınırlar
T[K]

K özelliğinin değer türü
al(u, "ad")

Geçerli özellik adıyla çağrı

Sıradaki ders: Default tür parametresi

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler