Выпендреж с указателями

@VvictorRr · Регистрация: 10.05.2019

Студворк — интернет-сервис помощи студентам

Добрый день, не могу понять простых, по-видимому, вещей

C++
1
2
    int *x=new int[3];
    int *y=new int[3];

почему x=y можно, а (x+1)=y - error: expression is not assignable

при этом

почему (++x)=y можно, а (x++)=y - error: expression is not assignable

Заранее благодарю за ответ

MasterOfAlteran · 01.08.2021, 11:50

Сообщение от ValeryS

озвучьте пожалуйста

If, in the declaration ‘‘T D1’’, D1 has one of the forms:
D[ type-qualifier-listopt assignment-expressionopt ]
D[ static type-qualifier-listopt assignment-expression ]
D[ type-qualifier-list static assignment-expression ]
D[ type-qualifier-listopt * ]
and the type specified for ident in the declaration ‘‘T D’’ is ‘‘derived-declarator-type-list
T ’’, then the type specified for ident is ‘‘derived-declarator-type-list array of T ’’.)
(See 6.7.5.3 for the meaning of the optional type qualifiers and the keyword static.)

т.е. int arr[10]; - массив.

А теперь смотрим на malloc:

The malloc function allocates space for an object whose size is specified by size and whose value is indeterminate.

т.е. никаких массивов malloc не создает.

Точно так же в C++ operator new выделяет память, но не создает никаких массивов,
а вот соответствующее new-expression именно что создает массив,
а не просто набор подряд-идущих друг за другом объектов.

When the allocated object is an array (that is, the noptr-new-declarator syntax is used or the new-type-id or type-id denotes an array type), the new-expression yields a pointer to the initial element (if any) of the array.

т.е. с точки зрения C++ создается именно массив, на первый элемент которого и возвращается указатель.

Сообщение от ValeryS

а дальше прочитать

У int'ов нет конструкторов, но это мы опустим - в данном вопросе к массивам это не имеет никакого отношения.

Если сделать то же самое вручную - выделить память и сделать всем объектам placement-new, то массива всё равно не получится.
Это и есть та специфицированная магия, о которой я писал.

И еще раз - на практике, в большинстве случаев, всё это простое балабольство, ни на что не влияющее.

ValeryS · 01.08.2021, 12:01

Сообщение от MasterOfAlteran

If, in the declaration ‘‘T D1’’, D1 has one of the forms:
D[ type-qualifier-listopt assignment-expressionopt ]
D[ static type-qualifier-listopt assignment-expression ]
D[ type-qualifier-list static assignment-expression ]
D[ type-qualifier-listopt * ]
and the type specified for ident in the declaration ‘‘T D’’ is ‘‘derived-declarator-type-list
T ’’, then the type specified for ident is ‘‘derived-declarator-type-list array of T ’’.)
(See 6.7.5.3 for the meaning of the optional type qualifiers and the keyword static.)

так что же такое массив?
набор данных?
посмотри что может массив в фортране https://webkonspect.com/?room=... belid=3068
и сравни с Си

Сообщение от MasterOfAlteran

т.е. никаких массивов malloc не создает.
Точно так же в C++ operator new выделяет память, но не создает никаких массивов,

т.е

C++
1
2
int* arr=(int*)malloc(3*sizeof(int));
arr[1]=5;

работать не будет?

MasterOfAlteran · 01.08.2021, 12:18

Сообщение от ValeryS

посмотри что может массив в фортране

Причем здесь "что может" и "фортран"?
Вроде бы, идет обсуждение "чем является", а не "что может".

Сообщение от ValeryS

работать не будет?

Причем здесь "работать не будет"? Речь совершенно о другом.

Я выше написал уже, что на практике это будет неразличимо.
А подвох в том, что этот код массива с точки зрения языка не создает.
Это уже Вы используете эту память как массив и считаете это массивом.

И вот здесь и кроется магия new-expression - оно именно массив создает:

C++
1
2
3
4
int * p = (int *)malloc(sizeof(int) * 3);
for (unsigned i = 0; i < 3;  i++) {
    new (p + i) int(0);
}

вроде бы тоже самое - память выделили, даже "конструктор" позвали, а массива как не было, так и нет.

@YUEN HOIFEF · 01.08.2021, 13:05

т.е. никаких массивов malloc не создает.

Точно так же в C++ operator new выделяет память, но не создает никаких массивов

Выделяют память под массив. Это не подряд идушие байты.

ValeryS · 01.08.2021, 14:38

Сообщение от YUEN HOIFEF

Выделяют память под массив. Это не подряд идушие байты.

а что это?
объясните мне что является массивом а что участком выделенной памяти

Сообщение от MasterOfAlteran

Я выше написал уже, что на практике это будет неразличимо.

"если нет разницы зачем платить больше" (с)

Сообщение от MasterOfAlteran

этот код массива с точки зрения языка не создает.

что такое массив с точки зрения языка?

@TRam_ · 01.08.2021, 14:49

Сообщение от ValeryS

то такое массив с точки зрения языка?

http://eel.is/c++draft/dcl.array

@YUEN HOIFEF · 01.08.2021, 14:50

Массив это очередность однотипных данных. Я запуталя о чем спор.

@TRam_ · 01.08.2021, 15:04

Сообщение от ValeryS

а что это?
объясните мне что является массивом а что участком выделенной памяти

Как бы есть два понятия. "Массив" (он же - статически выделенный массив) запись типа int a[10]; и динамически выделенный массив (запись типа new int[10];) . Второй существует только в памяти компьютера, и программист с ним непосредственно никак не работает. А использует Указатель с адресом первого элемента этого динамического массива. А вот со вторым можно непосредственно взаимодействовать, с использованием записей типа a[3] для чтения/записи элементов. Хотя если записать a, мы получим константную переменную с адресом первого элемента статического массива. Которую можно присвоить указателю или с которой производить адресную арифметику.

ValeryS · 01.08.2021, 15:05

Сообщение от YUEN HOIFEF

Массив это очередность однотипных данных.

Сообщение от YUEN HOIFEF

Это не подряд идушие байты.

определитесь уже
я тоже самое и говорил

Сообщение от ValeryS

то что мы в Сях называем массивами есть область памяти для гомогенных данных

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

TRam_, своими словами и попроще

Добавлено через 1 минуту

Сообщение от TRam_

Второй существует только в памяти компьютера,

а первый где существует?

@TRam_ · 01.08.2021, 15:13

Сообщение от ValeryS

а первый где существует?

Существует то там же, но с ним можно напрямую обращаться, записями типа a[4] или b[1][3][0] . В отличии от динамических.

@argcargv · 01.08.2021, 15:18

Сообщение от ValeryS

а вот так какой массив создает:

C++
1
2
char *a=new char [3*sizeof(int)];
int  *b=(int *) a;

Пока только char[3*sizeof(int)]. Необходимости создавать что-то ещё тут нет.

Сообщение от ValeryS

а вот так:

C++
1
 char *a=(char*)new double[3*sizeof(int)];

К чему эти элементарные вопросы?

Сообщение от MasterOfAlteran

reinterpret_cast начинает жизнь объекта.

Это с каких пор?

Сообщение от MasterOfAlteran

Никого же в C++ раньше не напрягало, что дальнейшее использование данной памяти без предварительного placement-new - это undefined behaviour.
Все писали и писали, а тут вдруг, выяснилось...

Так уже исправили.

Сообщение от MasterOfAlteran

А подвох в том, что этот код массива с точки зрения языка не создает.

"Теперь" создаёт. (Ну и как бы "всегда" создавал, т.к. исправили "ретроактивно")

@eva2326 · 01.08.2021, 15:32

Сообщение от MasterOfAlteran

По-моему очевидно, что argcargv имеет ввиду.
В C++ массивы - это вот такие штуки - T[N].
new-expression создает массив, именно массив, и возвращает указатель на первый элемент.

см #7

@YUEN HOIFEF · 01.08.2021, 15:42

ValeryS,

Сообщение от YUEN HOIFEF
Массив это очередность однотипных данных.
Сообщение от YUEN HOIFEF
Это не подряд идушие байты.
определитесь уже
я тоже самое и говорил

Имелось ввиду что в памяти это могут быть не подря идущие байты..

ValeryS · 01.08.2021, 16:03

Сообщение от YUEN HOIFEF

Имелось ввиду что в памяти это могут быть не подря идущие байты..

выравнивание имеется в виду?

Сообщение от TRam_

но с ним можно напрямую обращаться, записями типа a[4] или b[1][3][0]

а с динамически выделенными нельзя?

Сообщение от TRam_

В отличии от динамических.

нет динамических массивов если это не вектор

@YUEN HOIFEF · 01.08.2021, 17:27

Короче вот так я создал массив:

C++
1
char array[ 10 ];

и вот так я создал массив:

C++
1
char *array = new char[ 10 ];

В программе работаю с ним, а не с участком в памяти.

Добавлено через 42 минуты
Во вторм случае, если разбираться, программа создаст статическую переменную char *array и новый обьект типа char [ 10 ], который и есть массив char-ов.

@eva2326 · 01.08.2021, 19:02

Сообщение от TRam_

Как бы есть два понятия. "Массив" (он же - статически выделенный массив) запись типа int a[10];

Фраза некорректна

"Массив" (он же - статически выделенный массив)

Вы ставите знак равенстве между понятием "массив", и понятием "статически выделенный массив", что является грубой логической ошибкой.

Термин "массив" обозначает тип. Память же выделяется для объекта, а не для типа.

Прилагательные: статический, динамический, автоматический - это характеристики объектов, а не их типов.
По научному эти характеристики называются "классами памяти"
И к внешнему виду типов отношения не имеют.

C++
1
2
3
4
5
6
7
8
int a[10]; // статический 
 
int main()
{
    int b[10]; // автоматический
 
    new int[10]; // динамический
}

Поэтому, если вы подразумеваете самый обычный массив, то так его и называйте: "массив".
Но не нужно называть массив статическим, если не подразумевается, что он должен располагаться в статической области памяти.

Новые блоги и статьи Все статьи Все блоги /
Запустил конкурс "тем и промптов для текстовых квестов созданных почти чисто ИИ" Adler 06.10.2026 Всем привет! За последние три-четыре дня я создал более 16 текстовых квестовых игр используя преимущественно по одному запросу к ИИ на игру. Мне так понравилось смотреть все ветки/ сцены во всех. . .	ИИ не может найти нужный язык в списке Supersumestria 05.10.2026 Я ему даю вот такое изображение и прошу найти и подчеркнуть немецкий язык. Возвращает он вот это: https:/ / i. **********/ vqBWLe2. png Нужную строчку в 3й колонке просто выдумал. . Это. . .	Новая последняя моя музыка в SUNO zorxor 05.10.2026 Здравствуйте, дорогие мои друзья! С большой радостью я хотел бы представить вам свою новую последнею музыку, которую сгенерировала мне по моей просьбе нейросеть SUNO. С уважением, zorxor. Это. . .	Программный домашний кинотеатр russiannick 27.09.2026 Сподобился на программный домашний кинотеатр. В качестве ЯВУ по традиции выбрал js. В помощники взял Яндекс-Алису. Было создано три зала на разные интересы. исторические и ретро сериал Хичкок. . .
Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого zorxor 21.09.2026 Раньше я радовался или получал некоторые эмоции, пусть небольшие, но всё же, от самого процесса написания кода, рекомпиляции и запуска, видя постепенное развитие программы и прочее. А теперь лень. . .	Мобильное приложение ColorStep pavlinmavlin 17.09.2026 Реализовал приложение Красный, Зеленый, Синий в Unity3d + c#. Название изменил на ColorStep. Приложение прошло модерацию и теперь доступно для скачивания. Делал его сам, шаг за шагом — и вот,. . .	Запрет дублирования строк в табличной части Maks 13.09.2026 Реализация из решения ниже выполнена на нетиповом справочнике "Нормы ТО" с табличной часть "Виды ТО", разработанного в КА2, со следующими реквизитами: - ВидТО (СправочникСсылка. ВидыТО); - ВидГСМ. . .	Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Jin X 06.09.2026 Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Работая с форумом и нейросетями в браузере часто хочется что-то подкорректировать или добавить какого-то функционала. Ниже прикреплён. . .

@YUEN HOIFEF 252 / 185 / 47 Регистрация: 31.01.2021 Сообщений: 934
	01.08.2021, 14:50
	Массив это очередность однотипных данных. Я запуталя о чем спор. 0