Ya que se reavivó el tema, aprovecho para decir que creo que están muy bien las explicaciones que aclaran el por qué de array[indice] == indice[array]
, cuando eso es cierto; bueno, que estoy de acuerdo con casi todas las respuestas.
Pero faltaría añadir que esa igualdad siempre es válida en C pero no siempre en C++; de hecho muchas veces la expresión indice[array]
no tiene sentido, no es una expresión válida (y afortunadamente tampoco compila).
La diferencia está en que en C++ la expresión E1[E2] == *((E1)+(E2))
tiene una condición adicional:
Estándar C++ [8.2.1 Subscripting]
One of the expressions shall be a glvalue of type “array of T ” or a
prvalue of type “pointer to T ” and the other shall be a prvalue of
unscoped enumeration or integral type.
En expresiones compatibles con el C no hay problema, porque siempre una de estas E
xpresiones es siempre un puntero a T
(o decae en puntero a T), pero no necesariamente es siempre así.
Ejemplo. Acá, sobrecargando el operador [] se le da significado a terna[indice]
, pero no es posible hacer indice[terna]
:
struct Mi_terna {
int& operator[](int i) { return n[i]; }
int n[3];
};
int main()
{
Mi_terna terna { 1, 2, 3 };
int indice = 0;
terna[indice] = 9; // bien, invoca Mi_terna::operator[](int)
indice[terna] = 9; // mal, no hay int::operator[](Mi_terna)
}