Чи гарантовано std :: векторні елементи суміжні?

Моє запитання просте: чи std :: векторні елементи гарантовано є суміжними? Як слово, чи можу я використовувати вказівник на перший елемент std :: vector як C-масив?

Якщо моя пам'ять служить мені добре, стандарт C ++ не давав такої гарантії. Однак вимоги std :: vector були такими, що їх було практично неможливо виконати, якщо елементи не були суміжними.

Хтось може це уточнити?

Приклад:

std::vector<int> values;
// ... fill up values

if( !values.empty() )
{
    int *array = &values[0];
    for( int i = 0; i < values.size(); ++i )
    {
        int v = array[i];
        // do something with 'v'
    }
}

Це було пропущено відповідно до стандартних стандартів C ++ 98, але пізніше додано як частина TR. Наступний стандарт C ++ 0x, звичайно, буде містити це як вимогу.

Від n2798 (проект C ++ 0x):

23.2.6 Вектор шаблону класу [вектор]

1 Вектор є контейнером послідовностей, який підтримує ітератори випадкового доступу. Крім того, він підтримує (амортизовані) постійні операції вставки та стирання часу в кінці; вставлення та стирання в середині займає лінійний час. Управління зберіганням обробляється автоматично, хоча можна підказати для підвищення ефективності. Елементи вектора зберігаються безперервно, це означає, що якщо v - вектор, де T - якийсь тип, відмінний від bool, то він підкоряється ідентичності & v [n] == & v [0] + n для всіх 0 <= n <v .size ().

Як вказували інші відповіді, вміст вектора гарантовано є безперервним (крім дивацтва булів).

Зауваження, яке я хотів додати, полягає в тому, що якщо ви зробите вставку або видалення вектора, що може призвести до перерозподілу вектора в пам'яті, тоді ви приведете до недійсності всіх збережених вказівників та ітераторів.

Насправді стандарт гарантує, що a vectorє безперервним у пам'яті і що &a[0]може передаватися aC функції, яка очікує масив.

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

BTW, чому ви не використовуєте ітератори? Ось для чого вони.

Як вже говорили інші, vector внутрішньо використовується суміжний масив об'єктів. Покажчики на цей масив слід трактувати як недійсні, коли будь-яка функція, що не входить у const, називається IIRC.

Однак є виняток !!

vector<bool>має спеціалізовану реалізацію, розроблену для економії місця, так що кожен bool використовує лише один біт. Базовий масив не є суміжним масивом bool, а арифметика масиву на vector<bool>не працює так, як vector<T>хотілося б.

(Я припускаю, що також можливо, що це стосується будь-якої спеціалізації вектора, оскільки ми завжди можемо реалізувати нову. Однак std::vector<bool>це єдина, помилкова, стандартна спеціалізація, на якій проста арифметика вказівника не працюватиме.)

Я знайшов цю тему, оскільки в мене є випадок використання, коли вектори, що використовують суміжну пам'ять, є перевагою.

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

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

Тепер я можу передавати поплавці вектора як масив функціям, пов’язаним з буфером OpenGL. Це також усуває необхідність розміруof для визначення довжини масиву.

Це набагато краще, ніж виділити величезний масив для зберігання плавців і сподіваючись, що я зробив його досить великим, або створити власний динамічний масив із суміжним сховищем.

cplusplus.com:

Векторні контейнери реалізовані як динамічні масиви; Як і звичайні масиви, векторні контейнери мають свої елементи, що зберігаються у суміжних місцях зберігання, а це означає, що доступ до їх елементів можна отримати не тільки за допомогою ітераторів, але й за допомогою зрушень у регулярних покажчиках на елементи.

Так, елементи std :: vector гарантовано є суміжними.