c_kitap

C ve Sistem Programcıları Derneği - C Ders Notları - Necati Ergin
C derleyicisi bir işlev çağrı ifadesi ile karşılaştığında, işlevin geri dönüş değeri türü
hakkında henüz bilgi edinememişse, söz konusu işlevin geri dönüş değerinin int türden
olduğunu varsayar.
Yukarıdaki örnekte derleyici, get_val işlevinin geri dönüş değerinin int türden olduğunu
varsayar, buna göre kod üretir. Daha sonra derleme akışı işlevin tanımına geldiğinde, bu
kez işlevin geri dönüş değerinin double türünden olduğu görülür. Hedef kod oluşumunu
engelleyen bu çelişkili durumu derleyiciler bir hata iletisi ile bildirir.
[C++ dilinde eğer çağrılan işlev çağıran işlevden daha önce tanımlanmamışsa, işlevin geri dönüş değeri int
türden kabul edilmez. Bu durumda işlev bildiriminin yapılması zorunludur. Bu bildirimin yapılmaması
durumunda derleme zamanında hata oluşur.]
Çağrılan işlevi, çağıran işlevin üstünde tanımlamak her zaman mümkün değildir. Büyük
bir kaynak dosyada onlarca işlev tanımlanabilir. Tanımlanan her işlevin birbirini çağırması
söz konusu olabilir. Bu durumda çağrılacak işlevin çağıran işlevden önce tanımlanması
çok zor olur. Kaldı ki, C dilinde iki işlev birbirini de çağırabilir. Bu, özyinelemeli (recursive)
bir çağrı düzeneğine karşılık gelir. Bu tür bir işlev tasarımında, artık çağrılan işlevin daha
önce tanımlanması mümkün olamaz.
double func1()
{
/***/
func2();
/***/
}
double func2()
{
/***/
func1();
/***/
}
Yukarıdaki işlev tanımlamalarından hangisi daha yukarı yerleştirilirse yerleştirilsin, yine
de çelişkili bir durum söz konusu olur.
Diğer taraftan, çağrılan işlevlerin tanımları çoğu zaman aynı kaynak dosya içinde yer
almaz. Bu durumda derleyicinin çağrılan işlev hakkında bilgi alması nasıl gerçekleşir?
İşlev Bildirimi Nedir
İşlev bildirimi, derleyiciye bir işlev hakkında bilgi veren bir deyimdir. Derleyici, işlev
çağrısına ilişkin kodu buradan aldığı bilgiye göre üretir. Ayrıca derleyici, aldığı bu bilgiyle,
bazı kontroller de yapabilir. Yaptığı kontroller sonucunda hata ya da uyarı iletileri
üreterek olası yanlışlıkları engeller.
İşlev Bildirimlerinin Genel Biçimi
Bir işlev bildiriminin genel biçimi aşağıdaki gibidir:
[geri dönüş değeri türü] ([tür1], [tür2].....);
Örneğin get_val işlevi için bildirim aşağıdaki biçimde yapılabilir:
double get_val(double, double);
Derleyici böyle bir bildirimden aşağıdaki bilgileri elde eder:
1. get_val işlevin geri dönüş değeri double türdendir. Bu bilgiden sonra artık derleyici bu
işlevin çağrılması durumunda geri dönüş değerini int türden varsaymaz, double türden bir
geri dönüş değeri elde edilmesine göre bir kod üretir.
120/529