Subtyping

Subtyping ve polymorphism öğrenirsin.

Subtyping

Subtyping, bir türün başka bir türün alt türü (subtype) olmasıdır. class Dog extends Animal durumunda Dog, Animal'ın alt türüdür. Bir Animal değişkenine Dog atanabilir (polymorphism).

Alt tür, üst türün sözleşmesini korumalı: üst türün metotlarını desteklemeli ve aynı davranışı sergilemelidir. Dart'ta extends ile kalıtım, implements ile arayüz uygulama, with ile mixin kullanımı sağlanır.

Polymorphism ve override

Polymorphism, bir üst tür değişkeninin alt tür örneklerini tutabilmesidir. Animal a = Dog(); geçerlidir. @override annotation'ı alt türün üst tür metodunu yeniden tanımladığını belirtir: @override String speak() => 'Hav';.

Dart, @override kullanımını önerir; yanlış imza yazılırsa derleme hatası verir. Polymorphism, kodu üst tür üzerinden yazıp alt türlere özelleştirmeyi sağlar.

Uygulama Animal ve Dog alt tür

Bir Animal sınıfı tanımla: String speak() => 'Ses'; metodu. Dog sınıfı Animal'ı extends etsin ve @override String speak() => 'Hav'; metodu içersin. main içinde final Animal a = Dog(); yarat; print(a.speak()); ile sonuçu yazdır.

Örnek çözümü göster

class Animal {
  String speak() => 'Ses';
}

class Dog extends Animal {
  @override
  String speak() => 'Hav';
}

void main() {
  final Animal a = Dog();
  print(a.speak());
}

Kendini test et

Bir alt tür (subtype) neyi karşılamalıdır?
- Üst türün sözleşmesini (behavior) korumalı
- Yalnızca aynı alan adlarına sahip olmalı
- Daha az metot içermeli
- Aynı kurucu parametreleri kullanmalı
Cevabı göster

Üst türün sözleşmesini (behavior) korumalı — alt tür üst türün sözleşmesini korumalı (Liskov substitution).
Subtyping ilişkilerini eşleştir

extends

Kalıtım
implements

Arayüz uygulama
with

Mixin kullanımı
Dog <: Animal

Alt tür örneği

@override annotation

class Dog extends Animal {
  @____
  String speak() => 'Hav';
}

Cevabı göster

class Dog extends Animal {
  @override
  String speak() => 'Hav';
}

Sıradaki ders: Records ve patterns

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler