Блог

Мне интересно, всегда ли RAII выделяет в стеке, или компилятор когда-либо использует кучу для больших объектов (а затем, возможно, добавляет токен в стек как своего рода напоминание о том, когда следует уничтожить соответствующий объект, выделенный в куче)?

ОБНОВЛЕНИЕ: По-видимому, этот вопрос был сочтен неясным. Возможно, пример кода прояснит это:

В этом коде:

 void dosomething() {
    MyClass myclass();
}
  

Предполагая, что компилятор не оптимизировал такой тривиальный пример, всегда ли экземпляр MyClass, который создается таким образом, выделяется в стеке, или куча когда-либо используется?

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

То, как вы говорите о RAII, звучит так, будто у вас сложилось неправильное представление о самой фундаментальной идее того, что такое RAII. RAII (также известный как SBRM — управление ресурсами, привязанными к стеку, поэтому RAII на самом деле не полностью ортогональен, по крайней мере, концепции стека) — это, по сути, стиль программирования.

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

Например, типичный string объект будет содержать только небольшой объем данных, таких как указатель на содержимое строки и одно или два целых числа для отслеживания размера строки. Когда вы создаете строку, она выделяет некоторое пространство из свободного хранилища для хранения фактических данных. Когда строка уничтожается, она автоматически освобождает эти данные. В некоторых случаях у него будет некоторая логика, позволяющая избежать такого выделения свободного хранилища для небольших строк путем выделения небольшого (фиксированного) объема пространства в самом объекте string, но это не меняет основной идеи.

Итак, реальный ответ — это квалифицированное «да». Да, довольно часто имеется небольшой объект, содержащий указатель на некоторые данные, выделенные в куче. Да, объект освободит эту память, когда сам объект будет уничтожен. Но нет, это не то, что компилятор делает за вас. Скорее, это то, что вы делаете при проектировании и реализации своих классов.