Meydan okuma 2: Variance

Variance kurallarını yoklayan bir görev çözersin.

Varyans: kovaryans ve kontravaryans

Varyans, tür parametreli türlerin alt tür ilişkisini nasıl aktardığını tanımlar. Değer üreten türler kovaryandır: Producer<Dog>, Producer<Animal>'a atanabilir. Parametre tüketen türler kontravaryandır: Consumer<Animal>, Consumer<Dog>'e atanabilir.

type Producer<T> = () => T;
type Consumer<T> = (x: T) => void;

let pA: Producer<Animal>;
let pD: Producer<Dog>;
pA = pD;  // OK (kovaryans)

strictFunctionTypes açıkken fonksiyon parametreleri katı kontravaryan olur; sınıf metotları bivaryan kalır.

Uygulama Kovaryans göster

Animal sınıfı (alan name = "hayvan") ve Dog extends Animal tanımla. Producer<T> = () => T türünü yaz. pDog: Producer<Dog> değeri oluştur, sonra pAnimal: Producer<Animal>'a ata (kovaryans) ve pAnimal().name'i yazdır.

Örnek çözümü göster

class Animal { name = "hayvan"; }
class Dog extends Animal { bark() {} }

type Producer<T> = () => T;

const pDog: Producer<Dog> = () => new Dog();
let pAnimal: Producer<Animal>;
pAnimal = pDog;
console.log(pAnimal().name);

Uygulama Kontravaryans göster

Animal sınıfı (alan name = "h") ve Dog extends Animal tanımla. Consumer<T> = (x: T) => void türünü yaz. cAnimal: Consumer<Animal> değeri console.log("yedi " + x.name) yapsın. cAnimal'ı cDog: Consumer<Dog>'e ata (kontravaryans) ve cDog(new Dog()) çağır.

Örnek çözümü göster

class Animal { name = "h"; }
class Dog extends Animal {}

type Consumer<T> = (x: T) => void;

const cAnimal: Consumer<Animal> = (x) => { console.log("yedi " + x.name); };
let cDog: Consumer<Dog>;
cDog = cAnimal;
cDog(new Dog());

Kendini test et

`strictFunctionTypes` açıkken hangi atama derlenir?
```
type Consumer<T> = (x: T) => void;
class Animal { name = "a"; }
class Dog extends Animal {}
let cAnimal: Consumer<Animal>;
let cDog: Consumer<Dog>;
```
- Hiçbiri derlenmez
- cAnimal = cDog;
- cDog = cAnimal;
- cAnimal = cDog; ve cDog = cAnimal; ikisi de
Cevabı göster

cDog = cAnimal; — Tüketici türler kontravaryandır; daha genel olan `Consumer<Animal>` daha özel olan `Consumer<Dog>`'e atanabilir, tersi olmaz.

Tüketici tanımı

// T'yi parametre olarak tüketen fonksiyon
type Consumer<T> = (x: ____) => void;

Cevabı göster

// T'yi parametre olarak tüketen fonksiyon
type Consumer<T> = (x: T) => void;

Varyans kavramları

Kovaryans

üretilen değerin alt tür ilişkisi aktarılır
Kontravaryans

tüketilen parametrenin ilişkisi tersine döner
Bivaryans

hem kovaryans hem kontravaryans kabul edilir
strictFunctionTypes

fonksiyon parametrelerini katı yapar

Sıradaki ders: Meydan okuma 3: Branded + phantom

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler