Program örneklerinde hep assert kullanmıştık ve kullanıyoruz...

Ben onun yerine std.contracts modülündeki enforce'un kullanıldığını da görüyorum. assert ile hemen hemen aynı anlama geliyor ve aynı şekilde kullanılıyor.

Burada "kanunu uygulamak, mecbur bırakmak" gibi bir anlama geliyor. Amaca assert'ten biraz daha uygun; çünkü assert'ün "üzerine basarak belirtmek" gibi bir anlamı var.

Alexandrescu forumda şaka olarak "enforce'u öğrenmek için kitabı okuyun" demiş. Phobos'ta her tarafta da bol bol kullanılıyor.

assert'ten benim gördüğüm bir temel farkı var:

assert'ün attığı 'core.exception.AssertError' yerine, 'object.Exception' atıyor. Sanırım böylece Exception'ı yakalayan yerler onu da yakalayabiliyorlar. Programlarda atılan diğer hatalardan ayrı bir sıra düzende duran 'core.exception.AssertError''ın 'catch' ile ayrıca yakalanması gerekmemiş oluyor. (Denedim: gerçekten de enforce hataları 'catch (Exception)' bloklarıyla yakalanabiliyor; assert hataları ise yakalanamıyor.)

import std.contracts;

double hesap_enforce_ile(double a, double b)
in
{
   enforce(b != 0, "sıfıra bölme hatası");
}
body
{
   return a * 7 / b;
}

void main()
{
   hesap_enforce_ile(1, 0);
}

Tabii ki yalnızca in, out, ve invariant bloklarında değil; her yerde de kullanılabiliyor.

Ali

--
[ Bu gönderi, http://ddili.org/forum'dan dönüştürülmüştür. ]

Belki assert programın oluşturacağı hataları denetlemek için kullanmalıyız. Çünkü zaten program hataları kesinlikle doğru olması gereken şeylerin doğru olmama sonucunda ortaya çıkar.

enforce ise daha çok girişten verilen yanlış bilgiler nedeniyle program hata verirse kullanılmalı.

Ben kendi adıma böyle anladım.

Ama assert yerine enforce çok mu gerekli bence hayır. Özellikle :

if (toplam < 0) {
   throw new Exception("toplam eksi olamaz");
}

böyle bir kullanımda varken gereksiz.

--
[ Bu gönderi, http://ddili.org/forum'dan dönüştürülmüştür. ]

assert test icin kullanilmiyor mu?

--
[ Bu gönderi, http://ddili.org/forum'dan dönüştürülmüştür. ]

Alıntı:

unittestin içinde yazmak şart değil. assert'de D'nin normal anahtar sözcüklerinden biri. Ama unittest ile birleşimi ile çok daha iyi oluyor.

--
[ Bu gönderi, http://ddili.org/forum'dan dönüştürülmüştür. ]

enforce'u "koşul geçersizse hata at"ın kısaltması olarak düşünmek daha doğru. assert'ün de hata atıyor olması ikisini birbirine karıştırmamalı.

if (toplam < 0) {
   throw new Exception("toplam eksi olamaz");
}

yerine:

enforce(toplam >= 0, "toplam eksi olamaz");

assert ise programda kesinlikle doğru olması gereken koşullar için kullanılmalı. Çok yakın kavramlar aslında... :/

Ali

--
[ Bu gönderi, http://ddili.org/forum'dan dönüştürülmüştür. ]

Alıntı (canalpay):

Ben de öyle anlıyorum.

Başka bir farkları: assert'ler, -release derleyici seçeneği ile derleyince programa dahil edilmiyorlar. enforce ise programa her zaman için dahil ediliyor.

Ali

--
[ Bu gönderi, http://ddili.org/forum'dan dönüştürülmüştür. ]

Alıntı (Mengu):

C'den beri hep "kesinlikle doğrudur" şeklindeki denetimler içindi. Sanırım NDEBUG makrosu tanımlandığında, yani programın release hali oluşturulurken, assert'ler programdan çıkartılırlardı.

Bunlar D'de de geçerli.

D'de assert'ler ayrıca in, out, ve invariant bloklarında sözleşmeli programlama (contracts) için; ve unittest bloklarında birim testleri için.

Özellikle programdan çıkartılabiliyor olmaları nedeniyle her duruma zaten uygun değiller. Phobos'ta gördüğüm kadarıyla, işlevlerin programdan çıkartılmamaları gereken sözleşmeleri için de kullanılıyor.

class BağlıListe
{
   void baştakiniSil()
   {
       enforce(elemanAdedi > 0);
       // ...
   }
}

Orada, işlevin devam edebilmesi için listede eleman olması gerekir. Orada assert kullanmak, assert'ün o bir sürü anlamı nedeniyle doğru gelmiyor.

Benim daha da anladığım bu... :)

Ali

--
[ Bu gönderi, http://ddili.org/forum'dan dönüştürülmüştür. ]

Walter Bright'ın bir forum yazısından çeviriyorum:

Alıntı:

Ali

--
[ Bu gönderi, http://ddili.org/forum'dan dönüştürülmüştür. ]