Cevap.

Konunun Geçmişi:

Assert mekanizması, Java 1.4'te geliştiricilerin kodları içinde mantıksal hataları ve varsayımları teşhis etmek için eklendi. Assert, çalışma zamanında beklenen ve gerçek değerler arasındaki tutarsızlıkları, açık bir thrown istisnası olmadan tespit etmeyi sağladı ve assert desteği kapalı olduğunda uygulamanın nihai sürümüne dahil edilmedi.

Problem:

Normal hata kontrolleri (örneğin, kullanıcı girdisi kontrolleri) yerine assert kullanımının aşırıya kaçması ve çalışma sunucusunda devre dışı bırakılma durumunun anlaşılmaması, hataların gözden kaçmasına neden olabilir.

Çözüm:

Assert, programın düzgün çalışması durumunda ihlal edilmemesi gereken mantıksal invariantlar için yalnızca uygulanır; ancak, ihlal durumunda uygulama kesinlikle hatalı bir şekilde davranır.

Kod örneği:

public int divide(int a, int b) {
    assert b != 0 : "Bölücü sıfır olmamalıdır!";
    return a / b;
}

Anahtar özellikler:

Assert, JVM bayrağı ile devre dışı bırakılabilir (-ea/–da) ve bu durumda tüm assertler yok sayılır
Assert, kullanıcı veya dış verilerin kontrolü için kullanılmamalıdır
Assert'ten sonra gelen mesaj, hata nedenini açıkça iletme olanağı sağlar

Kandırmaca Sorular.

Java programı başlatıldığında assert varsayılan olarak çalışır mı?

Cevap: Hayır, varsayılan olarak assert kapalıdır. Açıkça -ea (enable assertions) bayrağı ile etkinleştirilmelidir.

Assert, üretim kodunda kullanılabilir mi?

Cevap: Tavsiye edilmez, çünkü assertionError basitçe göz ardı edilebilir. Assert yalnızca invariantlar ve test kodu için kullanılabilir.

Assert ile istisna atma arasındaki fark nedir?

Cevap:

Assert, üretim ortamında devre dışı bırakılır, istisnalar yok
Assert, hatanın göstergesidir (invariant ihlal edildi)
Exception, beklenen hataların işlenmesidir

Tipik Hatalar ve Anti-Desenler

Kullanıcı verilerinin geçerliliğinin kontrolü için assert kullanımı
Hatanın düzgün bir şekilde işlenmesi gereken ancak sadece yığını boşaltan kodlar için assert kullanımı

Gerçek Hayat Örneği

Olumsuz Durum

Programcı, kullanıcıların yanlış değerlerle kritik bir hata yaratmasına izin vererek, web uygulamasının veri girişini kontrol etmek için assert kullanır.

Artılar:

Hızlı bir şekilde gerçekleştirilmiştir

Eksiler:

Assert, çalışma sunucusunda kapalı, hatalar görünmüyor, veriler bozuluyor

Olumlu Durum

Assert, algoritmadaki iç invariantlar için yalnızca kullanılır, kullanıcı için tüm kontroller normal istisnalarla gerçekleştirilir.