C'deki Macros, programcıların sabit hataları tanımlamasına izin veren ön işleme aşamasının güçlü bir özelliğidir ve koşullu derlemeyi gerçekleştirir. Etkili bir şekilde kullanıldığında, ortak kod gerileme ve kullanılabilirliği artırmak, geliştiricilerin daha esnek programları yazmalarına olanak tanır; yanlış makro kullanım ince böcekleri tanıtabilir ve kodlar oluşturmak için kodlar oluşturabilir.Bu makale, makroları en yüksek fayda için nasıl yararlanırken, en iyi uygulamalarla endüstri deneyiminden ve C standarttan çizilir.

Makrolar Nedir?

Makrolar, derlemeden önce C preprocessor tarafından işlenir ve işlem öncesi işlemler yapılır.The preprocessor performs simple text substitution: her makro adın kaynağının makro-likesi ile değiştirilir[Dönemli kodlar için kullanılır).

#define PI 3.14159 // object-like macro
#define SQUARE(x) ((x)*(x)) // function-like macro

Bu işlem öncesi adımı anlamak önemlidir, çünkü makrolar aynı kuralları işlevleri veya değişkenleri takip etmiyorlar.Onlar performans avantajlarını veriyor, aynı zamanda eşsiz zorlukları da tanıtıyor.

Makros'in Kod Yeniden kullanılabilirliği ve Bakım Faydaları

Uygulamalı bir şekilde, makrolar büyük veya performansa duyarlı kodbases'lerde birkaç somut avantaj sağlar:

  • [FONT=0)Komün Reusability): Program boyunca ortak bir hesaplama veya parçalar tanımlayın. her örnek otomatik olarak makro güncelleştirmeleri değiştirin.
  • [FONT=0) Büyü Sayıların Elminasyonu[Dönetici:0) veya [[Döneticileri:0) Bu, onlara anlamlı isimler verir.Bu, okuma kabiliyeti verir ve ayarlı parametrelere dönüşür.
  • [FONT=0)Performance Gains [[Dönetici: İşlev benzeri makrolar bir işlev çağrısının yükünü kaçınır. Küçük, sık sık kullanılan işlemler (örneğin, min/max, kare), makrolar, inlining garanti edilemeyen bazı derleyicilerden daha hızlı olabilir.
  • [FONT:0]Conditional Der[[[Dönetici: 4))[[0], {FONTD:0) ve ►DÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞ
  • [FONT:0)Sigedi Kurulum[[[Dönetici: 1)[[Dönetici:0))[[[FONT][FONT][FONT=0)))[[[[[FONT=0))))))))[[[[[[[[[FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=TRNT=TRNT=TRNT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=TRNT=0))))))))))))))))))))))))

Robust Macros: En İyi Uygulamalar

Makrosiyonun esnekliği de onların tehlikesidir. Kötü yazılmış bir makro, makrolarınızı güvenli ve koruyabilir tutmak için bu en iyi uygulamaları takip etmek zor olan beklenmedik davranışlara neden olabilir.

Her zaman parametreleri ve Entire Expression

Çünkü makrolar metin altkuruları, operatör öncekilüğü onları kırabilir. A makro likeETHFLT:7) 5,8- 9) (bu da 11 değil 25)

#define SQUARE(x) ((x) * (x)) // now SQUARE(3+2) works correctly

Tartışmaların Birden Çok Değerlendirmesinden Kaçınmak

