Является ли векторное резервное пространство всегда линейным? [Дубликат]

Да, элементы std :: vector гарантируют непрерывность.

Как указывали другие ответы, содержимое вектора гарантировано будет непрерывным (за исключением странности bool).

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

cplusplus.com:

Векторные контейнеры реализованы как динамические массивы; Как и обычные массивы, векторные контейнеры имеют свои элементы, хранящиеся в смежных местах хранения, что означает, что к их элементам можно получить доступ не только с помощью итераторов, но и с использованием смещений на регулярных указателях на элементы.

Стандарт фактически гарантирует, что vector является непрерывным в памяти и что &a[0] может быть передан функции C, которая ожидает массив.

Исключением из этого правила является vector<bool>, который использует только один бит на bool, хотя он имеет непрерывную память, он не может использоваться как bool* (это широко считается ложной оптимизацией и ошибкой).

Кстати, почему бы вам не использовать итераторы? Для этого они нужны.

Я нашел этот поток, потому что у меня есть прецедент, в котором преимуществом являются векторы, использующие непрерывную память.

Я изучаю, как использовать объекты вершинного буфера в OpenGL. Я создал класс-оболочку, содержащий логику буфера, поэтому мне нужно всего лишь передать массив поплавков и несколько значений конфигурации для создания буфера. Я хочу иметь возможность генерировать буфер из функции, основанной на пользовательском вводе, поэтому длина не известна во время компиляции. Сделать что-то вроде этого было бы самым простым решением:

void generate(std::vector<float> v)
{
  float f = generate_next_float();
  v.push_back(f);
}

Теперь я могу передать float вектора в виде массива для функций, связанных с буфером OpenGL. Это также устраняет необходимость в sizeof для определения длины массива.

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

Как уже говорили другие, vector внутренне использует непрерывный массив объектов. Указатели в этот массив должны рассматриваться как недействительные, когда любая неконстантная функция-член называется IIRC.

Однако существует исключение !!

vector<bool> имеет специализированную реализацию, разработанную для экономии места, так что каждый bool использует только один бит. Базовый массив не является смежным массивом арифметики bool и массива на vector<bool> не работает, как vector<T>.

(я полагаю, также возможно, что это может быть справедливо для любой специализации вектора , так как мы всегда можем реализовать новую. Однако std::vector<bool> является единственной, ошибочной, стандартной специализацией, на которой простая арифметика указателя не будет работать.)