Beim Durchsuchen der Linux-Kernelquellen, die ich gefunden habe ein Stück Code wobei ein in Klammern eingeschlossener Anweisungsblock als Ausdruck behandelt wird a la lispeln (oder ML), das heißt, ein Ausdruck, dessen Wert der Wert der letzten Anweisung ist.
Zum Beispiel:
int a = ({
int i;
int t = 1;
for (i = 2; i<5; i++) {
t*=i;
}
t;
});
Ich habe mir die angeschaut ANSI-C-Grammatik Ich versuche herauszufinden, wie dieses Stück Code in den Parse-Baum passen würde, aber ich war nicht erfolgreich.
Weiß jemand, ob dieses Verhalten vom Standard vorgeschrieben ist oder nur eine Besonderheit von GCC ist?
Aktualisieren: Ich habe es mit dem Flag -pedantic versucht und der Compiler gibt mir jetzt eine Warnung:
warning: ISO C forbids braced-groups within expressions
Dies ist kein Standard-C. Es ist eine gcc-Erweiterung namens Anweisungsausdrücke. Hier finden Sie die vollständige Liste der C-Erweiterungen hier. Dies ist tatsächlich einer der viele gcc-Erweiterungen, die im Linux-Kernel verwendet werden und es scheint so clang unterstützt dies auch und obwohl es im Dokument nicht explizit genannt wird.
Wie Sie beobachtet haben, dient der letzte Ausdruck als Wert des Ausdrucks, das Dokument sagt (Betonung von mir):
Das Das Letzte in der zusammengesetzten Anweisung sollte ein Ausdruck sein, gefolgt von einem Semikolon; der Wert dieses Unterausdrucks dient als Wert des gesamten Konstrukts. (Wenn Sie eine andere Art von Anweisung am Ende der geschweiften Klammern verwenden, hat das Konstrukt den Typ void und somit praktisch keinen Wert.)
Einer der Hauptvorteile wäre zu machen sicher Makros, die mehrfache Auswertungen von Argumenten mit Seiteneffekten vermeiden würden. Das angegebene Beispiel verwendet dieses unsichere Makro:
#define max(a,b) ((a) > (b) ? (a) : (b))
die entweder bewertet a oder b zweimal und kann umgeschrieben werden, um dieses Problem mit folgenden Anweisungsausdrücken zu beseitigen:
#define maxint(a,b) \
({int _a = (a), _b = (b); _a > _b ? _a : _b; })
Beachten Sie, dass Sie explizit verwenden müssen int was mit einem anderen behoben werden kann gcc Verlängerung Art der:
#define max(a,b) \
({ typeof (a) _a = (a), _b = (b); _a > _b ? _a : _b; })
Beachten Sie, dass clang unterstützt auch typeof.
Es heißt “verklammerte Gruppe innerhalb des Ausdrucks”.
Es ist weder in ANSI/ISO C noch in C++ erlaubt, aber gcc unterstützt es.
