Makro Yazarken Yaygın Tuzaklar ve Güvenli Kod Pratiği

# Makro Yazarken Yaygın Tuzaklar ve Güvenli Kod Pratiği

C ve C++'da makrolar güçlü ama tehlikeli. Ön işlemci tarafından metin değişikliği yapıldığı için, yanlış yazılan bir makro beklenmedik davranışlara yol açabilir. En sık karşılaşılan sorunları ve çözümlerini görelim.

Makro parametreleri kullanırken parantez koymamak, işlem sırasını bozar:

1// YANLIŞ
2#define SQUARE(x) x * x
3int result = SQUARE(2 + 3); // 2 + 3 * 2 + 3 = 11 (beklenen: 25)
4
5// DOĞRU
6#define SQUARE(x) ((x) * (x))
7int result = SQUARE(2 + 3); // (2 + 3) * (2 + 3) = 25

Her parametreyi ve tüm makro gövdesini parantez içine al.

Makro parametreleri birden fazla kez kullanıldığında, ifadeler tekrar tekrar hesaplanır:

1#define MAX(a, b) ((a) > (b)? (a): (b))
2int x = 5;
3int result = MAX(x++, 10); // x++ iki kez çalışır x = 7 (beklenen: x = 6)

Bu sorunu çözmek için `inline` fonksiyon veya `static inline` kullan:

1static inline int max(int a, int b) {
2return a > b? a: b;
3}
4int x = 5;
5int result = max(x++, 10); // x++ bir kez çalışır x = 6

Makro içinde `return`, `break` veya `continue` kullanmak istenmeyen etkiler yaratabilir:

1// YANLIŞ
2#define CHECK(x) if (!(x)) return -1;
3
4int process() {
5for (int i = 0; i < 10; i++) {
6CHECK(i < 5); // i == 5'de döngü değil fonksiyon çıkar
7}
8return 0;
9}
10
11// DOĞRU - do-while(0) kullan
12#define CHECK(x) do { if (!(x)) return -1; } while(0)

Bu pattern makronun tek bir ifade gibi davranmasını sağlar.

Makrolar derleyici hatasında kaynak satırını gizler. Bunu azaltmak için:

1// Makroyu basit tut
2#define ARRAY_SIZE(arr) (sizeof(arr) / sizeof((arr)[0]))
3
4// Karmaşık işler için fonksiyon yaz
5static inline size_t array_size(const void *arr, size_t elem_size) {
6// Daha okunabilir ve hata ayıklanması kolay
7return sizeof(arr) / elem_size;
8}

1. Her parametreyi parantez içine al: `#define MUL(a, b) ((a) (b))`
2. Tüm makro gövdesini parantez içine al: `#define CALC(x) (((x) + 1) 2)`
3. Yan etkili parametrelerden kaçın: Makro parametresi birden fazla kullanılırsa `inline` fonksiyon tercih et.
4. do-while(0) kullan: Kontrol akışını etkileyecek makrolar için.
5. Makro adlarını BÜYÜK harfle yaz: Makro olduğunu açıkça göster.
6. Gereksiz makroları yazma: Basit işler için `const` veya `inline` kullan.

1// Güvenli makro örneği
2#define SWAP(a, b, type) do { \
3type temp = (a); \
4(a) = (b); \
5(b) = temp; \
6} while(0)
7
8int x = 5, y = 10;
9SWAP(x, y, int);
10// x = 10, y = 5

Makroları akıllıca kullan: gerekli yerlerde güçlüdür, ama fonksiyonlar ve `const` değişkenler daha güvenli seçenektir.