Tu duda tiene que ver con la aritmética de punteros en C/C++.
En dichos lenguajes, al incrementar/decrementar un puntero, no se hace byte a byte, sino que depende del tamaño del tipo al que apunta.
Con un pequeño ejemplo, lo vemos mejor:
char *a = 0;
int *b = 0;
a += 1; // Sumamos 1 a la dirección a la que apuntamos.
b += 1; // Sumamos 1 a la dirección a la que apuntamos.
Al ejecutar el código anterior, ¿ a
y b
apuntan a la misma dirección absoluta ? Pues ... va a ser que no.
La dirección abosoluta quedaria así:
a == 1
b == 4 // En máquinas de 32bits.
¿ Porqué ? Porque, como dije antes, el paso no es en bytes. La unidad mínima es sizeof( TIPO )
.
Como a
es (char *)
, se le suma el tamaño de un char
, que es 1.
Como b
es (int *)
, se le suma el tamaño de un int
, que, en máquinas de 32 bits, es 4.
Esto se utiliza, aunque no lo sepamos, en muchas situaciones. Por ejemplo:
int b[10];
int c = b[5];
¿ Como es que c apunta exactamente a donde tiene que apuntar ? Porque el compilador, internamente, hace algo así:
c = &b + ( sizeof( int ) * 5 );
El tamaño del tipo se indica claramente al declarar el puntero, y lo marca para toda su vida.
Aprovecho para presentar en sociedad un curioso aliado para cositas con punteros: ptrdiff_t
.
El tipo ptrdiff_t
es dependiente de la plataforma; y tiene varias características.
- En un tipo con signo.
- Si restamos 2 punteros, el resultado de esa operación es, precisamente, del tipo
ptrdiff_t
.
ptrdiff_t
indica el número de unidades de distancia entre 2 punteros, teniendo en cuenta el tipo.
- Para convertir un
ptrdiff_t
en bytes, hay que multiplicarlo por el tamaño del tipo.
El punto 2 implica que no se pueden sumar ni restar 2 punteros de distinto tipo.
Para los que conozcan algo de C++, es de funcionalidad similar al difference_type
de los contenedores STL. De hecho, para std::vector< >
, lo normal es que sea:
typedef ptrdiff_t difference_type;
Ya le vamos cogiendo el tranquillo a esto. ¡ Si no es tan difícil, hombre !
Ahora ya si. Armados con nuestros nuevos conocimientos, nos atrevemos a meterle mano al problemilla original de la pregunta. Colocamos al lado de cada operación la dirección relativa a dades
a la que apunta cada puntero en un momento dado:
sizeof( double ) == 8;
sizeof( int ) == 4;
double dades[5]; // == 0.
double* pDouble = 0;
int* pInt1 = 0;
int* pInt2 = 0;
pDouble = &dades[2]; // 0 + ( 2 * 8 ) == 16
pInt1 = (int*)(&dades[4]); // 0 + ( 4 * 8 ) == 32
pDouble--; // 16 - 8 == 8
pInt1--; // 32 - 4 == 28
pInt2= (int*)(pDouble); // 8
pInt2++; // 8 + 4 = 12
Al llegar aquí,
pInt1 == 28;
pInt2 == 12;
pInt2 - pInt1 == 12 - 28 == -16
Pero ... recordemos que la distancia depende del tamaño del tipo. Si no recuerdo mal, quedamos en que sizeof( int ) == 4
:
-16 / sizeof( int ) == -16 / 4 == -4
¡ Toma ya !
pInt1
? ¿pInt2
? ¿pDouble
? ¿d
?. Date cuenta que no inicializasdades
, así que podría contener virtualmente cualquier valor doublé en su interior y operar sobre eso puede virtualmente resultar en -4.