C/C++ Makro-Erweiterung vs. Code-Generierung

Question

Beide Makro-Erweiterung & Code-Generierung haben Profis & Nachteile. Was ist dein Lieblingsansatz und warum? Wann sollten wir eins über das andere wählen? Bitte beraten. Vielen Dank!

Macro Expansion kann sehr praktisch sein & hilfreich: http://dtemplatelib.sourceforge.net/table.htm

vs

Während Codegenerierung Sie viele schöne Code gibt: http://code.google.com/p/protobuf/ http://incubator.apache.org/thrift/

Answer 1

Es ist ein Kompromiss ist abgedeckt werden. Lassen Sie mich ein Beispiel geben. Ich bin ungefähr 1985 auf die Technik von differential execution gestoßen, und ich denke, es ist ein wirklich gutes Werkzeug für die Programmierung von Benutzeroberflächen. Grundsätzlich dauert es einfach strukturierte Programme wie folgt aus:

void Foo(..args..){ 
    x = y; 
    if (..some test..){ 
    Bar(arg1, ...) 
    } 
    while(..another test..){ 
    ... 
    } 
    ... 
} 

und mucks mit der Steuerstruktur wie folgt aus:

void deFoo(..args..){ 
    if (mode & 1){x = y;} 
    {int svmode = mode; if (deIf(..some test..)){ 
    deBar(((mode & 1) arg1 : 0), ...) 
    } mode = svmode;} 
    {int svmode = mode; while(deIf(..another test..)){ 
    ... 
    } mode = svmode;} 
    ... 
} 

nun eine wirklich gute Möglichkeit, dies zu tun gewesen wäre, um einen Parser zu schreiben für C oder was auch immer die Basissprache ist, und gehen Sie dann den Syntaxbaum, um den gewünschten Code zu generieren. (Wenn ich es in Lisp gemacht habe, war dieser Teil einfach.)

Aber wer will einen Parser für C, C++ oder was auch immer schreiben?

Anstatt also, ich habe gerade Makros schreiben, so dass ich den Code so schreiben kann:

void deFoo(..args..){ 
    PROTECT(x = y); 
    IF(..some test..) 
    deBar(PROTECT(arg1), ...) 
    END 
    WHILE(..another test..) 
    ... 
    END 
    ... 
} 

Allerdings, wenn ich dies in C# zu tun, jemand in ihrer Weisheit beschlossen Makros war schlecht, und ich don Ich möchte keinen C# Parser schreiben, also muss ich die Code-Generierung von Hand machen. Das ist ein königlicher Schmerz, aber es ist es immer noch wert, verglichen mit der üblichen Art, diese Dinge zu kodieren.

Answer 2

in C oder C++, Makroerweiterung ist notorisch schwer zu debuggen. Auf der anderen Seite ist das Schreiben eines Codegenerators einfacher zu debuggen, da es ein separates Programm ist.

Sie sollten jedoch beachten, dass dies lediglich eine Einschränkung des C-Präprozessors darstellt. Zum Beispiel in der Lisp-Familie von Sprachen, ist die Makroerweiterung Code-Generierung, sie sind genau das gleiche. Um ein Makro zu schreiben, schreiben Sie ein Programm (in Lisp), um die S-Ausdruck-Eingabe in einen anderen S-Ausdruck umzuwandeln, der dann an den Compiler übergeben wird.

Answer 3

Für C++ bevorzuge ich entweder Vorlage Metaprogrammierung oder Code-Generierung über Makros, aber Makros haben noch ihre Verwendung.

Das Beispiel, das Sie mit dbtemplatelib gegeben haben könnte mit C++ 0x Variadic Templates, mit zusätzlichen Vorteilen wie Typ usw. Überprüfung

Answer 4

Beide haben ihre Probleme. Im Gegensatz zu Makros kann die Codegenerierung lesbaren und debugbaren Code (ist das sogar ein Wort?) Erzeugen, ist aber weniger flexibel und schwieriger zu ändern.