Cevap.

Bir değişkenin kapsamı (scope), C'de o değişkenin kullanılabilir olduğu kod parçasını tanımlar. Tarihsel olarak, C dilinin ilk sürümlerinden beri, yerel ve küresel kapsamların desteklenmesi, programları yapılandırmayı, değişkenlerin yeniden tanımlanmasından kaynaklanan hata sayısını azaltmayı ve kodun okunabilirliğini artırmayı sağlamıştır.

Sorun: Kapsamın doğru bir şekilde anlaşılmaması ve kullanılması, değişkenlerin yanlışlıkla yeniden tanımlanması, kodun bakım ve ölçeklenebilirlikle ilgili zorluklar ve değişkenlerin belli belirsiz çalışmasıyla ilgili hatalar gibi durumların ortaya çıkmasına neden olabilir.

Çözüm: Farklı kapsamları doğru bir şekilde kullanmak: blok (küme parantezleri içinde), işlev kapsamı, dosya kapsamı (static ile) ve küresel. Bu, bir kod parçasının diğerlerini etkileme olasılığını en aza indirir ve yan etkilerin olasılığını azaltır.

Kod örneği:

int global_var = 10;

void foo() {
    int block_var = 5;
    if (block_var > 3) {
        int inner_var = 2;
        printf("inner_var: %d\n", inner_var);
    }
    // inner_var burada mevcut değil - kendi bloğundan dışarıda
}

Anahtar özellikler:

• Yerel kapsam, değişkeni mevcut blokla sınırlar.
• Küresel değişkenler dosyadaki tüm işlevlerde (veya dosyalar arasında - extern ile tanımlandığında) görünür.
• static değişkenler, tanımlandıkları yere bağlı olarak dosya veya işlevle ile sınırlı bir görünürlük sağlar.

Tuzak Sorular.

Başka bir işlevden yerel bir değişkene işaretçi ile erişmek mümkün mü?

Yalnızca değişkenin adresini döndürmek gerekiyorsa, örneğin bir işlevden yerel bir değişkenin adresini döndürmek, ancak bu, yerel değişkenin belleğinin işlev tamamlandıktan sonra yeniden yazılabileceği nedeniyle tanımsız davranışa yol açar.

Kod örneği:

int* bad_function() {
    int temp = 42;
    return &temp; // tehlikeli!
}

Farklı kapsamlar içinde aynı isimde iki değişken tanımlandığında ne olur?

Gölgeleme (shadowing) kuralı geçerlidir: Tanımlandığı yere yakın olan değişken, bu isimdeki diğer tüm değişkenleri gizler.

Kod örneği:

int value = 100; // küresel
void foo() {
    int value = 10; // yerel, küreseli gizler
}

static belirleyicisinin değişkenin görünürlüğü üzerindeki etkisi nedir?

Eğer static bir değişken işlev içinde kullanılıyorsa, bu değişken yerel olur ve çağrılar arasında değerini korur (kapsam ömrü ve blok görünürlüğü). Eğer küresel bir değişken için static kullanılıyorsa, görünürlük mevcut dosya ile sınırlıdır (file scope).

Tipik Hatalar ve Anti-Desenler

• Gerekmediği halde dosyanın en üstünde değişken tanımlamak (fonksiyon argümanlarıyla geçiş yerine küresel değişkenler).
• Yerel ve küresel değişkenler için aynı isimlerin kullanılması, hata ayıklamayı zorlaştırır.
• Bir işlevden yerel değişkenin adresini döndürmek.

Gerçek Hayattan Örnek

Olumsuz Durum

Büyük bir projede tüm değişkenler küresel olarak tanımlanır. Birisi başka bir işlevden küresel bir değişkeni yanlışlıkla yeniden tanımladığında, program yalnızca belirli bir işlev çağırma sırası ile düzgün çalışmaz.

Artılar:

• Basit sözdizimi, daha az iç içe kod.

Eksiler:

• Çok sayıda gizli hata, işlevler arasındaki değişken etkilerini izlemek mümkün değil.

Olumlu Durum

Her işlev yalnızca yerel değişkenleri kullanır ve gerekli veriler işlev parametreleri aracılığıyla iletilir.

Artılar:

• Yüksek modülerlik, düşük kod bağlanabilirliği, test etmenin kolaylığı.

Eksiler:

• Bazen büyük bir parametre kümesini açıkça geçmek zorunda kalınır, bu da işlevlerin imzasını artırır.