В чем разница между динамическим массивом и статическим?

@pcmax · Регистрация: 29.01.2018

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

ребята, я не понимаю различия. вроде читал литературу.

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

и тут я залез в онлайн компилятор (с++ 14) и сделал так

C++
1
2
3
4
5
6
7
8
9
10
11
12
int main(){
 
int n;
std::cin >> n;
int array[n]; // ну я создал посути динамический массив.
 
int *arr;
arr=new int[n]; // здесь тоже. 
return 0;
}
 
значит они оба динамические?

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

@DrOffset · 09.01.2019, 13:56

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

В некоторых местах стандарта есть явное указание что "так не пишите, это UB". Получается что UB это то что стандарт не разрешает явно + то что явно отмечено в стандарте как UB

Ну зачем ты так превратно понимаешь?
Если я пишу "UB - это то, что не оговаривает спецификация языка", то разве смысл фразы "не оговаривает" меняется. если в спецификации будет прямо написано "я не оговариваю это". По-моему нет.

@Undisputed · 09.01.2019, 13:56

То есть наличие UB иногда документировано
Я об этом

@DrOffset · 09.01.2019, 13:59

Не по теме:

Бывает так, что человек ничего не говорит, а бывает, что он говорит "мне нечего сказать". Если я потом его процитирую как "он мне ничего не сказал", разве я совру при этом? :)

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

То есть наличие UB иногда документировано

Оно всегда документировано :)
В стандарте же написано явно, что то, что не документировано - то UB. Значит UB всегда документировано через обратное отношение :)

@Undisputed · 09.01.2019, 14:06

DrOffset,
Ну это не то что бы будет враньё, суть то понятна, но все таки думаю небольшая неточность будет присутствовать )
Потому что по факту он тебе что-то да сказал, но не то чего ты ждал))

@rat0r · 09.01.2019, 14:09

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

Если стандарт гарантирует смежность элементов для двумерного массива и описывает формулу доступа к элементам, то с этой точки зрения такой доступ вроде как можно считать легальным... И если это так тогда возникает некоторое противоречие с цитатой что вы привели...

Противоречия не возникает, т.к. стандарт не описывает формулу доступа к элементам.

@Undisputed · 09.01.2019, 14:11

rat0r,
Тогда ок, спасибо )

IGPIGP · 09.01.2019, 14:14

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

Я думаю, что между давать неверную информацию или не давать вообще я бы выбрал второе.

Это уже вторая тема близнец. И неточн6ость, - это неточность и я её признал. Также как Вы признали свои.

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

то лучше это стараться делать верно (по мере сил)

Я старался. И в начальной теме и в этой. И по мере сил, тема набрала тучу просмотров. Говоря о толщине ИМХО я говорил о том, что темы превращаются в набор взаимных шпилек. Хотя о константности массивов (и указателей) речь могла и не идти, вообще. Это было мелкой деталью в посте, в котором она прозвучала. Там было о времени жизни, видимости, о сравнении полноценного типа с заявленным классом хранения и куском в динамической памяти с доступом по типизированному указателю и пр. Но возражения пошли именно в адрес этой неточности. Остальное не интересно, оказалось. Хотя я успел поправиться ранее. И бог с ним.

@DrOffset · 09.01.2019, 14:42

Не по теме:

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

превращаются в набор взаимных шпилек

Вы зря так думаете.
Я же сразу сказал, что

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

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

Никаких шпилек я вам отпускать не собирался. А вдруг бы оказалось, что это я, наоборот, чего-то не знаю и вы бы меня поправили своим ответом? Вдруг бы вы сослались на стандарт, и стало бы понятно, что там константа и в самом деле? Почему вы сразу думаете, что мой вопрос был написан с целью вас задеть?

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

Но возражения пошли именно в адрес этой неточности. Остальное не интересно, оказалось.

Ну так это значит по остальным вопросам возражений не было :)

@_stanislav · 09.01.2019, 14:52

Не по теме:

бездельники завязывайте

IGPIGP · 09.01.2019, 15:00

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

Почему вы сразу думаете, что мой вопрос был написан с целью вас задеть?

Я говорил о ИМХО как о мотиве. Моё внутреннее ощущение тут не при чём. Я не в обиде и не буду. Темы жалко.

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

Ну так это значит по остальным вопросам возражений не было

Но там же и была соль вопроса. Теперь её не раскопать. Понимаете, для меня главное - суть. Мелочи имеют значение, но они всё же мелочи.
Но если говорить о не изменяемом л-вэлью, то я бы создал отдельную тему. Это типичная, не просто, дырявая абстракция, - это дыра в черепе, когнитивная яма. Какой ~~воспалённый~~ математический мозг придумал такое?
Стандарт штука полезная. Особенно когда это не черновик. Но есть же и негатив. Программное обеспечение обновляют не только для улучшения для пользователя. Это и для облегчения его карманов. Причем, второе часто превалирует. Разрабы компиляторов не заинтересованы в появлении конкурентов. Или заинтересованны? Тут тема такая, что огонь прямо!
DrOffset,

