Cevap.

Soru tarihçesi:

Yığın belleği tüm temel mimarilerde bulunmaktadır. C dilinde otomatik (yerel) değişkenler yığın üzerinde yerleştirilerek dinamik kuyruk ile karşılaştırıldığında bellek tahsis ve serbest bırakma hızını artırır.

Sorun:

Yığın kullanımı boyut açısından sınırlıdır, otomatik değişkenler bloktan çıkıldığında otomatik olarak yok edilir ve yığın sınırını aşmak (stack overflow) programın çökmesine veya veri bozulmasına neden olur.

Çözüm:

Fonksiyonlar içinde özel bir modifikatör olmadan tanımlanan yerel değişkenler yığın üzerinde yerleştirilir. Bu otomatik depolama alanı, fonksiyona girişte oluşturulur ve çıkışta yok edilir. Yığının boyutu sınırlıdır ve sadece bağlantı/ sistem seçenekleri ile değiştirilebilir.

Kod örneği:

#include <stdio.h>

void foo() {
    int arr[100]; // yığında yerleştirildi
    for (int i = 0; i < 100; ++i) arr[i] = i;
    printf("İlk eleman: %d\n", arr[0]);
} // arr, foo'dan çıkıldığında yok edilir

Ana özellikler:

Yığında değişkenlerle çalışmak çok hızlıdır ve açık bir serbest bırakma gerektirmez.
Yığının boyutu sınırlıdır - büyük nesnelerin yerleştirilmesi çökme ile sonuçlanır.
Yerel değişkenlere kendi görünürlük alanlarının dışından erişmek ciddi bir hatadır.

Tuzağa düşürücü sorular.

Fonksiyondan bir yerel değişkeni adres ile döndürebilir misiniz?

Hayır, çünkü değişken fonksiyondan çıkıldığında yok edilir ve oluşan "askıda kalan işaretçi" belirsiz davranışa yol açar.

int* bad() {
    int x = 42;
    return &x; // hata: döndürülen işaretçi serbest bırakılmış yığını gösteriyor
}

Yığında büyük bir dizi (örneğin, 1 MB) yerleştirmek mümkün mü?

Çoğu sistemde yığın boyutu sınırlıdır (onlarca ile yüzlerce KB arasında). Yığında büyük diziler tanımlamaya çalışmak stack overflow ile sonuçlanır.

Statik ve otomatik değişkenler arasındaki fark nedir?

Statik değişkenler (fonksiyon içinde bile) statik bellek alanında yerleştirilir, çağrılar arasında temizlenmezler, otomatikler ise yığında yer alır ve bloktan çıkıldığında yok edilirler.

Tipik hatalar ve antipatternlar

Fonksiyondan yerel değişkenin adresini döndürmek.
Boyut kontrolü yapılmadan yığında büyük bir nesne tanımlamak.
Başlatılmamış otomatik değişkenlerin kullanımı.

Gerçek hayattan örnek

Olumsuz durum

Hesaplamalar için 8192*1024 double dizisi yığında tahsis edildi. Program, Linux'ta çalıştırıldığında SIGSEGV hatası aldı, ancak hatasız derlenmişti.

Artıları:

Belleği açıkça serbest bırakma gereği yoktur.

Eksileri:

Yığın taşması ve limitin aşılması durumunda çökme.

Olumlu durum

Büyük tamponlarla çalışmak için dinamik bellek tahsisi kullanıldı (malloc/free). Yığında yalnızca küçük çalışma değişkenleri yer aldı.