Meydan okuma 3: Tür sistemleri

Mapped, conditional ve infer'ı birleştiren bir görev çözersin.

Tür sistemleri meydan okuması

Bu meydan okumada mapped types, conditional types ve infer anahtar kelimesini birleştiren görevler çözeceksin. Mapped type ile bir türün tüm alanlarını dönüştürmeyi, conditional type ile tür bazlı mantık kurmayı ve infer ile bir türden başka bir tür çıkarmayı öğrendin.

Uygulama ReadOnly mapped type

ReadOnly adında bir mapped type tanımla: { readonly [K in keyof T]: T[K] }. Nokta interface'i x: number ve y: number içersin. p değişkeni ReadOnly<Nokta> türünde olsun ve değeri { x: 3, y: 4 } olsun. p.x + p.y sonucunu console.log ile yazdır.

Örnek çözümü göster

type ReadOnly<T> = { readonly [K in keyof T]: T[K] };
interface Nokta { x: number; y: number; }
const p: ReadOnly<Nokta> = { x: 3, y: 4 };
console.log(p.x + p.y);

Uygulama infer ile eleman türü

Eleman adında bir conditional type tanımla: T extends (infer U)[] ? U : never. R türünü Eleman<string[]> olarak tanımla. deger değişkeni R türünde ve değeri "merhaba" olsun. deger'i console.log ile yazdır.

Örnek çözümü göster

type Eleman<T> = T extends (infer U)[] ? U : never;
type R = Eleman<string[]>;
const deger: R = "merhaba";
console.log(deger);

Kendini test et

Bir conditional type'ta Promise'ten değer türünü çıkarmak için hangi anahtar kelime kullanılır?
- typeof
- keyof
- infer
- extends
Cevabı göster

infer — infer anahtar kelimesi bir conditional type içinde tür çıkarımı yapar; örneğin T extends Promise<infer U> ? U : never.

infer ile tür çıkarma

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

Cevabı göster

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

Tür sistem kavramları

mapped

[K in keyof T]
conditional

T extends U ? X : Y
infer

Tür çıkarma
keyof

Anahtar kümesi

Sıradaki ders: Meydan okuma 4: Mini uygulama

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler