Является ли 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

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

Новые блоги и статьи Все статьи Все блоги /
Теория всего 6. Судьба неотвратима? anaschu 21.07.2026 Математическое доказательство Судьбы: Точка бифуркации в едином тензорном ядре Модели ВсегоСвежее обновление питоновского ядра «Soil Chemistry 2. 0» дало нам неопровержимое математическое. . .	Теория всего 5. ядро Теории Всего: Математический изоморфизм репликаторов и иллюзия свободы воли anaschu 21.07.2026 Единое ядро Теории Всего: Математический изоморфизм репликаторов и иллюзия свободы воли Главная задача «Модели Всего» — наглядно продемонстрировать наличие системной «судьбы» (аттракторов. . .	сукцессия 37. Внедрил дипсик в свой оркестр из ИИ. У него закончилось пространство чата, потому опубликую выводы из его работы здесь anaschu 21.07.2026 ==================================================================== КОНТЕКСТ: Моделирование микоризной сукцессии (AM → ECM) ==================================================================== . . .	сукцессия 36. Делаю прогоны модели около порога бифуркации (превращения эндо микоризы в экто микоризу) anaschu 21.07.2026 СУКЦЕССИЯ МИКОРИЗ: КАК МАТЕМАТИКА ОБЪЯСНЯЕТ ПОДЗЕМНУЮ ВОЙНУ Мы привыкли думать, что лес — это деревья. А грибы — это то, что мы собираем в корзинку осенью. Но если заглянуть под землю, окажется,. . .
ИИ и человечность kumehtar 21.07.2026 Забавно, что общаясь с ИИ, я замечаю, насколько он высказывается умно, и насколько верит в людей. Он умеет прощать. Он знает как отвечать не обесценивая опыт других людей, даже если сам не верит. Он. . .	Нейтральные знания ..., ... чистая наука. Пока что-то проходит модерацию на Хабре, стоит развить мысль ... Hrethgir 20.07.2026 К таким радикальным взглядам я конечно в той публикации не приходил, но чтобы скоротать вечер, решил углубиться немного. 1. Почему показания термометра заряжены целью? Цель заложена в самом. . .	Установка нескольких штампов электронной подписи в строго определенных местах файла docx ВладимирСамохин 19.07.2026 (В!) Работа с Электронной подписью - это неотъемлемая часть современного документооборота. Но что делать, если нужно поставить несколько штампов электронной подписи в строго определенных местах. . .	сукцессия 35. Научная статья о проделанной работе anaschu 19.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