Indice matematico puntatore vs. matrice

Question

So che è stato eseguito un hash per un certo numero di volte, ma oggi mi sono imbattuto in un caso che ha sciolto la mia comprensione dell'indice matematico/indice del puntatore.

Come ho sempre capito, & mybuff [10] e (& mybuff + 10) sono modi equivalenti di referenziamento della stessa memoria.

Comunque ho passato la mattina a combattere un caso in cui:

memcpy(&mybuff+10,&in,8); 

overflow del buffer, quando viene compilato con l'ottimizzazione on e ha lavorato bene quando compilato per il debug.

Mentre athe stesso tempo,

memcpy(&mybuff[10],&in,8); 

lavorato bene in entrambi i casi.

Mille grazie per qualsiasi idea o suggerimento.

Answer 1

vedere http://cplusplus.com/doc/tutorial/operators/ per ordine di priorità degli operatori
&mybuff+10 come (&mybuff)+10
&mybuff[10] come &(mybuff[10])

Modifica
anche alcune indicazioni http://cplusplus.com/doc/tutorial/pointers/

Answer 2

La sintassi corretta è non mybuff+10&mybuff+10 che dice spostarsi posiziona 10 nell'array e copia 8 byte (per te r dichiarazione memcpy). Non è ancora noto se si possano effettivamente contenere altri 8 byte.

Answer 3

Penso che tu abbia qualche problema con il puntatore.
Se mybuff è un puntatore, quindi mybuff + 10 == &(mybuff[10]).
Non è lo stesso di &mybuff + 10 come se ci fosse.

Answer 4

mi invento una dichiarazione di mybuff per il bene di questo esempio:

char mybuff[123]; 

Ora, &mybuff+10 fa puntatore arithmic su &mybuff, che ha il tipo "puntatore a schiera di 123 caratteri". Questo è diverso dal semplice mybuff che (dopo il decadimento del puntatore) ha tipo "puntatore al carattere". Il valore di bit di queste due espressioni è lo stesso, ma poiché sono indicatori di cose di dimensioni diverse, si comportano diversamente con l'aritmetica del puntatore.

&mybuff+10 significa che si desidera superare dieci degli array di 123 caratteri del tipo (il che è privo di significato data la dichiarazione e potrebbe essere segfault), mentre mybuff+10 dice solo che si desidera eseguire il controllo di dieci singoli caratteri.

Answer 5

(&mybuff+10) e &mybuff[10] sono non equivalente, ma &mybuff[10] e mybuff + 10 sono.

Answer 6

&mybuff[10] è equivalente a &mybuff[0] + 10 che equivale a mybuff + 10

Array indicizzazione è definita in termini di puntatori. p[i] significa *(p+i) (Sto ignorando la necessità di parentesi aggiuntive nel caso p o i è un'espressione più complessa), dove p è un valore puntatore e i è un valore intero.

Curiosità: Poiché l'aggiunta, anche il puntatore + l'aggiunta di un numero intero, è commutativa, p[i] può anche essere scritto come i[p]. Sì, 4["Hello"] == 'o'. Per il bene di chiunque legga il tuo codice in futuro, ti preghiamo di fare non fare uso di questa conoscenza.

Un riferimento eccellente sulla relazione tra gli array e il puntatore in C (e C++, in cui le regole sono quasi identiche) è la sezione 6 dello comp.lang.c FAQ. (Avrei potuto collegarmi direttamente alla sezione 6, ma mi piace incoraggiare le persone a sfogliarlo, l'intera cosa vale la pena leggere.)

Answer 7

Il motivo per cui ha funzionato in modalità di debug è perché in modalità di debug, la memoria viene inizializzata per tu e le allocazioni sono anche più grandi delle dimensioni effettive. http://msdn.microsoft.com/en-us/library/bebs9zyz(v=vs.80).aspx