Makro argümanlar as-is. Eğer bir argüman yan etkileri varsa (örneğin, [[Dörtgen: 16) bir kereden daha değerlendirilebilir.

#define MAX(a,b) ((a) > (b) ? (a) : (b))
int x = 5;
int max = MAX(x++, 10); // expands to ((x++) > (10) ? (x++) : (10)) // x incremented twice!

Bunu önlemek için, doğrusal işlevleri tercih etmek veya kullanıcıları uyarmak için dikkatli adlandırma kongrelerini kullanın.Eğer bir makro kullanmak zorundasınız, argümanların yan etkileri içermemesi gerektiğini belge.

Macro Names için üstcase kullanın

Kongreye göre, makrolar üst harf mektuplarında yazılır (örneğin, 03.03.2012). Bu, değişken ve fonksiyonlardan öne çıkar, kazara çarpışmaların şansını azaltır.

Çok Devletli Bloklar için Do- while for Multi-Statement Blocks

Birden çok ifade içeren bir makro tanımlaması, onları bir GÜNDÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜNÜŞÜN

#define LOG_ERROR(msg) do { \
 fprintf(stderr, "Error: %s\n", msg); \
 exit(1); \
} while (0)

Doküman Macros Thoroughly

Makrolar işlevlerin kendi kendini kınayan doğasından yoksundur. Her zaman argümanları, beklenen davranışları ve herhangi bir sınırlamaları tanımlamak için yorum ekleyin. uygun olduğunda Doxygen-style yorumları kullanın.

Gelişmiş Makro Teknikleri

C preprocessor basit altkurunun ötesine geçen güçlü operatörleri sunar. Bu sayede makrolarınızı daha esnek hale getirebilir.

18.

[[Dörtücü bir makro argümanı bir dize gerçekliğe dönüştürür. Bu, caval veya oturum için kullanışlıdır:

#define PRINT_VAR(x) printf(#x " = %d\n", x)
int value = 42;
PRINT_VAR(value); // prints: value = 42

(Resulüm)

[FONT=FONT] operatör, iki jetonları tek bir token bir araya getirir.Bu, tanımlayıcıları derleme zamanında dinamik yaratmanıza olanak sağlar:

#define CREATE_VAR(prefix, index) prefix ## index
int CREATE_VAR(arr, 0) = 10; // becomes int arr0 = 10;

Token pasting X makros'ta yaygın olarak kullanılır ve tekrarlanan kod kalıpları oluşturmak için kullanılır.

Variadic Macros (C99)

C99'da tanıtılmış, variadik makrolar, [[DÜDÜŞÜN İÇİNDEŞİREZİREZİREZİREZİREZİREZİREZİREZİREZİREZİREZİREZİREZİREZİREZİREZİREZİREZİREZİREZİREZİREZİRELER: Bu, esnek oturum açma ve silme makroları sağlar:

#define DEBUG_PRINT(fmt, ...) \
 fprintf(stderr, "DEBUG: " fmt, __VA_ARGS__)
DEBUG_PRINT("x = %d, y = %d", x, y);

C11 ve daha sonra, boş tartışmalarda komünlerin izlenmesi, liman edilebilirliğinin iyileştirilmesi için “Ücretsiz” kullanılmaktadır.

Ortak Pitfalls ve Them'dan Nasıl Kaçırmak

C geliştiricileri makro ile ilgili böceklerle karşılaşmayı bile deneyimledi. Bu tuzakları erken engeller baş ağrısı.

  • [FONT:0) Yarı sömürgeler veya parantezler[Döneticiler)[*): Bir iz bırakmadan bir bloka genişleten bir makro, sözel hatalarına neden olabilir.
  • [FONT=0)Operator önceki sürprizler[[Dönetici: Her zaman ebeveynlik – yukarıda belirtildiği gibi.
  • [FONT:0] İşlevlerle makroları cezalandırır[Dönetici: Standart bir kütüphane işlevi olarak aynı adı tanımlamışsanız, benzersiz bir isim veya #undef kullanın.
  • [FONT:0]Non-constant ilkizerler[Dönetici: Object benzeri makrolar sabit olarak kullanılır, ancak sabit ifadelerde kullanılabilirler, ancak genişlemenin kendisi sabit bir ifade ise kullanılabilirler.
  • [FONT=0)Debugging zorluk [[Dönetici: Macros onları görmeden önce genişletilir, bu nedenle hata mesajları, genişletilmiş koda atıfta bulunur, makro adı kullanmaz.GCC veya Clang ile bayrak kullanın (e.g., 03.03.2012).

Macros'a Alternatifler: Kont, enum ve Inline Functions

Modern C, makrolar için ihtiyaçlarını sık sık ortadan kaldıran daha güvenli alternatifler sunar:

  • [FONT:0][FLT: 15) değişkenler : C90) C99 ve daha sonra, değişkenin gerçekten sabit olup olmadığının dizi boyutları için kullanılabilir.
  • [FONT:0]: İlgili tam tamsa sabitler için, enumlar tipi güvenli ve otomatik olarak değerler aranmaktadır.
  • [FONT:0)Inline işlevleri[Döneticiler[Döneticiler[Dönler: C99, 03:35) fonksiyonlarda, tam tür güvenlik, debugging desteği ve yan etkilerden kaçınma sağlar. Örneğin:
static inline int square(int x) {
 return x * x;
}

Doğruları tam olarak değerlendiren bir işlev benzeri makroa ihtiyacınız olduğunda, fonksiyon benzeri makrolar için kalan tek durum, türlerde (örneğin GNU C) veya yeni bir kapsamı açma yeteneğine ihtiyacınız olduğundadır (her zaman deyim gibi).

Gerçek Dünya Örnekleri: Debugging ve Yapılandırma

Macros, koşullu senaryolarda öne çıkıyor. İşte iki pratik uygulama:

Debug, Compile-Time Control ile birlikte

#ifdef DEBUG
 #define LOG(fmt, ...) fprintf(stderr, "[DEBUG] " fmt, ##__VA_ARGS__)
#else
 #define LOG(fmt, ...) /* no-op */
#endif

Bu makro loglar sadece İLDİĞİ ile derlenen zaman ve boş makro, serbest dolaşımda sıfır bir yüke neden olur. ”ŞUygunluk öncesi: 15. ayette, hiçbir tartışmanın yapıldığı zaman, izin verilen bir GNU uzatmasıdır (C20.D).

Platform-Specific Code

#if defined(_WIN32) || defined(_WIN64)
 #define PLATFORM "Windows"
#elif defined(__linux__)
 #define PLATFORM "Linux"
#else
 #define PLATFORM "Unknown"
#endif

Bu model, tüm işlevleri açığa çıkarmadan platform bağımlıdır. İZFLT:43 ile Kombine monte edilir, başlıkları temiz ve koruyabilir.

Sonuç Sonuç Sonuç Sonuç Sonuç Sonuç Sonuç Sonuç

Makrolar C kod yeniden kullanılabilirliği ve bakımı için vazgeçilmez bir araç olarak kalır, özellikle performans-kahktik veya gömülü ortamlarda her döngünün doğru şekilde kullanıldığı yerde - uygun ebeveynlikleri, sınırlı yan etkiler ve uygun adlandırmalar - onlar ürper ve merkezi yapılandırma. ancak, modern C'deki trend genellikle doğrusal fonksiyonlar veya genel olarak makrolar yerine getirmektir (C11), C11) tür güvenlik ve debuggability kazanmak için.

Geleneksel makro gücü bu daha güvenli alternatiflerle dengelemek için, hem verimli hem de sağlam olan C kodu yazabilirsiniz.Daha fazla okuma için, [[GNU C Preprocessor Manual) ve [[Dönem:2C referansı makros) ile de bu şekilde kaplıdır.