argumentos de la función de paso en

Question

inversa

Aquí está mi función:

void abc(char *def, unsigned int w, unsigned int x, unsigned int y, unsigned int z) 
{ 
    printf("val 1 : %d\n", w); 
    printf("val 2 : %d\n", x); 
    printf("val 3 : %d\n", y); 
    printf("val 4 : %d\n", z); 
} 

y aquí es donde yo llamo esta función:

unsigned int exp[4] = { 1, 2, 3, 4 }; 
unsigned short count = 0; 
abc(anyarray, exp[count++], exp[count++], exp[count++], exp[count++]); 

y aquí está la salida que espero:

val1 : 1 
val2 : 2 
val3 : 3 
val4 : 4 

pero lo que se ve es completamente inversa de la misma:

val1 : 4 
val2 : 3 
val3 : 2 
val4 : 1 

No sé por qué? Cualquier ayuda sería apreciada.

Answer 1

De docs estándar, 5,4

Excepto donde se indique, el orden de evaluación de los operandos de los operadores y subexpresiones de expresiones individuales, y el orden en que los efectos secundarios tienen lugar individuales, es unspecified58) Entre el punto de secuencia anterior y siguiente, un objeto escalar tendrá su valor almacenado modificado como máximo una vez por la evaluación de una expresión. Además, se debe acceder al valor anterior solo para determinar el valor que se almacenará.Los requisitos de este párrafo se cumplirán para cada orden permitida de las subexpresiones de una expresión completa; de lo contrario, el comportamiento no está definido.

Un ejemplo de la propia documentación estándar,

i = v[i ++];// the behavior is undefined

Y es por la misma razón que

abc(anyarray, exp[count++], exp[count++], exp[count++], exp[count++]); no está definido ..

Answer 2

Esto es debido a la convención de llamada. En _cdecl, la convención de llamada predeterminada para los programas c/C++ (según microsoft), los parámetros se pasan en la pila a la función en orden inverso. Debido a esto, los parámetros también se evalúan en orden inverso.

Answer 3

Ha invocado el comportamiento indefinido, modificando count más de una vez sin una intervención sequence point.

Answer 4

No use el operador ++, que operan en la misma variable, más de una vez en el mismo comunicado. El orden en que se realizará la operación no está definido.

Probar:

abc(anyarray, exp[count], exp[count+1], exp[count+2], exp[count+3]); 
count += 4; 

Answer 5

Usted está contando con los parámetros está siendo evaluada, de izquierda a derecha. No puede hacer suposiciones sobre el orden en que se evalúan. En este caso, parece que el compilador los está evaluando de derecha a izquierda.

Además, es posible que desee para buscar puntos de secuencia, ya que puede ser que no se debe utilizar el operador ++ de esta manera.

Answer 6

abc(anyarray, exp[count++], exp[count++], exp[count++], exp[count++]);

El orden de evaluación de los argumentos de abc es no especificado pero la expresión invoca un comportamiento indefinido ya que están tratando de modificar una variable count más de una vez entre dos puntos de secuencia.

Por otra parte el uso de especificador de formato incorrecto en printf() invoca también UB. Asegúrese de haber utilizado los especificadores de formato correctos (es decir, %u para unsigned int) en printf().

Answer 7

lo que tienes Esto porque llamado adb(exp,a,b,c,d) según su problema, pero durante la llamada de la función d se empuja primero en la pila y luego c ,b relativamente. Al pasar el exp[count++] en el último argumento que procesará primero para pasar por encima de la pila, significa que primero se empuja 1, luego 2, luego 3 y 4. Y en la llamada llamada pop realizada se obtiene w=4 x=3 y=2 z=1 eso es todo.