Cevap.

Konuya Giriş:

C dilinde işaretçi aritmetiği, bellek, diziler ve yapılarla etkin bir şekilde çalışmayı sağlamak için ortaya çıkmıştır. Bu, bellek adreslemesi ile yakından ilişkilidir ve C'nin en düşük düzeyde nasıl çalıştığıyla ilgilidir — bir işaretçiye 1 eklemek veya çıkarmak, dizinin ardışık elemanlarına erişim sağlar.

Sorun:

Ana zorluk, işaretçi aritmetiğinin sayı aritmetiğine eşit olmamasıdır: bir işaretçiye 1 eklemek, işaret ettiği tipin boyutu kadar artırır. Klasik hatalar — ayrılan dizinin sınırlarını aşmak, uyumsuz tipteki işaretçilerle çalışmak ve void * ile hesaplamalar yapma girişimidir.

Çözüm:

Her zaman işaretçi ile çalışırken tipin boyutunu dikkate almak, void* ile cebirsel hesaplamalardan kaçınmak, dizinin sınırlarını kontrol etmek. Dizi elemanına erişmek için endeksleme veya hesaplanan işaretçileri kullanarak sınırları önceden kontrol etmek.

Kod Örneği:

#include <stdio.h>
int main() {
   int arr[5] = {1, 2, 3, 4, 5};
   int *p = arr;
   printf("%d
", *(p + 2)); // 3
   // Geçersiz: p + 10 dizinin sınırlarını aşıyor
   return 0;
}

Anahtar Özellikler:

İşaretçiye ekleme, adresi sizeof(tip) kadar artırır, bir byte değil
Sadece aynı dizinin elemanlarını işaret eden işaretçileri karşılaştırabilirsiniz
Void* ile aritmetik yapılamaz (bazı GNU uzantıları hariç)

Kandırmaca Soruları.

İşaretçiye float tipinden bir değer veya diğer tipteki değişkenler eklenebilir mi?

Hayır, işaretçilere yalnızca tamsayı tipinde değerler eklenip çıkartılabilir. Kayan nokta kullanmak derleme hatasına yol açar.

*(arr + i) ve arr[i] her zaman aynı şeyi döndürür mü, i dizinin sınırlarını aştığında bile?

Hayır. Anlam olarak eşdeğerdirler, ancak indeks dizinin sınırlarını aştığında her iki ifade de belirsiz bir davranışa (undefined behavior) yol açar.

Farklı dizileri işaret eden işaretçilerin çıkartılması durumunda ne olur?

Sonuç, standart tarafından tanımlanmamıştır ve hata olarak kabul edilir. Sadece aynı dizinin (veya tek bir blokta tahsis edilmiş belleğin) işaretçileri arasında çıkarma yapılabilir.

Tipik Hatalar ve Antipatternler

İşaretçilerle çalışırken dizinin sınırlarını aşmak (buffer overrun)
Explicit dönüşüm olmaksızın void* ile arazi yapmak
Zaten serbest bırakılmış belleğe erişim için işaretçilerin kullanılması

Gerçek Yaşamdan Bir Örnek

Yazılım geliştiricisi diziyi gezmek için işaretçi aritmetiği kullanıyor:

Artılar:

Bazı mimarilerde endekslemeden daha hızlı.

Eksiler:

Sınırları kontrol etmeyi unuttu — bellek hasarı (segmentation fault) meydana geldi.

Yeniden yapılandırılmış versiyonda her adımda açık sınır kontrolü kullanılıyor: