Что-то гложуть меня сомнения...

[psilogic]

Такое впечатление, что x = {x} для физически существующих (т.е. допускающих регистрацию физич. приборами) множеств... если вдуматься. Для формальных (хоть аксиоматических, хоть наивных) множеств это, конечно, не так. А вот для физически существующих вещей, с которыми мы в рассуждениях оперируем как со множествами, найти разницу между x и {x} не удается. Каждый раз, когда мне кажется, что я ее нашел, дальнейшее размышление вынуждает признать, что что-нибудь не так.

Или меня глючит к ночи... ?

Comments

[psilogic.livejournal.com]

Если комп будет рассматривать результат компиляции a и b[] в байты, то для него это одно и то же. А если будет рассматривать текст программы, то отличия, очевидно, в самом тексте - 1 символ 'a' и три других. Это очень близкая аналогия с x и {x}: тоже пока человек рассматривает это как математические символы, разница есть, а как только начинает думать, какие физич. объекты им могут соответствовать, разница исчезает.

Но мне тут другую интересную идею в ru_math подкинули... надо обмозговать, расскажу, если что-нибудь внятное получится сформулировать.

[eugenebo.livejournal.com]

В одном гигабайте памяти у компа поместится вдвое меньше объектов типа int[], нежели int :) Чем не измеримый параметр?

[psilogic.livejournal.com]

почему меньше то?? :)))
static int x[1];
static int x;
- так и так надо 4 байта...
нет, ну какой-нибудь компилятор может, конечно, поизвращаться, но в принципе то надо 4 байта в обоих случаях...

[eugenebo.livejournal.com]

Э-ээ... до измерения памяти на таком уровне я уже с пару лет не опускался и могу ошибаться... Но кажется мне, что ведь и пустой массив (из нуля элементов) 4 байта уже занимает? Чисто как указатель. Место в памяти под этот указатель забито, занять его никто не может. А тогда, соответсвенно, если в массиве один элемент, то будет 8 байт уже.

[psilogic.livejournal.com]

Нет, если вот так:
static char *x="123";
- то 8 байт: под указатель x и под 4 байта строки '1','2','3','\0'.
а если так:
static char x[]="123";
- то под указатель место не отводится. В 1-м случае x можно изменить (например, x = NULL), и тогда новый измененный адрес надо будет куда-то записать (нужны 4 байта). А во втором случае компилятор запретит такое присваивание, т.к. x - константа.

[eugenebo.livejournal.com]

Таки закатал рукава и, написав немного кода, измерил всё сам. Похоже, Вы правы: и int x, и int x[1] занимают одинаково -- оба по 8 байт в MS VS 2003 по крайней мере. Надо почаще освежать память :)

Занятно, что если подобные объекты аллоцировать динамически, то int x[1] оказывается-таки на 4 байта длиннее int x[0], и при этом int x[0] места занимает всё ещё порядочно... Но статически такой объект не создаётся :)

[psilogic.livejournal.com]

чтобы статически создавался ему по идее надо приписать static и что-нибудь константное присвоить при объявлении, например:
static int x[1] = 77;