a[b] и b[a] - одно и то же???

Ага, а ещё можно так:

*(a+0), *(a+1) ....

а что, тебя не учили этому? Ай-яй-яй... учить матчасть до просветления что же такое массивы, и как они устроены ;)

По стандарту "E1[E2] is identical to (*((E1) + (E2)))"

Спасибо, добрые люди :)

это лишний раз доказывает, что в Ц массивов как типа нет.

По стандарту 3[a] и т.п. писать нельзя. Это undefined behavior, потому что операции адресной арифметики определены только в пределах границ одного массива + 1 элемент.

Чтобы понять, почему так, достаточно представить экзотический компьютер, у которого вместо одной большой линейно адресуемой памяти много маленьких кусочков, в каждом из которых своя непохожая адресация.

А что такое «массив как тип»?

> По стандарту 3[a] и т.п. писать нельзя

3[a] == *(3 + a) == *(a + 3) == a[3]

что именно по стандарту писать нельзя?

> Чтобы понять, почему так, достаточно представить экзотический компьютер, у которого вместо одной большой линейно адресуемой памяти много маленьких кусочков, в каждом из которых своя непохожая адресация.

А в разных сегментах кода - своя система команд. Ужоснах...

Нельзя _в общем случае_. Undefined behavior => компилятор волен сделать программу, которая работает сообразно логике, а может и неработающую/падающую в корку выдать.

Я не знаю системы, на которой бы не работали конструкции типа *(3 + a), но по логике очевидно, что такие есть (какие-нибудь специфические микроконтроллеры, или просто очень древние компьютеры).

Что-то я не слышал про компьютеры с нелинейным адресным пространством... Про paged memory слышал и даже работал, но адресуемая память всегда линейной была. Кто-нибудь знает про такое железо?

т.е. керниган и ритчи меня обманывают в своей книге?

Нет, они просто видимо тоже не знают примеров таких компьютеров %))

Да, уже и забывать начинаю, что Си - это продвинутый макроассемблер :)

> Я не знаю системы, на которой бы не работали конструкции типа *(3 + a), но по логике очевидно, что такие есть

Нет(С)

Сложение коммутативно. В адресной арифметике нигде сказано что именно левый операнд должен быть указателем:

For addition, either both operands shall have arithmetic type, or one operand shall be a pointer to an object type and the other shall have integer type.

мда, всё так. Ограниченияна адресную арифметику тут вообще ни при чём. В стандарте оператор [] буквально определён так, что a[b] эквивалентно *((a) + (b)), что что это реально одно и то же.

Вот если бы ты написал *( (char*)3 + (int)a ) это была бы проблема, хотя и работало бы наверняка почти везде.

ну вот и отлично

впервые спор закончился не закидыванием друг друга какашками

наш вагон какашек стоит на запасном пути

>это лишний раз доказывает, что в Ц массивов как типа нет.

andrey@silverblood (~)$ cat dummy1.c       
int main()
{
 char a[4];
 a++;
 return 0;
}
andrey@silverblood (~)$ cat dummy2.c 
int main()
{
 char a[4];
 char *b = a;
 b++;
 return 0;
}
andrey@silverblood (~)$ gcc dummy1.c                                                                          
dummy1.c: In function 'main':
dummy1.c:4: error: lvalue required as increment operand
andrey@silverblood (~)$ gcc dummy2.c 
andrey@silverblood (~)$ 

ась?

Ты что-нить слышал про константные указатели? ась?

Нет я конечно понимаю что тут явно этого нет, но возможно реализовано это примерно так же :)

http://www.opennet.ru/docs/RUS/ansi-c/ansi-c-5.html

Объявленный как массив идентификатор представляет указатель, значение которого есть адрес первого элемента массива. Пойнтер указывает на тип элементов массива. Если series объявлен как массив 10 целых элементов, то идентификатор series представляет адрес массива и выражение индекса series[5] ссылается на целое значение, которое есть шестой элемент series. [...] Адрес массива не меняется при выполнении программы, хотя значения отдельных элементов массива могут меняться. Значение указателя, представленное идентификатором массива, это не переменная, поэтому идентификатор массива не может стоять левым операндом в операции присвоения.

typedef char C40[40];
C40 a;

printf("%u\n", sizeof(a));
printf("%u\n", sizeof(C40));
printf("%u\n", sizeof(char*));

ась?

И?

http://mindprod.com/jgloss/unmainobfuscation.html вот посмотри забавные советы даются