Warum ist das gültig C? --- ({123;}) den Wert 123

Question

Mögliche Duplizieren:
in what versions of c is a block inside parenthesis used to return a value valid?

Das Folgende ist eine typsichere Version eines typischen MAX Makro (dies funktioniert auf gcc 4.4.5):

#define max(a,b) \ 
({ __typeof__ (a) _a = (a); \ 
    __typeof__ (b) _b = (b); \ 
_a > _b ? _a : _b; }) 

Hier sehen wir, dass dieser Ausdruck, max (a, b) gibt das Ergebnis des Ausdrucks

_a > _b ? _a : _b; 

obwohl dieser Ausdruck in einem Block ist. So untersuchte ich, und fand, dass diese gültig C:

int a = ({123;}); // a is 123 

Kann jemand erklären, warum diese gültige Grammatik ist und was das wahre Verhalten ({Anweisungen}) ist? Außerdem werden Sie feststellen, dass {123;} kein gültiger Ausdruck ist, sondern nur ({123;}).

Answer 1

Es ist kein gültiges C99 oder C89 noch C++. Es ist Gcc-Erweiterung, "Statement-Ausdruck" genannt. Um einen C-Code mit gcc zu validieren, fügen Sie die Optionen -ansi -pedantic hinzu. Auch nützliche Optionen sind -W -Wall -Wextra

Docs for-Anweisung Ausdrücke sind hier http://gcc.gnu.org/onlinedocs/gcc/Statement-Exprs.html

Diese Gnu Erweiterung ist in GNU-Code und Linux weit verbreitet, so wird nicht nur vom GCC, sondern auch in der modernen Compilern wie Intel C++ Compiler , Sun Studio, LLVM + Klang, ...