Forma de evaluación de los operandos de un operador.

[fafafa01]

Buenas, leyendo un libro de C, decía que solo en los operandos de los operadores ("&&","||","?:" y ",") se especifica la evaluacion de un operador.

y por lo tanto en el siguiente ejemplo:

Código (c) [Seleccionar] Expandir


a[i]=i++;


no se sabe si el subindice es el valor antes o después del incremento.

mi duda es: como el operador [] es el de mas alta precedencia la i  seria el valor viejo cualquier sea el compilador con el que se compile.¿ es acertada la conclusion?

si en cambio, el código seria así:

Código (c) [Seleccionar] Expandir


a[i]=(i++);


ahi el subindice si seria el nuevo ya que el operador () esta antes que el []

mi ultima duda:

si un operador unario como cast se pone al lado de una expresión compuesta

Código (c) [Seleccionar] Expandir


(int)(a+b)


que se hace primero:
según el operador (), como la asociatividad es de izquierda a derecha, se ara el cast, pero el operador cast se evalúa de derecha a izquierda

[MAFUS]

Vale, eso son los puntos de secuencia.

Un punto de secuencia marca cuándo una instrucción se ha completado y no va a haber efectos secundarios en posteriores procesos.

Como has dicho el operador de asignación ( = ) no marca un punto de secuencia por lo que el compilador puede elegir arbitrariamente que parte del igual quiere resolver primero. Si es la parte izquierda no pasará nada, se dereferenciará la dirección de la variable a[i] y después pasará a la parte derecha para calcular el valor que debe asignar, por lo que el postincremento no afectará. Pero si primero decide evaluar la parte derecha para saber qué valor debe asignar, al evaluar la parte izquierda i habrá aumentado por el postincremento.

Si buscas más información sobre efectos secundarios y puntos de secuencia (sequence points) verás que la historia es bastante complicada. Basta con que te quedes que no hay que mezclar según que expresiones en una instrucción.

[ivancea96]

http://en.cppreference.com/w/cpp/language/operator_precedence

Esos casos no dan mucho pié a error. Un post-incremento no se ejecuta hasta el final de la instrucción/línea (de forma genérica).

Ese (i++) que pusiste, no es el operator(). "i()" es el operator (), que es como una llamada a función. Rodear unas operaciones con () no es un operador. Simplemente haces que ese bloque se ejecute completo (cuando se necesite) antes de continuar evaluando.

Para probar estas cosas de forma práctica, siempre puedes crear una clase para ello:

Código (cpp) [Seleccionar] Expandir

#include <iostream>

using namespace std;

class Test{
public:
Test operator+(const Test& test){
cout << " +";
}

Test operator++(){
cout << " ++_";
}

Test operator++(int){
cout << " _++";
}

Test operator[](const Test& test){
cout << " []";
}

Test operator=(const Test& test){
cout << " =";
}

operator int(){
cout << " int";
}
};

int main(){
cout << "Order:";

Test a,b;

a[++a] = b++;
cout << endl;

(int)(a+b);
cout << endl;

(int)a+b;
cout << endl;
}