@eva2326 · 09.01.2019, 17:07

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

В каком месте оно законное?

во всех

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

Ну и опять код с UB при выходе за границу массива

в каком месте тут UB при выходе за границы массива?

@rat0r · 09.01.2019, 17:13

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

во всех

Пруф?

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

в каком месте тут UB при выходе за границы массива?

UB в месте выхода за границы массива.

IGPIGP · 09.01.2019, 17:58

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

UB в месте выхода за границы массива.

Вы бы скомпилировали что ли. Там выводится 123456789. Думаете случайно? И приведение не к массиву указателей на целое, то есть не к первому элементу массива массивов. Это автоматически происходит. А суровый кастинг reinterpret_cast это не слишком большое живодёрство. Мне не интересны компиляторы у которых вначале массива какая-то служебная ерунда. То есть, речь могла бы идти о переносимости, но UB это от слова ubuntu (человечность - всегда так непредсказуема).
DrOffset, смотрите.

@rat0r · 09.01.2019, 18:02

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

Вы бы скомпилировали что ли.

И о чём это скажет?

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

Там выводится 123456789. Думаете случайно?

UB ≠ случайное поведение.

IGPIGP · 09.01.2019, 18:13

rat0r, Вас спрашивают (не один я как видите) почему Вы считаете что это UB. А Вы упираетесь и храните загадочное молчание.
Если Вы помните то речь шла о загадочной "формуле приведения n-мерного массива" к указателю на первый элемент. Эта формула, по идее не существует. Потому, что первое приведение даст указатель на массив размерности n-1. Но поскольку обратного преобразования (из указателя в массив) не существует, то на этом цепь автоматических преобразований и прерывается. Тот код что я написал, в какой-то степени сарказм, но он вполне работоспособен. Хотя, может где-то и не будет работать. Во всяком случае я не стану этого делать, хотя бы потому, что без этого легко можно обойтись. С другой стороны, было бы безопаснее скастить не имя массива а именно адрес первого элемента &a[0][0]. Я не вижу предмета для обсуждения в данной теме.

@eva2326 · 09.01.2019, 18:18

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

Пруф?

Презумпция невиновности? Не, не слышал.

Или как вы вообще себе представляете пруф, подтверждающий корректность исходного кода?

Могу ссылочку на черновик стандарта скинуть.
Пожалуйста, ознакамливайтесь.

http://www.open-std.org/jtc1/s... /n4659.pdf

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

UB в месте выхода за границы массива.

Вероятно, вы не поняли моего вопроса:
"в каком месте тут UB при выходе за границы массива?"

В представленном коде нет никакого выхода за пределы массива.

@rat0r · 09.01.2019, 18:20

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

Вас спрашивают (не один я как видите) почему Вы считаете что это UB. А Вы упираетесь и храните загадочное молчание.

Я уже пару раз показывал, почему это UB. Надоело.
Пусть теперь те, кто считает, что UB нет, тащит разбор кода по косточкам с цитатами из стандарта.

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

речь шла о загадочной "формуле приведения n-мерного массива" к указателю на первый элемент. Эта формула, по идее не существует. Потому, что первое приведение даст указатель на массив размерности n-1.

Так элемент массива размерности n это массив размерности n-1. На первый такой элемент указатель получается неявно в определённых контекстах. Что не так и какая тут нужна "формула"?

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

Тот код что я написал, в какой-то степени сарказм, но он вполне работоспособен

В каком-то смысле работоспособен, но не легален. Там UB.

IGPIGP · 09.01.2019, 18:27

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

Так элемент массива размерности n это массив размерности n-1. На первый такой элемент указатель получается неявно в определённых контекстах. Что не так и какая тут нужна "формула"?

Вы посмотрите о чём там речь шла, вместо демонстрации низкой распознавательной эффективности. Там шла речь о

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

о загадочной "формуле приведения n-мерного массива" к указателю на первый элемент

при чём типа - элемента низшего ранга. Всё это было в контексте обсуждения того факта, что многомерный массив внутренне одномерен. Дать ссылку к тем постам или сами найдёте?
Это что вы пишете

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

элемент массива размерности n это массив размерности n-1. На первый такой элемент указатель получается неявно в определённых контекстах.

Это понятно и ежу. Я это написал, кстати:

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

первое приведение даст указатель на массив размерности n-1

DrOffset, смотрите. Это обычное развитие событий.

@rat0r · 09.01.2019, 18:30

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

Презумпция невиновности

здесь не при чём.

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

Или как вы вообще себе представляете пруф, подтверждающий корректность исходного кода?

