Ünitenin tamamını tek sayfada görPremium
Exception handling, programın çalışma zamanında (runtime) meydana gelen beklenmedik durumları yönetmek için kullanılan kritik bir mekanizmadır. Yazılım dünyasında 'exception' (istisna), programın normal akışını bozan ve genellikle nadiren meydana gelen hatalı durumları ifade eder. Bu mekanizma, programın hata anında aniden çökmesini engellemek yerine, kontrollü bir şekilde tepki vermesini sağlar.
İstisna yönetimi, programın hata toleransını (fault tolerance) ve sağlamlığını (robustness) artırır. Geleneksel hata yönetimi yöntemlerinde, her fonksiyonun içine yerleştirilen karmaşık 'if-else' blokları kodun okunabilirliğini düşürürken, exception handling bu hata kontrol kodlarını ana iş mantığından ayırarak kodun daha temiz ve yönetilebilir olmasını sağlar.
Bir istisna meydana geldiğinde program üç farklı yolla tepki verebilir: Programın çalışmasına devam etmesini sağlamak, kullanıcıyı hata hakkında bilgilendirmek veya programı kontrollü bir şekilde sonlandırmak. Bu esneklik, geliştiricilere hataları merkezi bir noktada yönetme imkanı tanır.
Try-catch yapısı, istisna yönetiminin temelini oluşturan iki ana bloktan oluşur. 'Try' bloğu, içerisinde istisna oluşturma potansiyeli olan kodların yerleştirildiği bölümdür. Bir try bloğu tanımlandığında, program bu blok içerisindeki ifadeleri çalıştırır; eğer bir hata oluşursa, o noktadan sonraki ifadeler atlanır ve kontrol ilgili 'catch' bloğuna geçer.
Catch blokları, try bloğunun hemen arkasından gelir ve belirli hata türlerini yakalamak için kullanılır. Bir try bloğuna bağlı birden fazla catch handler (yakalayıcı) tanımlanabilir. Her catch bloğu, parantez içinde belirli bir istisna parametresi alır; eğer try bloğunda fırlatılan hata, catch bloğunun beklediği parametre türüyle eşleşirse, ilgili blok çalıştırılır.
Bazen bir catch bloğu, hatayı tamamen çözmek için yeterli bilgiye sahip olmayabilir veya hatayı kısmen işleyip üst katmanlara iletmek isteyebilir. Bu durumda 'rethrowing' (tekrar fırlatma) mekanizması kullanılır. Boş bir 'throw;' ifadesi kullanılarak, yakalanan istisna bir üst seviyedeki try-catch bloğuna devredilir, böylece hata yönetimi hiyerarşik bir şekilde devam eder.
Stack unwinding, fırlatılan bir istisnanın o anki kapsamda (scope) yakalanamadığı durumlarda devreye giren otomatik bir süreçtir. Program, hatayı yakalayacak bir catch bloğu bulana kadar çağrı yığınını (call stack) geriye doğru taramaya başlar.
Bu süreçte, istisnanın meydana geldiği fonksiyon sonlandırılır ve o fonksiyonun kapsamındaki tüm yerel değişkenler (local variables) yok edilir. Program kontrolü, fonksiyonun çağrıldığı bir önceki noktaya geri döner. Bu işlem, uygun bir catch bloğu bulunana veya program sonlanana kadar devam eder.
Stack unwinding, kaynakların düzgün bir şekilde temizlenmesini sağlaması açısından önemlidir. Eğer hata en dıştaki try-catch bloklarında dahi yakalanamazsa, programın kontrolsüz bir şekilde sonlanması kaçınılmaz olur. Bu nedenle, kritik işlemlerin uygun try-catch blokları ile çevrelenmesi, yazılımın kararlılığı için hayati bir öneme sahiptir.