La precedenza dell'operatore in C++ differisce per i puntatori e gli iteratori?

Question

Il codice illustra questa differenza:

#include <iostream> 
#include <string> 

int main() 
{ 
     char s[] = "ABCD"; 
     std::string str(s); 

     char *p = s; 
     while(*p) { 
       *p++ = tolower(*p);   // <-- incr after assignment 
     } 
     std::cout << s << std::endl; 

     std::string::iterator it = str.begin(), end = str.end(); 
     while(it != end) { 
       *it++ = tolower(*it);  // <-- incr before assignment ? 
     } 
     std::cout << str << std::endl; 

     return 0; 
} 

produce output:

abcd 
bcd 

se separiamo operazione di assegnazione ed esercente minimo:

while(it != end) { 
    *it = tolower(*it);  // <-- incr before assignment ? 
    it++; 
} 

l'uscita sarà come previsto.

Cosa c'è che non va nel codice originale?

$ g++ --version 
g++ (GCC) 3.4.4 (cygming special, gdc 0.12, using dmd 0.125) 
Copyright (C) 2004 Free Software Foundation, Inc. 

Answer 1

Il problema è che l'ordine di valutazione degli argomenti delle operator= non è specificato. Questo è secondo lo standard C++ 5.2.2/8. Considerare quanto segue:

*it++ = tolower(*it); 

è uguale

operator=(*it++, tolower(*it)); 

Ora *it++ potrebbe essere calcolato prima tolower(*it) e viceversa.

Answer 2

*it++ = tolower(*it); 
*p++ = tolower(*p); 

Entrambe queste linee invocano comportamento indefinito. Non è possibile modificare il valore di una variabile più di una volta in una singola istruzione (++ modifica una volta, operatore = modifica due volte).

Quindi il fatto che si ottengano valori diversi non sorprende.

Answer 3

La grammatica funziona esattamente allo stesso modo per i puntatori e gli iteratori. Le operazioni implicite dagli operatori vengono trasformate in chiamate di funzione per oggetti di tipo classe (come la maggior parte degli iteratori).

Il problema con il codice non è con la precedenza degli operatori, tuttavia, in entrambe queste righe non esiste alcuna sequenza tra l'operazione di incremento e la seconda lettura della stessa variabile che viene incrementata altrove nell'istruzione. Per questo motivo, hai un comportamento non definito in modo da poter vedere qualsiasi comportamento dal tuo programma compresi i risultati che stai vedendo.

*p++ = tolower(*p); 

*it++ = tolower(*it); 

È necessario riformulare questa dichiarazione in un modo in cui è definita la sequenza. Immagino che tu voglia qualcosa come questo.

char c = tolower(*p); 
*p++ = c;