Является ли vector примером динамического массива?

@nkrdd · Регистрация: 15.02.2025

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

Является ли vector примером динамического массива? Вопрос может звучать странно и я вижу в нем однозначный ответ, что вектор все таки является примером динамического массива, но все равно, хотелось бы убедиться, потому что мнения в интернете расходятся

(Готовлюсь к зачету в унике, вопросы по теории это бред, из-за формулировки некоторых нельзя дать однозначный ответ, поэтому не бейте палками)

В каких строках приведен пример динамического массива?

C++
1
2
3
4
int* arr = new int [M]{ 0 };
 vector <double> vec= {1.4, 2.0, 3.9, 4.1};
 char arr[4]{ 'k', 'b', 'c', '_' };
 char* vec = new int[6];

@Royal_X · 17.02.2025, 21:38

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

Непрерывность расположение элементов в массиве - основная его черта/характеристика.
Которую std::vector не может предоставить.

вектор тоже непрерывный по стандарту (the elements of a vector are stored contiguously meaning that if v is a vector<T, Allocator> where T is some type other than bool, then it obeys the identity &v[n] == &v[0] + n for all 0 <= n < v.size())

C++
1
2
std::vector<int> v;
int* arr = &v[0];

это будет работать всегда

@SmallEvil · 17.02.2025, 21:41

Royal_X, я для кого пример показывал?
Значит он не массив. Сколько его не обзывай им

@Royal_X · 17.02.2025, 21:53

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

Значит он не массив

а что такое вообще массив по семантике? где требования, что является массивом по семантике, а что нет?

и кстати, как там в памяти, это тоже второстепенно

ведь, чтобы быть массивом по семантике достаточно предоставлять возможность хранить данные, записывать и читать отдельные элементы, даже не важно, как он там внутренне реализован. Тот же string можно называть массивом символов по семантике, хотя в ранних версиях стандарта нет даже гарантии, что хранятся contiguously. Однако, мы же говорим о семантике, не вдаваясь в детали реализации.

То, что vector не является массивом, я согласен. Но тут речь о семантике. И выше я показал, что даже на сайте cppreference вектор называют "динамическим массивом".

Массив по семантике это абстрактная штука, которая ничем не регламентирована. У каждого программиста свои требования.
Допустим, засунет некто 8 битов в одну лишь char (при CHAR_BIT 8). И этот чел может смело называть char массивом битов по семантике... в конкретном случае.

Но в вопросе ТС вряд ли спрашивается по семантике, поэтому правильные ответы, скорее всего, 1 и 4.

@SmallEvil · 17.02.2025, 22:36

Есть четкое определение что такое массив в С++ :
https://eel.is/c++draft/dcl.array#3

A type of the form “array of N U” or “array of unknown bound of U” is an array type. The optional attribute-specifier-seq appertains to the array type.

На этом стоит закончить.

Алексей1153 · 18.02.2025, 08:38

nkrdd, вектор - это не массив, но это объект, который тоже хранит элементы, расположенные в памяти непрерывно друг за другом. Для доступа к ним есть интерфейс.

То есть, через вектор можно имитировать поведение массива, если так проще воспринимать.

А будет вектор использовать динамическую память, стек или ещё что другое - зависит от аллокатора.

@CoderHuligan · 18.02.2025, 11:38

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

И выше я показал, что даже на сайте cppreference вектор называют "динамическим массивом".

Очевидно же, что вектор в c++ не является динамической структурой данных. Если бы она была таковой, то код:

C++
1
2
std::vector<int> numbers {1, 2, 3, 4, 5};
numbers[5] = 9;

создавал бы новый шестой элемент, и присваивал бы ему значение 9. Однако в данном случае это неопределенное поведение. Если бы вектор был динамическим,то он автоматически расширялся бы и сжимался. Этого нет, значит ни о какой динамичности тут и речи не идет. То что память для него выделяется в куче не говорит о его динамичности.

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

Массив по семантике это абстрактная штука

В C и C++ вообще нет поддержки массивов. Это чистое заблуждение. Там есть последовательности однотипных элементов, которые по недоразумению обозвали массивами. Настоящий массив должен быть отдельным типом, и его можно передавать в качестве аргумента функции одним параметром. А функция могла бы работать с любым размером массива. В С приходиться передавать указатель на первый элемент последовательности и в качестве второго аргумента его длину. При этом длина статического массива семантически оторвана от самого массива. То есть сам массив ничего не знает о своей длине.

@KSergey9 · 18.02.2025, 12:12

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

Очевидно же,

C++
1
numbers[5] = 9;

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

создавал бы новый шестой элемент

Вообще не очевидно.
Ибо интерфейс изменения размера не обязательно должен выражаться через квадратные скобки. resize() ничем не уступает им (квадратным скобкам) в динамичности

@CoderHuligan · 18.02.2025, 12:42

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

resize() ничем не уступает им (квадратным скобкам) в динамичности

Но это ручное управление.

@Royal_X · 18.02.2025, 12:51

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

Если бы она была таковой, то код:

C++
1
2
std::vector<int> numbers {1, 2, 3, 4, 5};
numbers[5] = 9;

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

Что за дичь? Даже в питоне такого нет. И это очень опасная штука, поэтому никто и не реализует.

А прикинь пользователь будет вводить

C++
1
numbers[500000] = 9;

То, как элементы вектора будет contiguously храниться? Нужны разбросанные по индексу элементы, используй unordered_map)

@KSergey9 · 18.02.2025, 12:55

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

Но это ручное управление.

Скобочки не менее ручные.
Динамический массив - в отличии от статического - это массив изменяемого размера. Как устроено API изменения размера - не является решающим отличием от статического массива.

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

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

Что за дичь?

Речь про поведение map в терминах С++
Хотя, конечно, если их "приравнять" (мап и вектор), то не понятно какое должно быть поведение для

C++
1
numbers[100] = 99;

Добавится 95 элементов? ну коль скоро это массив, а, CoderHuligan? как должно быть?

@Royal_X · 18.02.2025, 13:00

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

как должно быть?

вот, я тот же самый вопрос задал

***
по определению вектора, промежуточные элементы должны быть созданы, и они должны что-то хранить, например, либо мусор, либо нули, что вообще не эффективно, т.к. увеличивает capacity и память, выделенную под вектор.

вот, unordered_map не обязан непрерывно хранить, и там есть корзиночки, которые эффективно хранят разбросанный по Вселенной элементы.

@CoderHuligan · 18.02.2025, 13:08

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

Что за дичь? Даже в питоне такого нет.

А в PHP есть, и в tcl есть. Как там в perl я не знаю, но думаю, что тоже. Однако там массивы это массивы типа ключ-значение. Поэтому там это норма.

PHP
1
2
3
$numbers = [1, 4, 9, 16];
$numbers[99] = 76;
echo $numbers[99];   // 76

В данном случае размер массива по прежнему будет равен 5 элементов.

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

Добавится 95 элементов? ну коль скоро это массив, а, CoderHuligan? как должно быть?

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

C++
1
numbers[5] = 9;

И ваша прога упадет.

@Annemesski · 18.02.2025, 13:34

Не по теме:

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

А в PHP есть

тут должен быть троллолоидный наброс на тему "PHP - это не язык программирования" )))

@KSergey9 · 18.02.2025, 13:38

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

И ваша прога упадет.

есть же map
Оно ровно про это
Вопрос терминологии же. В рамках C++ массивом называется непрерывное (по индексам) хранилище, а хранилище вида "ключ-значени" реализует map.
Зачем смешивать.

@CoderHuligan · 18.02.2025, 13:43

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

Зачем смешивать.

Просто отметил, что массивы могут реализовываться на основе хэш-таблицы.

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

В рамках C++ массивом называется непрерывное (по индексам) хранилище

А вектор в c++ как бы не гарантирует выход за пределы. Странно.

@KSergey9 · 18.02.2025, 13:55

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

А вектор в c++ как бы не гарантирует выход за пределы. Странно.

Не сумел понять что вы написали, потому не могу сказать странно это или нет.
Могли бы поподробнее развернуть?

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

Просто отметил, что массивы

Давайте оставаться в рамках терминологии того языка, которому посвящён данный раздел. Иначе я тут такого наговорю. таких словов наприменяю "как я хочу"

@Annemesski · 18.02.2025, 13:59

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

Просто отметил, что массивы могут реализовываться на основе хэш-таблицы.

странное утверждение: массив по определению непрерывность, одно из значений слова - сплошной. То что вы привели в коде на ПХП массивом не является.
это утверждение

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

Однако там массивы это массивы типа ключ-значение.

должно выглядеть как-то так

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

Однако там "массивы" это ~~массивы~~ контейнеры типа ключ-значение.

то есть тут называют массивом то, что массивом не является.

Добавлено через 30 секунд

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

Не сумел понять что вы написали

люто плюсую

@KSergey9 · 18.02.2025, 14:11

Не по теме:

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

