¿Las sentencias compuestas (bloques) están rodeadas por expresiones parens en ANSI C?

Question

Navegación por las fuentes del kernel de Linux que he encontrado some piece of code donde un bloque de instrucciones rodeadas por paréntesis se trata como una expresión a la Lisp (o ML), es decir, una expresión cuyo valor es el valor de la última declaración.

Por ejemplo:

int a = ({ 
    int i; 
    int t = 1; 
    for (i = 2; i<5; i++) { 
     t*=i; 
    } 
    t; 
}); 

He estado buscando en la ANSI C grammar tratando de averiguar cómo esta pieza de código encajaría en el árbol de análisis, pero no he tenido éxito.

Entonces, ¿alguien sabe si este comportamiento es obligatorio por la norma o es solo una peculiaridad de GCC?

Actualización: He tratado con la bandera -pedantic y el compilador ahora me da una advertencia:

warning: ISO C forbids braced-groups within expressions 

Answer 1

Se llama "grupo arriostrados dentro de la expresión".

No está permitido por ANSI/ISO C ni C++, pero gcc lo admite.

Answer 2

Esta es una extensión gcc llamada statement expressions, puede encontrar la lista completa de extensiones C here. Este es en realidad uno de los many gcc extensions used in the Linux kernel y parece que clang supports this too y aunque no se menciona explícitamente en el documento.

Como usted observó la última expresión sirve como el valor de la expresión, dice el documento (énfasis mío):

El última hora de la sentencia compuesta debe ser una expresión seguida por un punto y coma ; el valor de esta subexpresión sirve como el valor de la construcción completa. (Si utiliza algún otro tipo de declaración última dentro de las llaves, el constructo tiene tipo vacío, y por lo tanto efectivamente sin valor.)

Uno de los principales beneficios sería hacer seguras macros que evitarían múltiples evaluaciones de argumentos con efectos secundarios. El ejemplo que se utiliza esta macro insegura:

#define max(a,b) ((a) > (b) ? (a) : (b)) 

que evalúa ya sea a o b dos veces y se puede reescribir para eliminar este problema utilizando expresiones de los estados de la siguiente manera:

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

Tenga en cuenta, la necesidad de utilizar de manera explícita int que puede fijo utilizando otro gcc extensión Typeof:

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

Tenga en cuenta que clang also supports typeof.