¿La precedencia del operador en C++ difiere para los punteros y los iteradores?

Question

El código siguiente muestra esta diferencia:

#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 una salida:

abcd 
bcd 

si separamos operación de asignación y el operador de la subasta:

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

la salida será el esperado.

¿Qué pasa con el código original?

$ 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

El problema es que el orden de evaluación de los argumentos de operator= está especificado. Esto está de acuerdo con el estándar C++ 5.2.2/8. Considere lo siguiente:

*it++ = tolower(*it); 

es igual a

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

ahora *it++ puede ser calculada antes tolower(*it) y viceversa.

Answer 2

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

Ambas líneas invocar un comportamiento indefinido. No se puede modificar el valor de una variable más de una vez en una sola instrucción (++ modifica una vez, operator = modifica dos veces).

Por lo tanto, el hecho de que obtenga valores diferentes no es sorprendente.

Answer 3

La gramática funciona exactamente igual para punteros e iteradores. Las operaciones implícitas por los operadores se convierten en llamadas a funciones para objetos del tipo de clase (como la mayoría de los iteradores).

El problema con su código no está con la precedencia del operador, en ambas líneas no hay secuencia entre la operación de incremento y la segunda lectura de la misma variable que se incrementa en otra parte de la instrucción. Debido a esto, tiene un comportamiento indefinido por lo que podría ver cualquier comportamiento de su programa, incluidos los resultados que está viendo.

*p++ = tolower(*p); 

*it++ = tolower(*it); 

Debe reformular esta afirmación de forma que se defina la secuencia. Supongo que quieres algo como esto.

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