Können Makros überlastet werden durch die Anzahl der Argumente?

Ich würde diesen post als Kommentar zu Potatoswatter post, aber es ist zu lange und erfordert ein code-listing.

Hier ist ein bisschen perl-code für das generieren einer Reihe von Makros, die gemeint sind, zu überladen Makros.

$ perl -le 'map{
        $arity = $_; map {
                $ar = 2 + $arity + $_; $arm = $ar - 1; $arlist = join("", map{"A$_, "} 1..$arity); $warlist = "WHAT, $arlist";
                @li = map {"_$_"} 0..$_; $lis = join(", ", @li); $lim = pop @li; $lims = join(", ", @li);
                print "#define FEI_${arity}A_$ar($warlist$lis) FEI_${arity}A_$arm($warlist$lims) WHAT($_, $arlist$lim)"
        } 1..3; print ""
} 0..4'

Hier ist die Ausgabe des Skripts:

#define FEI_0A_3(WHAT, _0, _1) FEI_0A_2(WHAT, _0) WHAT(1, _1)
#define FEI_0A_4(WHAT, _0, _1, _2) FEI_0A_3(WHAT, _0, _1) WHAT(2, _2)
#define FEI_0A_5(WHAT, _0, _1, _2, _3) FEI_0A_4(WHAT, _0, _1, _2) WHAT(3, _3)

#define FEI_1A_4(WHAT, A1, _0, _1) FEI_1A_3(WHAT, A1, _0) WHAT(1, A1, _1)
#define FEI_1A_5(WHAT, A1, _0, _1, _2) FEI_1A_4(WHAT, A1, _0, _1) WHAT(2, A1, _2)
#define FEI_1A_6(WHAT, A1, _0, _1, _2, _3) FEI_1A_5(WHAT, A1, _0, _1, _2) WHAT(3, A1, _3)

#define FEI_2A_5(WHAT, A1, A2, _0, _1) FEI_2A_4(WHAT, A1, A2, _0) WHAT(1, A1, A2, _1)
#define FEI_2A_6(WHAT, A1, A2, _0, _1, _2) FEI_2A_5(WHAT, A1, A2, _0, _1) WHAT(2, A1, A2, _2)
#define FEI_2A_7(WHAT, A1, A2, _0, _1, _2, _3) FEI_2A_6(WHAT, A1, A2, _0, _1, _2) WHAT(3, A1, A2, _3)

#define FEI_3A_6(WHAT, A1, A2, A3, _0, _1) FEI_3A_5(WHAT, A1, A2, A3, _0) WHAT(1, A1, A2, A3, _1)
#define FEI_3A_7(WHAT, A1, A2, A3, _0, _1, _2) FEI_3A_6(WHAT, A1, A2, A3, _0, _1) WHAT(2, A1, A2, A3, _2)
#define FEI_3A_8(WHAT, A1, A2, A3, _0, _1, _2, _3) FEI_3A_7(WHAT, A1, A2, A3, _0, _1, _2) WHAT(3, A1, A2, A3, _3)

#define FEI_4A_7(WHAT, A1, A2, A3, A4, _0, _1) FEI_4A_6(WHAT, A1, A2, A3, A4, _0) WHAT(1, A1, A2, A3, A4, _1)
#define FEI_4A_8(WHAT, A1, A2, A3, A4, _0, _1, _2) FEI_4A_7(WHAT, A1, A2, A3, A4, _0, _1) WHAT(2, A1, A2, A3, A4, _2)
#define FEI_4A_9(WHAT, A1, A2, A3, A4, _0, _1, _2, _3) FEI_4A_8(WHAT, A1, A2, A3, A4, _0, _1, _2) WHAT(3, A1, A2, A3, A4, _3)

Diese sind die (regelmäßig strukturierte Abschnitte von) Gruppen von makro-überlastungen, die verwendet werden, für die Erzeugung von FOR_EACH (ein.k.ein. FE) Makros, die können versenden Sie ein WHAT makro Optional mit einer beliebigen Anzahl von Konstanten Argumenten (A1, A2...) neben eine beliebige Anzahl von Argumenten in einer Liste, zusammen mit einem index in die richtige Reihenfolge (eine naive Implementierung ohne Verwendung von so etwas wie SELECT für überlastung ergeben würde Umgekehrt Indizes).

Als Beispiel, der Letzte Abschnitt (der befristete Arbeitsplätze "base-case" - Teil des zweiten Blocks) sieht wie folgt aus:

#define FE_INDEXED_1ARG(...) VA_SELECT(FEI_1A, __VA_ARGS__)
#define FEI_1A_3(WHAT, A1, _0) WHAT(0, A1, _0)

Die Nützlichkeit dieser kann vielleicht in Frage gestellt (ich habe es gebaut, weil ich sah eine Verwendung für Sie...), und auch nicht, dass diese Antwort die OP ' s Frage direkt (in der Tat, es irgendwie das Gegenteil ist der Fall -- ein foreach-Konstrukt wird die gleichen Sache für alle variadic Argumente...), aber ich dachte nur, dass die Technik ist ziemlich interessant (wie auch äußerst erschreckend in gewisser Weise) und ermöglicht eine Recht ausdrucksstarke Leistung mit dem Präprozessor und es wird möglich sein, erzeugen sehr effizienten Maschinencode in dieser Art und Weise. Ich denke, es dient auch als ein ergreifendes Beispiel dafür, warum ich persönlich denke, dass der C-Präprozessor-der hat immer noch Raum für Verbesserungen.

Damit meine ich, dass der C-Präprozessor ist ein absolutes Greuel, und wir sollten wohl verschrotten und von vorne anfangen 🙂

Obwohl es schon beantwortet, ich habe bereit eine sehr kurze version. Hoffe es kann helfen.

Umsetzung

//Variable Argument Macro (VA_MACRO) upto 6 arguments
#define NUM_ARGS_(_1, _2, _3, _4, _5, _6, TOTAL, ...) TOTAL
#define NUM_ARGS(...) NUM_ARGS_(__VA_ARGS__, 6, 5, 4, 3, 2, 1)

#define CONCATE_(X, Y) X##Y  //Fixed the double '_' from previous code
#define CONCATE(MACRO, NUMBER) CONCATE_(MACRO, NUMBER)
#define VA_MACRO(MACRO, ...) CONCATE(MACRO, NUM_ARGS(__VA_ARGS__))(__VA_ARGS__)

Anpassung

//This is how user may define own set of variadic macros
#define MY_MACRO(...) VA_MACRO(MY_MACRO, __VA_ARGS__)
#define MY_MACRO1(_1) "One"
#define MY_MACRO2(_1, _2) "Two"
#define MY_MACRO3(_1, _2, _3) "Three"

Nutzung

//While using those, user needs to use only the main macro
int main ()
{
  auto one = MY_MACRO(1);
  auto two = MY_MACRO(1, 2); 
  auto three = MY_MACRO(1, 2, 3); 
}