Mutlu Tekin
Mutlu Tekin
← Yazılar

Bölüm 2 — Konu 8: `dynamic` ve `Object` — Ne Zaman Kullanılır, Ne Zaman Kaçınılır

4 dk okuma #dart

Dart'ın Tip Hiyerarşisine Kısa Bir Bakış

Önceki derste var'ın dynamic olmadığını vurgulamıştık. Şimdi bu ikisini ve Object'i netleştirelim. Önce şu gerçeği bilmen gerekiyor: Dart'ta her tip, kök bir tipten türer. Bu köke Object (ya da null safety ile birlikte Object?) denir.

metin
Object?
 ├── Object
 │     ├── num
 │     │    ├── int
 │     │    └── double
 │     ├── String
 │     ├── bool
 │     ├── List
 │     ├── ... (diğer tüm sınıflar)
 │     
 └── Null

dynamic ise bu hiyerarşinin biraz dışında, özel bir role sahip.

Object — "Herhangi Bir Şey Olabilir Ama Tip Güvenli"

dart
void main() {
  Object deger = "Merhaba";
  print(deger); // Merhaba

  deger = 42; // ✅ geçerli, çünkü int de Object'ten türer
  print(deger); // 42
}

Object tipinde bir değişken, herhangi bir tipte değer tutabilir (çünkü her şey zaten Object'ten türer). Ama önemli bir kısıtlama var:

dart
void main() {
  Object deger = "Merhaba Dünya";
  print(deger.toUpperCase()); // ❌ HATA!
}

Bu kod derlenmez! Çünkü Object sınıfının kendisinde toUpperCase() metodu yoktur — o metod String sınıfına özgüdür. Dart, deger değişkeninin statik tipini Object olarak bildiği için, çalışma zamanında içinde gerçekten bir String olduğunu bilse bile, derleme zamanında String'e özgü metodları çağırmana izin vermez.

Bunu kullanabilmek için tip dönüşümü (cast) yapman gerekir:

dart
void main() {
  Object deger = "Merhaba Dünya";
  String metin = deger as String; // açık tip dönüşümü
  print(metin.toUpperCase()); // MERHABA DÜNYA
}

Ya da daha güvenli bir yöntem, is ile kontrol edip Dart'ın otomatik tip daraltmasından (type promotion) faydalanmak:

dart
void main() {
  Object deger = "Merhaba Dünya";
  if (deger is String) {
    print(deger.toUpperCase()); // ✅ artık deger, bu blok içinde String olarak biliniyor
  }
}

dynamic — "Herhangi Bir Şey Olabilir, Tip Kontrolü Kapalı"

dart
void main() {
  dynamic deger = "Merhaba Dünya";
  print(deger.toUpperCase()); // ✅ çalışır! Derleme zamanında kontrol edilmez

  deger = 42;
  print(deger.toUpperCase()); // ❌ Bu sefer RUNTIME HATASI verir! int'te toUpperCase yok
}

dynamic, Object'ten temelde farklı davranır: derleme zamanı tip kontrolünü tamamen kapatır. Bir dynamic değişken üzerinde istediğin metodu çağırabilirsin, derleyici seni durdurmaz — ama eğer o metod, değişkenin o anki gerçek tipinde yoksa, çalışma zamanında (runtime) hata alırsın.

Object ile dynamic Arasındaki Fark — Özet Tablo

Özellik Object dynamic
Herhangi bir değer tutabilir mi? ✅ Evet ✅ Evet
Derleme zamanı tip kontrolü ✅ Var (sadece Object'in kendi metodları çağrılabilir) ❌ Yok (her metod çağrısına izin verilir)
Hatalar ne zaman ortaya çıkar? Derleme zamanında (compile-time) Çalışma zamanında (runtime)
Güvenlik seviyesi Yüksek Düşük

Bu fark kritik önemde. Object kullanırsan, hatalı bir metod çağrısını IDE'de hemen, kodu çalıştırmadan görürsün. dynamic kullanırsan, o hata ancak programı çalıştırdığında (belki de üretim ortamında, kullanıcı o kod yolunu tetiklediğinde) ortaya çıkar.

Ne Zaman Hangisi Kullanılır?

dynamic'ten mümkün olduğunca kaçın. Bu, Dart'ın ve Flutter topluluğunun neredeyse evrensel görüşüdür. dynamic kullanmak, dilin sağladığı en büyük güvenlik ağını (tip güvenliği) devre dışı bırakmak demektir.

dynamic'in meşru olduğu birkaç nadir durum:

  • JSON gibi, tipi baştan bilinmeyen, dışarıdan gelen veriyle çalışırken (geçici olarak — genelde sonra somut bir tipe/modele çevrilir, bunu Bölüm 5'te JSON serialization konusunda göreceğiz)
  • Çok düşük seviyeli, generic olmayan kütüphane kodu yazarken

Object ne zaman kullanılır? Gerçekten "bu değişken farklı tiplerde değer alabilmeli ama yine de tip güvenliğini korumak istiyorum" dediğin durumlarda. Ama pratikte bile bu durumlar azdır — genelde daha iyi bir çözüm generics'tir (Bölüm 9'da işleyeceğiz), çünkü generics hem esneklik hem de tam tip güvenliği sağlar.

Somut Bir Karşılaştırma Örneği

dart
// KÖTÜ pratik — dynamic ile
void yazdirBuyukHarf(dynamic deger) {
  print(deger.toUpperCase()); // deger int gelirse RUNTIME'da patlar
}

void main() {
  yazdirBuyukHarf("merhaba"); // çalışır
  yazdirBuyukHarf(42);        // çalışır gibi görünür ama runtime'da çöker!
}
dart
// İYİ pratik — açık tip ile
void yazdirBuyukHarf(String deger) {
  print(deger.toUpperCase());
}

void main() {
  yazdirBuyukHarf("merhaba"); // çalışır
  yazdirBuyukHarf(42);        // ❌ DERLEME ZAMANINDA hata verir, hiç çalıştırmana bile gerek kalmaz
}

İkinci yaklaşımda, hata çok daha erken (kodu yazarken, IDE üzerinde anında) yakalanıyor. Bu, "fail fast" (erken başarısız ol) prensibinin somut bir örneği — hatayı ne kadar erken yakalarsan, düzeltmesi o kadar ucuz ve kolay olur.

var vs dynamic — Son Bir Netleştirme

dart
void main() {
  var a = "Merhaba"; // statik olarak String'e sabitlenir
  a = 42; // ❌ HATA — derleme zamanında yakalanır

  dynamic b = "Merhaba"; // tip kontrolü kapalı
  b = 42; // ✅ hata vermez, çünkü dynamic her tipi kabul eder
}

Bu, iki dersi birbirine bağlayan önemli nokta: var, tip çıkarımı yapar ve sonucu sabitler (statik tiptir). dynamic ise tip kontrolünü tamamen kapatır (her an her tipe dönüşebilir). Bunlar birbirinden çok farklı araçlardır — var, güvenli ve önerilen bir kısayoldur; dynamic, bilinçli ve nadiren kullanılması gereken bir kaçış kapısıdır.


🎯 Bu Dersten Çıkarılması Gerekenler

  • Dart'ta her tip Object'ten türer (tip hiyerarşisinin köküdür).
  • Object: herhangi bir değer tutabilir ama sadece Object'in kendi metodları derleme zamanında çağrılabilir; spesifik tip metodları için as ile cast veya is ile kontrol gerekir.
  • dynamic: derleme zamanı tip kontrolünü tamamen kapatır, hatalar runtime'a ertelenir.
  • Genel kural: dynamic'ten kaçın, mümkün olduğunca somut tipler veya generics kullan.
  • var ile dynamic çok farklıdır — var tipi sabitler, dynamic tip kontrolünü kapatır.

📝 Ödevler

  • [ ] Object tipinde bir değişkene önce String, sonra int ata; her ikisinde de is kontrolü yaparak tipine özgü bir metod çağır (örn. String ise toUpperCase(), int ise abs()).
  • [ ] dynamic tipinde bir değişken tanımla, ona bilerek yanlış bir metod çağrısı yaptır (örn. bir int'e .toUpperCase() çağır), runtime hatasını oku ve yorumla.
  • [ ] Aynı işlevi gören iki fonksiyon yaz — biri dynamic parametre alsın, diğeri somut bir tip (örn. String) alsın. İkisine de yanlış tipte veri göndermeyi dene, hatanın ne zaman (derleme mi çalışma zamanı mı) ortaya çıktığını karşılaştır.
  • [ ] Object tipinde bir değişkeni as String ile cast edip, cast'in başarısız olduğu bir senaryo (örn. içi aslında int olan bir Object'i String'e cast etmeye çalışmak) yaz ve hatayı gözlemle.

Sıradaki konu: Bölüm 2 — Konu 9: Null Safety Temelleri (?, !, late'e Giriş)