Meydan okuma 1: Tür matematiği

Template literal ve mapped'ı birleştiren bir görev çözersin.

Tür matematiği: template + mapped

Template literal türler birleşenleri dize olarak birleştirir; mapped türler ise bir nesnenin anahtarlarını yeniden üretir. İkisini birleştirerek her özellik için getX gibi isimler türetebilirsin.

type Getters<T> = {
  [K in keyof T as `get${Capitalize<string & K>}`]: () => T[K]
};

type Person = { name: string; age: number };
// { getName: () => string; getAge: () => number }

Buradaki as yan tümcesi anahtarı yeniden adlandırır; Capitalize ise ilk harfi büyütür.

Uygulama Getter türü üret

Getters<T> türünü yaz: her K özelliği için get${Capitalize<K>} anahtarı üretsin, değer () => T[K] olsun. Person türü { name: string; age: number } olsun, PersonGetters alias'ını tanımla, bir değer oluşturup getName() sonucunu yazdır.

Örnek çözümü göster

type Getters<T> = {
  [K in keyof T as `get${Capitalize<string & K>}`]: () => T[K]
};

type Person = { name: string; age: number };
type PersonGetters = Getters<Person>;

const g: PersonGetters = {
  getName: () => "Ada",
  getAge: () => 36,
};

console.log(g.getName());

Uygulama Önekli tür üret

Prefixed<T, P> türünü yaz: her anahtarın başına P öneki eklensin (`${P}${K}`). Box alias'ını Prefixed<{ id: number }, "$"> ile tanımla, bir Box değeri oluştur ve $id alanını yazdır.

Örnek çözümü göster

type Prefixed<T, P extends string> = {
  [K in keyof T as `${P}${string & K}`]: T[K]
};

type Box = Prefixed<{ id: number }, "$">;

const b: Box = { $id: 42 };
console.log(b.$id);

Kendini test et

Aşağıdaki tanımlardan sonra `Getters<Person>` ne olur?
```
type Getters<T> = {
  [K in keyof T as `get${Capitalize<string & K>}`]: () => T[K]
};
type Person = { name: string };
```
- { getname: () => string }
- { GetName: () => string }
- { getName: () => string }
- { name: () => string }
Cevabı göster

{ getName: () => string } — Template literal `get${Capitalize<...>}` `name` anahtarını `getName`'e çevirir; değer türü `() => T[K]` yani `() => string` olur.

Anahtarı büyüt

type Getters<T> = {
  [K in keyof T as `get${____<string & K>}`]: () => T[K]
};

Cevabı göster

type Getters<T> = {
  [K in keyof T as `get${Capitalize<string & K>}`]: () => T[K]
};

Tür matematiği parçaları

keyof T

T'nin anahtarları
Capitalize<S>

ilk harfi büyütür
`get${...}`

dize öneki ekler
as

anahtarı yeniden adlandırır

Sıradaki ders: Meydan okuma 2: Variance

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler