Makro-rekursive Erweiterung zu einer Sequenz

Question

Kann ein C/C++ - Makro "BUILD(a, i)" definiert werden, das auf "x[0], x[1], x[2], ..., x[i]" erweitert wird? Wie in

#define BUILD(x, 0) x[0] 
#define BUILD(x, 1) x[0], x[1] 
#define BUILD(x, 2) x[0], x[1], x[2] 
... 

Es scheint, BOOST_PP_ENUM_PARAMS könnte den Job machen. Ich nehme an, ich könnte nur Boost hinzufügen, aber ich bin daran interessiert zu wissen, wie und warum es funktioniert, kann jeder erklären?

Ich mag würde eine Funktion f(int, ...) aufzurufen, die Argumente N int nimmt x[i], 0 < = i < N. Wo N bekannt ist ceil(sizeof(A)/sizeof(B)) zu sein. Daher kann ich leider keine Varargs oder Templates verwenden.

Answer 1

Es ist möglich, aber Sie müssen einige manuelle Arbeit tun und haben eine Obergrenze.

#define BUILD0(x) x[0] 
#define BUILD1(x) BUILD0(x), x[1] 
#define BUILD2(x) BUILD1(x), x[2] 
#define BUILD3(x) BUILD2(x), x[3] 
#define BUILD(x, i) BUILD##i(x) 

Und beachten Sie, dass i sollte ein Ganzzahlliteral sein, keine Konstante berechneten Wert.

BTW, der Präprozessor ist leistungsfähiger als was normalerweise ist, aber die Verwendung dieser Macht ist ziemlich schwierig. Boost bietet eine Bibliothek, die einige Dinge erleichtert, einschließlich Iteration. Siehe Boost Preprocessor Library. Es gibt eine andere Bibliothek für solche Dinge, aber der Name entzieht sich mir im Moment.

Bearbeiten: Die Boost Preprocessor-Bibliothek verwendet eine ähnliche Technik. Mit zusätzlichen Tricks, um einige Probleme mit Eckenfehlern zu lösen, teilen Sie Implementierungsmakros zwischen Einrichtungen auf höherer Ebene, umgehen Compilerfehler, etc ... die übliche Boost-Komplexität, die im Kontext einer allgemeinen Bibliothek normal ist, aber zuweilen ein einfaches Verständnis davon verhindert die Umsetzungsprinzipien. Der wahrscheinlich auffälligste Trick besteht darin, eine Indirektionsstufe hinzuzufügen, so dass, wenn der zweite Parameter ein Makro sein kann, dieser erweitert wird. I.e. mit

#define BUILD_(x, i) BUILD##i(x) 
#define BUILD(x, i) BUILD_(x, i) 

kann man den Anruf

#define FOO 42 
BUILD(x, FOO) 

, die mit nicht möglich ist, was ich ausgesetzt.

Answer 2

Nein, es ist nicht - Makros können nicht rekursiv sein. Und die von Ihnen geposteten Makros sind nicht variadisch, was bedeutet, dass "unterschiedliche Anzahlen von Parametern" vorhanden sind.

Answer 3

Ok, Ich hatte das gleiche Problem, Mein Ziel war es, alle Werte eines Arrays von N Bytes mit Makros zu drucken. Ich nehme an, Sie hatten das gleiche Problem. Wenn dies der Fall ist, sollte diese Lösung zukünftigen ähnlichen Problemen gerecht werden.

#define HEX_ARRAY_AS_STR(array, len) \ 
    ({ \ 
     int print_counter = 0; \ 
     print_buf = calloc(len*3+1, 1); \ 
     char *tmp_print_buf = print_buf; \ 
     uint8_t *array_flower = array; \ 
     while(print_counter++ < (len)){ \ 
      sprintf(tmp_print_buf, "%02X ", *(array_flower)++); \ 
      tmp_print_buf += 3; \ 
     } \ 
     print_buf; \ 
    }) 

#define eprintf(...) \ 
    do{ \ 
     char *print_buf; \ 
     printf(__VA_ARGS__); \ 
     if(print_buf) \ 
      free(print_buf); \ 
    }while(0) 

int 
main(int argc, char *argv[]) 
{ 
    uint8_t sample[] = {0,1,2,3,4,5,6,7}; 
    eprintf("%s\n", HEX_ARRAY_AS_STR(sample, 8)); 
    return 0; 
}