Какие материалы почитать про выделение памяти в c++?

Question

[0nk0l0g]

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

Answer 1

[maaGames]

int a; //стек
int * a = new a; // куча

Это всё, что нужно знать о выделении памяти в стеке и куче.

Comments

[Николай Романович]

malloc еще

[maaGames]

Николай Романович: Это уже Сишное. На С++ лучше постараться без malloc обходиться.

[Николай Романович]

Иногда лучше использовать malloc, чем извращаться с new

[maaGames]

Ринат Велиахмедов: Когда пишешь свой аллокатор и ЖАЖДЕШЬ сэкономить 4/8 байт памяти.)

[maaGames]

Ринат Велиахмедов:
new int; // выделяется 4 байта под число, плюс 4-8 байт служебных данных перед ними.
malloc(4); // выделение 4 байт, Без служебных данных.

[maaGames]

Ринат Велиахмедов: Чтобы корректно работал delete/delete[]
Вообще, на 100% уверен, что в различных архитектурах может быть различная реализация. Но для работы delete[] необходима служебная информация.

[maaGames]

Ринат Велиахмедов: Очень правильное замечание (не пользуюсь malloc/free, так что даже не уточнял, как они работают). Тогда разница только в вызовах конструктора/деструктора. Что опять же приводит к тезису, что нафиг malloc/free в С++ не нужен. Только для совместимости.

[Максим Мосейчук]

maaGames: malloc всегда записывает служебную информацию перед выделяемой памятью. Иначе free элементарно не узнает размер освобождаемого участка памяти.
А new не является чем-то особенным. Внутри он так же использует malloc.

[Николай Романович]

А попробуйте-ка через new выделить структуру с безразмерными полями. Можно конечно, но выглядеть будет не ахти.

[maaGames]

Николай Романович: Что такое "безразмерное поле"?

[Николай Романович]

struct SomeStruct
{
  int SomeField1;
  char someArray[]; // <--
};

[maaGames]

Николай Романович: Не уверен на счёт нового стандарта, но в старом стандарте это не безразмерное поле, а массив фиксированного размера, но размер определяется правой частью. Либо массив нулевой длины, но от него смысла вообще минимум.

[Николай Романович]

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

SomeStruct *var = malloc(sizeof(SomeStruct) + 100500/*размер массива*/);

[maaGames]

Николай Романович: Ну так это вы просто не правильно с памятью работаете. Выделяете не структуру с массивом в 100500 байт, а выделяете 100500 структур размером sizeof(SomeStruct). Её размер как минимум 4 байта (размер someArray[] может варьироваться в зависимости от 100500 факторов). Т.е. выделяете памяти минимум в четыре раза больше, чем хотите, а потом делаете вид, что это new кривой и не позволяет писать неадекватную чушь.)

[Николай Романович]

Вы не правы. В данном случае выделяется одна структура с размером массива 100500 байт. sizeof(SomeStruct) [+, а не*] 100500;

[Николай Романович]

Я не в коем случае не говорю, что new кривой, я говорю, что у new и malloc разные области применения (а еще внутри new сидит точно такой же malloc).

[maaGames]

Николай Романович: Я прав, а malloc вообще не выделяет структур, он выделяет блок байт. somaArray[] содержит адрес пустого массива. Пытаясь его индексировать, вы обращаетесь к памяти ЗА пределами структуры. Размер структуры равен sizeof(int) + sizeof(someArray[]) + возможное выравнивание. Ни о каких 100500 и речи быть не может.
Такая путаница ещё раз подтверждает, что в 99.99% случаев лучше забыть про malloc, т.к. понять его работу гораздо сложнее, чем new.

[Николай Романович]

Я конечно извиняюсь, но советую вам погуглить насчет 0-size arrays. В данном случае нично не мешает оращаться к памяти за пределами структуры (но не за пределами выделенного блока !!!), на этом и основана данная "фича" языка.

[maaGames]

Николай Романович: Это не "фича", а некорректное использование. Поменяйте местами int и char[] и будет очень весело. Опять же, нельзя нарисовать два "нулевых" массива в одной структуре. Это ужаснейший косяк языка, позволяющий говнокодить.

[Николай Романович]

Давайте закончим эту дискуссию, все-равно каждый останется при своем мнении. :-)

[maaGames]

Николай Романович: Это не разные мнения. Вы используете UB, который по счастью пока не приводит к краху. Не делай так, короче.)

[Николай Романович]

Это ни разу не UB, это стандарт. Впервые он появился как gcc extension. https://gcc.gnu.org/onlinedocs/gcc/Zero-Length.html

[maaGames]

Николай Романович: Согласен, был не прав, это не UB. Это стандартизированный сишный костыль.) Будет весело написать такое на С++ и использовать такую структуру в качестве базового класса при множественном наследовании.
И я не заметил, что в malloc суммирование, а не умножение на sizeof(), так что перерасхода памяти и правда нет.

[Николай Романович]

Никто же не предлагает наследоваться от такой структуры. Такое расширение вообще обычно не используется. Но это очень удобно при хранении данных, где оно и используется.

[maaGames]

Ринат Велиахмедов: В Сишке нет std::vector, а эта структура позволяет хранить длину массива и указатель на него совместно. Костыль для тех, кто не умеет в vector.)
Я бы выпилил такую запись из стандарта с громкими ругательствами.