std :: vector :: resize () проти std :: vector :: reserve ()

Існує потік в розділі коментарів в цьому записі про використання std::vector::reserve()vs. std::vector::resize().

Ось оригінальний код:

void MyClass::my_method()
{
    my_member.reserve(n_dim);
    for(int k = 0 ; k < n_dim ; k++ )
         my_member[k] = k ;
}

Я вважаю, що, щоб писати елементи в vector, правильно робити те, щоб зателефонувати std::vector::resize(), а не std::vector::reserve().

Насправді, наступний тестовий код "аварійно завершує роботу" у збірках налагодження у VS2010 SP1:

#include <vector>

using namespace std;

int main()
{
    vector<int> v;
    v.reserve(10);
    v[5] = 2;

    return 0;
}

Я маю рацію, чи я помиляюся? І чи правильно VS2010 SP1, чи це неправильно?

Існує два різних методи з причини:

std::vector::reserve виділить пам'ять, але не змінить розмір вашого вектора, який матиме логічний розмір таким же, як і раніше.

std::vector::resizeнасправді змінить розмір вашого вектора та заповнить будь-який простір об’єктами у стані за замовчуванням. Якщо вони є ints, вони всі будуть дорівнювати нулю.

Після резервування у вашому випадку вам знадобиться багато push_backs для запису в елемент 5. Якщо ви не хочете цього робити, то у вашому випадку вам слід використовувати розмір.

Одне про резерв: якщо ви потім додасте елементи з push_back, поки не досягнете зарезервованої ємності, будь-які існуючі посилання, ітератори або вказівники на дані у вашому векторі залишатимуться дійсними. Отже, якщо я зарезервую 1000 і мій розмір 5, то &vec[4]буде залишатися незмінним, поки вектор не має 1000 елементів. Після цього я можу зателефонувати, push_back()і це буде працювати, але збережений покажчик &vec[4]раніше може бути недійсним.

Тут відповів Ян Худек : Вибір між vector :: resize () та vector :: reserve ()

Ці дві функції роблять дуже різні речі.

Метод resize () (і передача аргументу конструктору еквівалентно цьому) буде вставляти задану кількість елементів у вектор (він має необов’язковий другий аргумент, щоб вказати їх значення). Це вплине на розмір (), ітерація пройде по всіх цих елементах, push_back вставить після них, і ви зможете безпосередньо отримати до них доступ за допомогою оператора [].

Метод reserve () виділяє лише пам'ять, але залишає її неініціалізованою. Це впливає лише на ємність (), але розмір () не зміниться. Для об'єктів немає значення, оскільки до вектора нічого не додається. Якщо потім вставити елементи, ніякого перерозподілу не відбудеться, оскільки це було зроблено заздалегідь, але це єдиний ефект.

Тож це залежить від того, що ви хочете. Якщо вам потрібен масив із 1000 елементів за замовчуванням, використовуйте resize (). Якщо ви хочете масив, до якого ви очікуєте вставити 1000 елементів і хочете уникнути пари виділень, використовуйте reserve ().

EDIT: Коментар Blastfurnace змусив мене ще раз прочитати питання і зрозуміти, що у вашому випадку правильна відповідь не попередньо розподіляється вручну. Просто продовжуйте вставляти елементи в кінці, як вам потрібно. Вектор автоматично перерозподілить за необхідності і зробить це ефективніше, ніж зазначено вручну. Єдиний випадок, коли резерв () має сенс, це коли ви маєте досить точну оцінку загального розміру, який вам буде легко доступний заздалегідь.

EDIT2: Редагування запитання про оголошення: якщо у вас є початкова оцінка, тоді резервуйте () цю оцінку, і якщо вона виявиться недостатньою, просто дозвольте вектору зробити це.

Це залежить від того, що ви хочете зробити. reserveнічого НЕ додавати елементи до vector; він лише змінює capacity(), що гарантує, що додавання елементів не буде перерозподіляти (і, наприклад, анулювати ітератори). resizeдодає елементи негайно. Якщо ви хочете додати елементи пізніше ( insert(), push_back()), використовуйте reserve. Якщо ви хочете отримати доступ до елементів пізніше (за допомогою []або at()), використовуйте resize. Отже, ти MyClass::my_methodможеш бути:

void MyClass::my_method()
{
    my_member.clear();
    my_member.reserve( n_dim );
    for ( int k = 0; k < n_dim; ++ k ) {
        my_member.push_back( k );
    }
}

або

void MyClass::my_method()
{
    my_member.resize( n_dim );
    for ( int k = 0; k < n_dim; ++ k ) {
        my_member[k] = k;
    }
}

Який із них ви вибрали - це питання смаку, але код, який ви цитуєте, явно неправильний.

Напевно, слід обговорити питання, коли обидва методи викликаються із числом, яке МЕНШЕ, ніж поточний розмір вектора.

Дзвінок reserve() з номером, меншим за пропускну здатність, не вплинуть на розмір або пропускну здатність.

Дзвінок resize() з номером, меншим за поточний розмір, контейнер буде зменшено до цього розміру, ефективно знищуючи зайві елементи.

Підсумовуючи resize(), звільниться пам’ять, тоді як reserve()ні.

Так, ви праві, Лучіан щойно зробив друкарську помилку і, мабуть, занадто позбавлений кави, щоб усвідомити свою помилку.

resize фактично змінює кількість елементів у векторі, нові елементи створюються за замовчуванням, якщо зміна розміру змушує вектор рости.

vector<int> v;
v.resize(10);
auto size = v.size();

в цьому випадку розмір - 10.

з іншого боку, резерв вимагає лише збільшення внутрішнього буфера до вказаного розміру, але не змінює "розмір" масиву, змінюється лише розмір його буфера.

vector<int> v;
v.reserve(10);
auto size = v.size();

в цьому випадку розмір все ще 0.

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

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