Очень просто. Есть стандарт, который описывает поведение кода. Берёшь код и для каждой конструкции там приводишь соответствующие пункты стандарта. Описывающие поведение.
Если стандарт говорит, что что-то приводит к UB — то это UB. Если в стандарте просто ничего явно не сказано, то это тоже считается UB. Так что презумпция невиновности тут не работает. А как раз наоборот, неопределённым является всё, что не определено явно.

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

Могу ссылочку на черновик стандарта скинуть.

Теперь ещё релевантные цитаты оттуда надо скинуть.

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

В представленном коде нет никакого выхода за пределы массива.

Читай документ по своей ссылке внимательнее.

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

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

многомерный массив внутренне одномерен

Бессмысленное утверждение с т.з. стандарта.

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

Я это написал, кстати:

Так в чём проблема с получением указателя на первый элемент массива? Зачем какой-то reinterpret_cast?

IGPIGP · 09.01.2019, 19:15

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

Так в чём проблема с получением указателя на первый элемент массива?

Вы уже не сможете понять.

Добавлено через 22 минуты
Для массива гарантируется последовательное размещение в памяти его элементов. Если имеем массив массивов (2-d случай) то гарантируется последовательное размещение 1-d массивов в 2-d массиве. Массив это тип имеющий размер и как мы помним адресная арифметика вся построена на размере типа, начальном адресе и индексе. То есть, из последовательного размещения 1-d массивов и последовательного размещения элементов в 1-d массивах, следует следует последовательное размещение всех элементов 2-d массиве от начального и до конечного. Методом матиндукции можно легко показать, что данный вывод распространяется на массив с любым конечным (уточнение для особо внимательных к мелочам) количеством измерений. То есть, захватив адрес элемента с нулевыми (всеми без исключения, опять-же) индексами, можно легко пробежать все элементы последовательно.
Если в стандарте сказано иное, то люди которые его пишут (или толкуют), размещены в памяти ~~д'UB'овым~~ случайным образом.

Новые блоги и статьи Все статьи Все блоги /
FPS контроллер с анимированными Y-Bot и 3D-звуком miniaudio (Box3D, Recast, BehaviorTree.CPP, ozz-animation, ImGui, OpenGL и SDL3) 8Observer8 18.10.2026 Содержание блога \| English Version Полное мультиплатформенное руководство по стартовому проекту с FPS-контроллером игрока, анимированными роботами Y-Bot с 4-слойным блендингом, 3D-физикой Box3D,. . .	Локальный http сервер Argus19 17.10.2026 Локальный http сервер На работе, на двух локальных компьютерах круглосуточно работают программы опроса приборов с записью в книги Excel,которые раз в сутки записываются на сервер компании. Т. к. . . .	Копировать Windows на новый диск на UEFI damix 17.10.2026 https:/ / uriesk. wordpress. com/ 2016/ 11/ 01/ move-window-10-to-ssd-on-a-uefi-dualboot-system-with-basic-linux-tools/ TL DR Вставляем диск, а старый подключаем через переходник, грузимся с лайва. . .	ИИ не может найти нужный язык в списке 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. Приложение прошло модерацию и теперь доступно для скачивания. Делал его сам, шаг за шагом — и вот,. . .

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	09.01.2019, 13:56
	То есть наличие UB иногда документировано Я об этом 0

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	09.01.2019, 14:06
	DrOffset, Ну это не то что бы будет враньё, суть то понятна, но все таки думаю небольшая неточность будет присутствовать ) Потому что по факту он тебе что-то да сказал, но не то чего ты ждал)) 0

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	09.01.2019, 14:11
	rat0r, Тогда ок, спасибо ) 0

@_stanislav "C with Classes" 2022 / 1404 / 523 Регистрация: 16.08.2014 Сообщений: 5,885 Записей в блоге: 1
	09.01.2019, 14:52
	Не по теме: бездельники завязывайте 0

IGPIGP Комп_Оратор) $Эксперт по математике/физике$ 9007 / 4708 / 630 Регистрация: 04.12.2011 Сообщений: 14,003 Записей в блоге: 16
	09.01.2019, 18:13
	rat0r, Вас спрашивают (не один я как видите) почему Вы считаете что это UB. А Вы упираетесь и храните загадочное молчание. Если Вы помните то речь шла о загадочной "формуле приведения n-мерного массива" к указателю на первый элемент. Эта формула, по идее не существует. Потому, что первое приведение даст указатель на массив размерности n-1. Но поскольку обратного преобразования (из указателя в массив) не существует, то на этом цепь автоматических преобразований и прерывается. Тот код что я написал, в какой-то степени сарказм, но он вполне работоспособен. Хотя, может где-то и не будет работать. Во всяком случае я не стану этого делать, хотя бы потому, что без этого легко можно обойтись. С другой стороны, было бы безопаснее скастить не имя массива а именно адрес первого элемента `&a[0][0]`. Я не вижу предмета для обсуждения в данной теме. 0