infer anahtar kelimesi

infer ile türleri çekmeyi öğrenirsin.

infer anahtar kelimesi

infer, koşullu türün extends yan tümcesinde yeni bir tür değişkeni tanımlar. Bu değişken, eşleşen türün bir parçasını yakalar ve koşulun doğru dalında kullanılabilir. Böylece bir türün içinden alt tür çıkarabilirsin.

type SarmaliAc<T> =
  T extends { deger: infer V } ? V : never;
type R = SarmaliAc<{ deger: string }>;
// R: string

infer nerede çalışır?

infer yalnızca koşullu türlerin extends yan tümcesinde geçerlidir; başka yerde kullanılamaz. Tanımlanan tür değişkeni yalnızca koşulun doğru ve yanlış dallarında görünür. Bu mekanizma, Promise değer türü, dizi eleman türü veya fonksiyon dönüş türü gibi yapısal çıkarımlar için temeldir.

Uygulama Sarmalı aç

SarmaliAc<T> koşullu türünü yaz: T extends { deger: infer V } ? V : never. Sonuc türünü SarmaliAc<{ deger: string }> olarak tanımla. a değişkenini Sonuc türünde tanımla ve "merhaba" ata. a'yı console.log ile yazdır.

Örnek çözümü göster

type SarmaliAc<T> = T extends { deger: infer V } ? V : never;
type Sonuc = SarmaliAc<{ deger: string }>;
const a: Sonuc = "merhaba";
console.log(a);

Kendini test et

Aşağıdaki türde SarmaliAc<{ deger: number }> ne üretir?
```
type SarmaliAc<T> = T extends { deger: infer V } ? V : never;
type R = SarmaliAc<{ deger: number }>;
```
- any
- number
- { deger: number }
- never
Cevabı göster

number — T, { deger: infer V } kalıbına uyduğunda V, deger özelliğinin türü olan number olur ve doğru dal V'yi döndürür. never yalnızca eşleşmeme durumunda; any ise hiçbir zaman otomatik çıkarım sonucu değildir.

infer ile tür değişkeni tanımla

type SarmaliAc<T> =
  T extends { deger: ____ V } ? V : never;

Cevabı göster

type SarmaliAc<T> =
  T extends { deger: infer V } ? V : never;

infer parçaları

infer V

Çıkarılan tür değişkeni
{ deger: infer V }

Eşleşme kalıbı
? V

Doğru dal: çıkarılan tür
SarmaliAc<{ deger: string }>

Kullanım örneği

Sıradaki ders: Promise'ten değer çıkarma

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler