c_kitap

C ve Sistem Programcıları Derneği - C Ders Notları - Necati Ergin
assert Makrosu
assert, program geliştirirken programcının geliştirme süreci içinde bir takım olası
böcekleri farketmesi için kullanılan bir makrodur. C'nin standart başlık dosyalarından
assert.h içinde tanımlanmıştır. assert makrosu, makroya argüman olarak bir ifadenin
verilmesiyle kullanılır. Örneğin:
assert(p != NULL);
Ayraç içindeki ifade, doğru olduğu ya da doğru olması gerektiği düşünülen bir durum
belirtir. assert makrosuna verilen ifadenin sayısal değeri sıfır dışı bir değerse, yani
sınanan önerme doğruysa, assert makrosu hiçbir şey yapmaz. Ancak makro ifadesinin
değeri sıfırsa, yani ifadeye konu önerme mantıksal olarak yanlış ise assert makrosu
standart abort() işlevini çağırarak programı sonlandırır.
abort işlevi tıpkı standart exit() işlevi gibi çağırıldığı zaman programı sonlandırır. Ancak
exit işlevinin yaptığı bir takım geri alma işlemlerini abort işlevi yapmaz. abort işlevi
programı sonlandırdığında stdout akımına "Abnormal program termination" yazısını
basar. assert makrosu başarısız olduğunda abort işlevini çağırmadan önce doğruluğu
sınanan ifadeyi ve assert işleminin hangi dosyada ve satırda olduğu bilgisini ekrana
yazar:
#include
#include
int main()
{
int x, y;
printf("iki sayi giriniz : ");
scanf("%d%d", &x, &y);
assert(y != 0);
printf("%d / %d = %d\n", x, y, x / y);
}
return 0;
Yukarıdaki programı inceleyin. Klavyeden y değişkenine girilen değer 0 ise, assert
makrosuna verilen ifade yanlış olduğundan, program abort işlevinin çağrılmasıyla
sonlandırılır. Programı çalıştırarak, program sonlandırıldığında ekrana basılan yazıyı
inceleyin.
assert, assert.h dosyası içinde aşağıdakine benzer biçimde tanımlanmış bir makrodur.
#ifndefNDEBUG
#define assert(exp)if(!(exp)){fprintf(stderr,"Assertion failed: %s,file
%s, line %d\n",\
#exp, __FILE__, __LINE__);abort();}
#else
#define assert(exp)
#endif
Bu makro şunları yapar:
Eğer programcı assert.h dosyasının içeriğinin boşaltıldığı yerden daha yukarıda olan
kaynak kod alanı içinde NDEBUG simgesel değişmezini tanımlamamışsa bütün assert
makroları yerine kontrol kodları yerleştirilir. Kontrol kodu görüldüğü gibi ifadenin sayısal
değeri sıfır ise abort işlevi ile program sonlandırılır. Eğer programcı assert.h dosyasının
eklenmesinden önce NDEBUG simgesel değişmezini tanımlamış ise görüldüğü gibi bütün
503