[C/C++] Indicizzazione puntatori

[RooccoXXI]

Come mai il codice

arrayPtr[i]

equivale alla notazione puntatore/offset

*(arrayPtr + i)

?

[MItaly]

Perché lo dice lo standard (C++03 §5.2.1 ¶1, C99 §6.5.2.1 ¶ 2). È come chiedere "perché se a-b=c allora b+c=a": perché è questa la definizione stessa differenza.

C++
A postfix expression followed by an expression in square brackets is a postfix expression. One of the expressions shall have the type “pointer to T” and the other shall have enumeration or integral type. The result is an lvalue of type “T.” The type “T” shall be a completely-defined object type. The expression E1[E2] is identical (by definition) to *((E1)+(E2)). [Note: see 5.3 and 5.7 for details of * and + and 8.3.4 for details of arrays. ]

C
A postfix expression followed by an expression in square brackets [] is a subscripted designation of an element of an array object. The definition of the subscript operator [] is that E1[E2] is identical to (*((E1)+(E2))). Because of the conversion rules that apply to the binary + operator, if E1 is an array object (equivalently, a pointer to the initial element of an array object) and E2 is an integer, E1[E2] designates the E2-th element of E1 (counting from zero).

Tra l'altro, il fatto che valga questa definizione per l'operatore [] con uno qualunque degli operandi interi e l'altro puntatore consente di scrivere espressioni apparentemente assurde come:

int arr[10];
cin>>arr[1];
cout<<1[arr]; // stampa il numero appena inserito

infatti

arr[1] = *(arr + 1) = *(1 + arr) = 1[arr]

dato che anche nelle somme con puntatori vale la proprietà commutativa.

[RooccoXXI]

Originariamente inviato da MItaly
Tra l'altro, il fatto che valga questa definizione per l'operatore [] con uno qualunque degli operandi interi e l'altro puntatore consente di scrivere espressioni apparentemente assurde come:

int arr[10];
cin>>arr[1];
cout<<1[arr]; // stampa il numero appena inserito

infatti

arr[1] = *(arr + 1) = *(1 + arr) = 1[arr]

dato che anche nelle somme con puntatori vale la proprietà commutativa.

Queste espressioni assurde (non solo apparentemente, ma anche psicologicamente!xD) erano proprio il tassello mancante nelle mie conoscenze! Grazie dei chiarimenti!

[MItaly]

Di niente, ciao!