por qué "f = f ++" no es seguro en c?

Question

leí sobre 'efecto secundario' de this website:

pero todavía no entiendo por qué f = f++ considerado inseguro?

¿Alguien puede explicarlo?

Answer 1

El problema es Sequence Points. Hay dos operaciones en esta declaración sin punto de secuencia, por lo que no hay un orden definido para la declaración, ¿está la asignación primero o el incremento?

Nada dice que no es seguro, es sólo indefinido, lo que significa que las diferentes implementaciones pueden tener diferentes resultados o puede formatear el disco duro ...

Answer 2

Usando x y x++ (o ++x) dentro de la misma afirmación es comportamiento indefinido en C. El compilador puede hacer lo que quiera: aumentar x antes de realizar la tarea o después de eso. Tomando el código de Ólafur, podría generar f == 5 o f == 6, dependiendo de su compilador.

Answer 3

El artículo en el (cleaned up) link que proporcionó da la respuesta. "C casi no promete que los efectos secundarios ocurrirán en un orden predecible dentro de una sola expresión". Esto significa que usted no sabe en qué orden aparecerán el = y el ++. Es dependiente del compilador.

Si sigue el enlace de ese artículo al artículo sobre sequence points en el mismo sitio, verá que el compilador puede optimizar qué y cuándo escribe valores de los registros en las variables.

Answer 4

Apoyo la respuesta de Arthur a este respecto. Aunque la implementación del operador de incremento posterior es f ++ es confusa, no se considera insegura. U primero debe entender cómo lo interpreta el compilador. si aumentará f después de encontrar una terminación de oración (;) o inmediatamente después de usar el valor de f.

Answer 5

Desde el standard

6,5 (2) Si un efecto secundario en un objeto de escalar es unsequenced con relación a ya sea un efecto secundario diferente en el mismo objeto escalar o un cálculo de valor usando el valor de la misma escalar objeto, el comportamiento no está definido. Si hay varias ordenaciones permitidas de las subexpresiones de una expresión, el comportamiento no está definido si se produce un efecto de ese lado no secuenciado en cualquiera de los pedidos. ⁷⁴⁾

74) Este párrafo renders expresiones de los estados no definidos como

 
      i = ++i + 1; 
      a[i++] = i; 

al tiempo que permite

 
      i = i + 1; 
      a[i] = i;