Efectos secundarios dentro de un typeof() expresión

Question

En GNUC C, puede usar typeof(expression), y es legal usar una expresión con efectos secundarios dentro. Así, por ejemplo, puede hacer que el código C:

int x = 0; 
typeof(x++) y; 

En este caso, el efecto secundario es ignorado y X sigue siendo cero después (esto tiene sentido ya que los tipos son un tiempo de compilación-único).

Sin embargo, el GCC documentation dice:

El operando de typeof se evalúa por sus efectos secundarios si y sólo si es una expresión de tipo modificado variablemente o el nombre de un tipo tal.

¿Qué significa esta frase? ¿Es realmente posible escribir typeof con un efecto secundario y hacer que el efecto secundario se ejecute realmente en el tiempo de ejecución? Para mí, esta frase parece indicar esto.

Answer 1

Sí, es posible en ciertos casos tener efectos secundarios dentro de typeof evaluados. Como dice la documentación, debe estar dentro de un "tipo modificado variablemente". Este es un tipo que depende de algún valor de tiempo de ejecución, como int[x].

Así que el código siguiente es legal, declara y al ser de tipo int[1], yx tiene el valor 1 después:

int x = 0; 
typeof(int[++x]) y; 

Por supuesto, los tipos por igual a los modificados de forma variable en general, esto sólo es legal para declaraciones de variables locales (función interna).