Özet - infer

infer ile kendi Awaited ve ElementOf türlerini yazarsın.

Özet - infer

infer, koşullu türlerin extends yan tümcesinde tür değişkeni tanımlayarak bir türün içinden alt tür çıkarma sağlar. Promise<infer V> ile awaited değer türünü, (infer E)[] ile dizi eleman türünü çıkarırsın. Bu desenler, Awaited ve dizi yardımcılarının temelidir.

type Beklenen<T> =
  T extends Promise<infer V> ? V : T;
type Eleman<T> =
  T extends (infer E)[] ? E : never;

Uygulama Kendi Awaited ve Eleman türlerin

Beklenen<T> koşullu türünü yaz: T extends Promise<infer V> ? V : T. Eleman<T> koşullu türünü yaz: T extends (infer E)[] ? E : never. P türünü Beklenen<Promise<string>>, E türünü Eleman<number[]> olarak tanımla. a'yı P türünde "tamam", b'yi E türünde 7 ile tanımla. İkisini ayrı satırlarda yazdır.

Örnek çözümü göster

type Beklenen<T> = T extends Promise<infer V> ? V : T;
type Eleman<T> = T extends (infer E)[] ? E : never;
type P = Beklenen<Promise<string>>;
type E = Eleman<number[]>;
const a: P = "tamam";
const b: E = 7;
console.log(a);
console.log(b);

Kendini test et

Bir Promise'in değer türünü çıkarmak için hangi desen kullanılır?
```
type Beklenen<T> = T extends Promise<infer V> ? V : T;
```
- T extends Promise<V> ? V : T
- T extends infer Promise ? T : never
- T extends Promise<infer V> ? V : T
- T extends (infer V)[] ? V : never
Cevabı göster

T extends Promise<infer V> ? V : T — Promise<infer V> kalıbı, Promise'in değer türünü V olarak çıkarır. İkinci seçenek dizi elemanı çıkarır; üçüncüsü V'yi tanımsız bırakır; sonuncusu sözdizimi hatasıdır.

Dizi elemanını çıkar

type Eleman<T> =
  T extends (____ E)[] ? E : never;

Cevabı göster

type Eleman<T> =
  T extends (infer E)[] ? E : never;

infer desenlerini eşleştir

Promise<infer V>

Promise değer türünü çıkarır
(infer E)[]

Dizi eleman türünü çıkarır
{ deger: infer V }

Nesne özellik türünü çıkarır
? V / ? E

Doğru dal: çıkarılan tür

Sıradaki ders: Decorator nedir?

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler