Арифметика указателей в си.

[iGrok]

Кто-нибудь из знатоков (или не очень) "c" может мне подсказать, почему получается такой странный(на мой взгляд) результат при арифметических действиях с указателями?

Странность искать в строке с результатом pI + l.
pI = 4014016, l = 8.
При этом:
pI + l = 4014048 (!)
Но:
(long)pI + l = 4014024.

Почему так?

Вот исходник:

Код: Выделить всё

int main() {
    int     l;
    char    *buff;
    int     *pI, *pI2;

    l = 8;
    buff = malloc( 2 * l );

    pI = buff;
    pI2 = buff + l;

    printf("buff:\t\t%i\nl:    \t\t%i\npI:    \t\t%i\npI2=buff+l:\t%i\npI+l:  \t\t%i\n", buff, l, pI, pI2, pI + l);

    free( buff );
    return 0;
}

И вывод в консоль:

Код: Выделить всё

buff:           4014016
l:              8
pI:             4014016
pI2=buff+l:     4014024
pI+l:           4014048


[tyomitch]

Потому что, по определению, *(a+b) тождественно a[b].
Инкремент множится на размер элемента.

[iGrok]

Потому что, по определению, *(a+b) тождественно a[b].
Инкремент множится на размер элемента.

Ага. И когда я его привожу к (long) компилятор перестаёт думать, что это указатель на такой-то тип, и начинает распознавать его просто как адрес в памяти. И поэтому инкремент прибавляется просто как число, а не как кол-во элементов такого-то типа. Так?

Т.е. если pST у меня указатель на структуру в памяти, выделенной под массив таких структур, то pST++ сдвинет указатель не на 1 байт, а на следующую структуру.

Вроде понял. Спасибо. )