Erhalten zu viele Argumente, um function-like Makroaufruf Kompilierungsfehler beim Definieren von Lambda innerhalb Assert (assert.h) in Xcode [C++]

Question

Ich verwende Assertion-Makro von assert.h Ich habe definiert Lambda Assertion Überprüfung durchführen.

int val1 = 0; 
int val2 = 1; 

const auto check = [val1,val2]()-> bool 
{ 
    return val1 < val2; 
}; 
// no error for this call 
assert(check() && "Test is failed"); 

// no error for this call 
assert([=]()-> bool 
     { 
      return val1 < val2; 
     }() && "Test is failed"); 

//compile error for this call "too many arguments provided to function-like macro invocation" 
assert([val1,val2]()-> bool 
     { 
      return val1 < val2; 
     }() && "Test is failed"); 

warum ich

zu viele Argumente zur Verfügung gestellt bekommen für den Fall funktionieren ähnliche Makroaufruf

Kompilierungsfehler, wenn ich behaupte, bin mit Makro und definieren Lambda mit mehr als einem Argument in der Aufnahmeliste?

Answer 1

Das Problem ist das Komma in der Erfassungsliste.

Der Präprozessor hat ein extrem begrenztes Verständnis der C++ - Syntax, es macht hauptsächlich triviale Textersetzung. Wenn ein Komma nicht zwischen übereinstimmenden inneren Klammern steht (und natürlich nicht Teil eines Tokens wie ein String-Literal), behandelt der Präprozessor es als Trennzeichen für Argumente des Makroaufrufs.

So denkt der Präprozessor, dass Sie Assert mit den beiden Argumenten [this und den Rest des Materials hinter dem ersten Komma aufrufen, was den Fehler ergibt.

Sie diesen Fehler, indem Sie einen zusätzlichen Satz von Klammern beheben:

int i = -7, j = 7; 
assert(([i,j](){return i + j;}())); 

---

Für die Standard-Liebhaber:

Die Reihenfolge der Vorverarbeitung von außen am weitesten passenden begrenzt Token Klammern bilden die Liste der Argumente für das funktionsähnliche Makro. Die einzelnen Argumente in der Liste werden durch Komma Vorverarbeitungstoken getrennt, aber Kommavorverarbeitungstoken zwischen übereinstimmenden inneren Klammern trennen keine Argumente. Wenn Sequenzen von Vorverarbeitungstoken in der Liste der Argumente enthalten sind, die andernfalls als Vorverarbeitungsdirektiven fungieren würden, 155 ist das Verhalten nicht definiert.

16.3/11 in N4140, Schwerpunkt meiner.

Answer 2

Der Präprozessor ist sehr einfach, er sieht alle Kommas als Argumenttrennzeichen.

Sie können also kein Makro verwenden, wenn Sie irgendetwas mit einem Komma als Argument für das Makro übergeben.