[C] Errore di valutazione

[wino_7]

Salve ragazzi ho scritto un piccolo programmino per testare le mie capacità di debugger :

#include <stdio.h>
int f(int *);

int main()
{
  int v = 5, w, z1, z2;
  z1 = f(&v) && f(&v);
  printf("%d \n", w = z1 + v);
  z2 = (v++) + (v <= w);
  printf("%d \n", z2);
  
  system("PAUSE");    
  return 0;
}

int f(int *x)
{
  printf("%d \n", (*x)--);
  return *x - 1 >= 3;    
} 

Il mio risultato calcolato a mente è:
5
3
1
1

Invece secondo il maestro compilatore è:
5
4
3
3

Non riesco a capire il perchè.

Secondo me l'errore sta in questo comando

return *x - 1 >= 3; 

che a mia intepretazione vuol dire (alla prima chiamata di questa funzione) "4 - 1 (cioè 3) è maggiore o uguale a 3? SI" allora torna 1 a z1, in questo momento 'v' vale 3 o 4 ?

Se vale 3 alla seconda chiamata viene passato 3 a 'f' altrimenti 4 è giusto?

[XWolverineX]

Vale 4, il valore del puntatore non viene modificato.
Per sicurezza aggiungi const all'argomento della funzione f

[oregon]

Vale 4 e solo dopo la seconda chiamata vale 3

[MacApp]

Intravedo un undefined behaviour

  z2 = (v++) + (v <= w); 

Essenzialmente, salvo strambe direttive di compilazione che non conosco, in C/C++ non è definito se debba essere effettuata prima la "v++" o la "v <= w". Insomma decide il compilatore come più gli fa comodo. Soluzione: evitare sempre d'usare espressioni simili.

http://www.gnu.org/software/gcc/bugs.html#nonbugs_c

[wino_7]

Continuo a non capire perchè in questa funzione, nell'espressione *x - 1 non viene decrementata la 'v' che è la variabile puntata da x.

int f(int *x)
{
  printf("%d \n", (*x)--);
  return *x - 1 >= 3;    
} 

[MacApp]

Originariamente inviato da wino_7
Continuo a non capire perchè in questa funzione, nell'espressione *x - 1 non viene decrementata la 'v' che è la variabile puntata da x.

L'espressione "*x -1" non decrementa alcuna variabile: restituisce il valore decrementato della variabile puntata, ma non decrementa la variabile puntata. Son due cose differenti.

[wino_7]

Scusatemi ma non riesco a capire, ho provato a scrivere questo programma di esempio :

#include <stdio.h>
void incremento(int *);

int main(int argc, char *argv[])
{
    int x = 3;
    incremento(&x);
    
    printf("%d \n", x);
  
  system("PAUSE");    
  return 0;
}

void incremento(int *a)
{
  *a += 2;     // qua c'e' la differenza
  return;
} 

e questo :

#include <stdio.h>
void incremento(int *);

int main(int argc, char *argv[])
{
    int x = 3;
    incremento(&x);
    
    printf("%d \n", x);
  
  system("PAUSE");    
  return 0;
}

void incremento(int *a)
{
  a += 2;  // qua c'e' la differenza
  return;
} 

Il primo programma stampa 3 e il secondo stampa 5.

Quindi io se faccio somme o sottrazioni su puntatori allora cambia il valore delle variabili puntate (infatti i puntatori servono a questo), e allora perchè nell'esempio del mio primo posto il comando *x - 1 non decrementa la variabile 'v' ????

[oregon]

Guarda che scrivere

*a += 2;

e

*x - 1

e' molto differente ...

La prima riga equivale a

*a = *a + 2;

e significa che il risultato della parte a destra dell'uguale sara' assegnato alla variabile puntata e scritta a sinistra. Quindi il valore della variabile puntata, effettivamente, cambia.

Nella riga

*x - 1

invece, non c'e' il simbolo = e quindi il risultato dell'operazione NON sarà conservato nella variabile ma semplicemente restituito al chiamante.

[wino_7]

Oddio che sciocco che sono, hai ragione *x - 1 non è un assegnamento.

Quindi diciamo che *x - 1 viene memorizato localmente nella funzione f per fare il confronto e poi viene cancellato all'uscita della funzione?

[oregon]

Originariamente inviato da wino_7
Oddio che sciocco che sono, hai ragione *x - 1 non è un assegnamento.

Esatto ...

Quindi diciamo che *x - 1 viene memorizato localmente nella funzione f per fare il confronto e poi viene cancellato all'uscita della funzione?

Diciamo che viene utilizzato un registro della CPU per il calcolo e poi il registro viene riutilizzato senza problemi ...