Wyjście tego kodu C

Question

#include<stdio.h> 
int main() 
{ 
    int i, j; 
    int *pi,*pj; 
    pi=&i; 
    pj=&j; 

    printf("pi-pj=%d\n",pi-pj); 
    return 0; 
} 

Próbowałem tego kodu na różnych kompilatorach, ale za każdym razem otrzymuję taki sam wynik, czy ktoś może mi pomóc mi zrozumieć, dlaczego to jest to samo?

Ouput:

pi -pj = 3 

Jestem zdezorientowany, jak pamięć normalnie byłyby przydzielane w sposób zwarty. Tak więc, jeśli powiemy, nasz stos systemu rośnie w dół i mamy &i = 0xA, następnie adres j(&j) = 0x6 (ponieważ liczby całkowite są 4 bajty). Teraz, gdy drukujemy różnicę między tymi dwoma wartościami wskaźnika int, wyjście powinno być "1". Ale nadchodzi jako "3". Dlaczego?

Answer 1

Nie mogłem odtworzyć Twojego doświadczenia. Z gcc na Linux x86:

[wally@lenovotower ~]$ cat t.c 
#include<stdio.h> 
int main() 
{ 
    int i, j; 
    int *pi,*pj; 
    pi=&i; 
    pj=&j; 

    printf("pi-pj=%d\n",pi-pj); 
    return 0; 
} 

[wally@lenovotower ~]$ gcc -o t t.c 
[wally@lenovotower ~]$ ./t 
pi-pj=1 
[wally@lenovotower ~]$ 

Oznacza to, że i i j sąsiadują. Odejmowanie wskaźnika zwraca liczbę elementów między wskaźnikami, a nie różnicę adresu. Aby uzyskać wynik, musielibyśmy mieć dwa elementy - wartości padding pomiędzy. Nie potrafię wyjaśnić, jak to możliwe.