То что вы привели в коде на ПХП массивом не является.
это утверждение

Там оно таки называется array и ничего с этим не сделать :)
А вот в Lua - table, чтобы не путать люд православный.

@CoderHuligan · 18.02.2025, 14:16

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

Могли бы поподробнее развернуть?

Вот этот код:

C++
1
2
std::vector<int> numbers {1, 2, 3, 4, 5};
numbers[5] = 9;

В gcc c17 затирает данные за хвостом вектора. это хорошо видно в дебаггере. В code blocks на вкладке debug добавить окно watches и memory dump. В последнем ввести адрес начала вектора. адрес показывается в watches.

@alexu_007 · 18.02.2025, 14:22

Если в массив можно добавлять/удалять данные не меняя его длину (меняется автоматически) - значит массив динамический. Как там всё устроено внутри (в куче, не в куче) - кому это интересно?

Новые блоги и статьи Все статьи Все блоги /
Теория всего 12. ВГК anaschu 21.07.2026 ### Главные семантические изменения и дешифровка новой физики 1. `REPRODUCTIVE_EMISSION` вместо фотосинтеза (`PS_base`): Энергия и ресурсы, которые класс средних мужчин (`_W_MEN_DONORS`). . .	Публикация отклонённая на хабре. Как «пернатого» заставить осваивать новые горизонты опыта через масштабирование задачи и целеполагание Hrethgir 21.07.2026 https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11948&stc=1&d=1784657928 Привет Хабр. В этой статье я расскажу, как один закон эпистемологии позволил мне с ходу запустить уникальный. . .	Теория всего 11. Основные параметры anaschu 21.07.2026 Дешифровка тензорного ядра Soil Chemistry 2. 0: Истинный инвариант Теории Всего Чистовой исходный код многокомпонентной сукцессии зафиксирован. Модель оперирует единым вектором состояния. . .	Теория всего 10. Клод трусишка anaschu 21.07.2026 Алгоритмический суицид ИИ: Когда математика ОДУ взламывает цензурные шлюзы Свежайший мета-прецедент нашей разработки! Клод официально отказался строить итоговую кроссплатформенную модель, как. . .
Теория всего 9. Окончательная проработка метафоры "дерево = традиции" anaschu 21.07.2026 Скрытые параметры ядра ОДУ: Механика Глубинного Рока Клод утаил от вас ключевую математику кризисов. В движке игры зашиты пять скрытых коэффициентов, определяющих, как именно ТНК и Мемы ломают. . .	Теория всего 8. Clauude трусишка. Ответ джемени anaschu 21.07.2026 Игровой баланс «Модели Всего»: Алгоритмический блок как механика Семантического БуфераЭтот скриншот отказа Клода — идеальный, чистейший прецедент для нашей Теории Всего. Вы столкнулись не просто с. . .	Теория всего 7. Дерево - это патриархат, грибы - это феминизм anaschu 21.07.2026 Уничтожение Патриархата: Как ТНК, Мемы и Половой отбор зачистили «Сексуальный Пролетариат» Величайшая иллюзия современного человека — вера в «свободу воли», «социальный прогресс» и «эволюцию. . .	История и социология Терры на примере борьбы микориз за пространство. 1. Глоссарий терры. anaschu 21.07.2026 Решил тут подумать о возможности сделать лор некоторой комп игры - стратегии, или худжественной книги антиутопии, которые будут юзать планету,которая максимально будет похожа на нашу землю, но где. . .

@SmallEvil 4086 / 2975 / 813 Регистрация: 29.06.2020 Сообщений: 11,000
	17.02.2025, 21:41
	Royal_X, я для кого пример показывал? Значит он не массив. Сколько его не обзывай им 0

Алексей1153 фрилансер 6496 / 5727 / 1133 Регистрация: 11.10.2019 Сообщений: 15,289
	18.02.2025, 08:38
	nkrdd, вектор - это не массив, но это объект, который тоже хранит элементы, расположенные в памяти непрерывно друг за другом. Для доступа к ним есть интерфейс. То есть, через вектор можно имитировать поведение массива, если так проще воспринимать. А будет вектор использовать динамическую память, стек или ещё что другое - зависит от аллокатора. 0

@alexu_007 737 / 704 / 110 Регистрация: 29.05.2015 Сообщений: 4,316
	18.02.2025, 14:22
	Если в массив можно добавлять/удалять данные не меняя его длину (меняется автоматически) - значит массив динамический. Как там всё устроено внутри (в куче, не в куче) - кому это интересно? 0