Коли вектори виділяються, вони використовують пам'ять на купі чи стеку?

Чи правдиві всі наступні твердження?

vector<Type> vect; //allocates vect on stack and each of the Type (using std::allocator) also will be on the stack

vector<Type> *vect = new vector<Type>; //allocates vect on heap and each of the Type will be allocated on stack

vector<Type*> vect; //vect will be on stack and Type* will be on heap. 

Як внутрішньо розподіляється пам'ять Typeу тому vectorчи іншому контейнері STL?

vector<Type> vect;

буде виділяти vector, тобто інформацію заголовка, на стек, але елементи у вільному сховищі ("купи").

vector<Type> *vect = new vector<Type>;

виділяє все на безкоштовний магазин.

vector<Type*> vect;

виділить vectorна стек і купу покажчиків у вільному магазині, але де ця точка визначається тим, як ви їх використовуєте (скажімо, можна вказати елемент 0 на вільний магазин і елемент 1 на стек, скажімо).

vector<Type> vect; //allocates vect on stack and each of the Type (using std::allocator) also will be on the stack

Ні, vectбуде в стеці, але масив, який він використовує внутрішньо для зберігання елементів, буде знаходитися в купі. Елементи будуть знаходитися в цьому масиві.

vector<Type> *vect = new vector<Type>; //allocates vect on heap and each of the Type will be allocated on stack

Ні. Те саме, що вище, за винятком того, що vectorклас буде також на купі.

vector<Type*> vect; //vect will be on stack and Type* will be on heap. 

vectбуде на стеці, його пункти (покажчики на Type) будуть знаходитись у купі, і ви не можете сказати, куди будуть Typeвказані вказівники. Можливо, на стеці, на купі, в глобальних даних, ніде (тобто NULLвказівники).

BTW реалізація фактично може повністю зберігати деякі вектори (як правило, невеликого розміру) на стеку. Не те, щоб я знав про будь-яку таку реалізацію, але це може.

Якщо припустити реалізацію, яка насправді має стек та купу (стандартний C ++ не вимагає наявності таких речей), єдиним вірним твердженням є останнє.

vector<Type> vect;
//allocates vect on stack and each of the Type (using std::allocator) also will be on the stack

Це правда, за винятком останньої частини ( Typeне буде в стеку). Уявіть собі:

  void foo(vector<Type>& vec) {
     // Can't be on stack - how would the stack "expand"
     // to make the extra space required between main and foo?
     vec.push_back(Type());
  }

  int main() {
    vector<Type> bar;
    foo(bar);
  }

Аналогічно:

 vector<Type> *vect = new vector<Type>; //allocates vect on heap and each of the Type will be allocated on stack

Правда, крім останньої частини, з аналогічним зустрічним прикладом:

  void foo(vector<Type> *vec) {
     // Can't be on stack - how would the stack "expand"
     // to make the extra space required between main and foo?
     vec->push_back(Type());
  }

  int main() {
    vector<Type> *bar = new vector<Type>;
    foo(bar);
  }

Для:

vector<Type*> vect; //vect will be on stack and Type* will be on heap. 

це правда, але тут зауважте, що Type*покажчики будуть на купі, але Typeвипадки, на які вони вказують, не повинні бути:

  int main() {
    vector<Type*> bar;
    Type foo;
    bar.push_back(&foo);
  }

Вірно лише це твердження:

vector <Type*> vect; //vect will be on stack and Type* will be on heap.

Type* покажчики розподіляються на купу, тому що кількість покажчиків може динамічно змінюватися.

vect у цьому випадку виділяється на стек, тому що ви визначили його як локальну змінну стека.

вектор має внутрішній, allocatorякий відповідає за розподіл / розміщення спогадів з heapдля vector element. Отже, як би ви не створили вектор, його elementзавжди виділяється на heap. Щодо метаданих вектора, це залежить від способу їх створення.