Önişlemci jetonu genişletme

Question

Önişlemcinin nasıl çalıştığına dair zihinsel modelim görünüşte eksiktir ve bu beni çıldırtıyor.

İki belirteç birleştirmek istiyorum, ancak ikinci belirteci önce genişletilmelidir. İşte

#define ANSWER 42 

#define FOO foo_ ## ANSWER 

, FOOfoo_ANSWER genişler, ama foo_42 olmak istiyorum. Bu yüzden bu şekilde birleştirme önce argümanlar artıracağı umuduyla bir MERGE makro tanımlamak:

#define MERGE(x, y) x ## y 

#define BAR MERGE(bar_, ANSWER) 

Ama BAR hala bar_ANSWER yerine bar_42 genişler.

#define HELPER(x, y) MERGE(x, y) 

#define BAZ HELPER(baz_, ANSWER) 

Ve şimdi BAZ başarıyla baz_42 şekilde genişletilir: Ben başka makro HELPER tanımlar. Şu anda bu bana sihir gibi geliyor.

Bu davranışı bana açıklayan var mı? Genişleme kuralları tam olarak nasıl çalışır?

Answer 1

sorunuzun here cevabını okuyun:

Sorun şu ki sen makro değiştirme, ön işlemci varken sadece makroları yinelemeli eğer stringizing operatör # ne de jetonu genişleyecektir olduğunu operatörü ## uygulanır. Yani, birleştirme [ref] gerçekleştirirken makro genişletmek etmeyen bir yinelemeli genişletilmiş argüman

Answer 2

Jetonu birleştirme ile belirteç yapıştırma operatörünü kullanabilirsiniz, dolaylama bazı ekstra katmanları kullanmak zorunda .

Bunu aşmak için, bir indirgeme düzeyi kullanırsınız ve birleştirme işleminden önce makroları genişletmek için önişlemciyi alırsınız.

#define STEP1(x, y) STEP2(x, y) // x and y will be expanded before the call to STEP2 
#define STEP2(x, y) x ## y   // x and y will not be expanded, just pasted