Правила размещения объектов в памяти

@Mamontez · Регистрация: 25.02.2015

Author24 — интернет-сервис помощи студентам

Привет всем! Подскажите пожалуйста, искал по форуму поиском ответ, но не нашел.
Имеем такой код:

C++

class A{
  public
    A();
    ~A();
    int i;
    int j;  
}
 
class B{
  public 
    B();
   ~B();
    int x;
    int y;
   void exchange(void);
    
}
 
B::B(){
  A a();
  a.i=7;
}
 
B::exchange(){
   int s;
 
   s=x;
   y=s;
}
 
int main(){
  
  B *b = new B();
 
  delete(b);
  return 0
}

указатель на объект типа B разместится в стеке, сам объект в куче, а вот где разместится объект А созданный внутри объекта B, в стеке или в куче внутри объекта B?

Переменная s метода exchange будет создана в стеке и разрушится автоматически при выходе из метода?

Обязательно ли при выходе освобождать память занятую объектом b, ведь при завершении процесса ОС автоматически освобождает всю доступную процессу память?

@nmcf · 25.02.2015, 16:26

A будет в стеке и s там же.
На каждый new должен быть свой delete.

@DrOffset · 25.02.2015, 16:38

Сообщение от Mamontez

Обязательно ли при выходе освобождать память занятую объектом b, ведь при завершении процесса ОС автоматически освобождает всю доступную процессу память?

Дело не в памяти, а в ресурсах, которые могут быть выделены в классе. Деструктор не вызвался, сокет, например, не закрылся, порт висит занятый, пока система по таймауту его не прибьет. Ну и гарантии, что система там что-то прибьет, в общем случае нет. Этот путь только для тех, кто хочет писать некорректные программы

Сообщение от Mamontez

а вот где разместится объект А созданный внутри объекта B, в стеке или в куче внутри объекта B?

Объект А не "внутри" объекта B. Он внутри конструктора (функции), следовательно разместится в стеке. Вот если бы он был членом класса, т.е. фактически находился бы внутри объекта B, то его storage duration была бы такой же, как у объемлющего объекта.

Сообщение от Mamontez

Переменная s метода exchange будет создана в стеке и разрушится автоматически при выходе из метода?

Да, в стеке (тоже самое что в примере с конструктором). Да, "разрушится", но на самом деле в данном случае значение останется там же где и было, пока его не перезатрут. Размещение на стеке оттого и быстрое такое, что только указатель стека изменяется на нужный размер.

@metacoder · 25.02.2015, 17:03

ОС освободит. В данном конкретном случае это не проблема. Но подобные практики - путь к утечкам. Особенно, если кто-то будет использовать ваш код кроме вас не разобравшись до конца что он не освобождает память. В цикле. И для демона, который работает на сервере 24/7. При работе в команде такое бывает и по этому иногда лучше быть догматичным до мозга костей.

@Mamontez · 26.02.2015, 13:35 **[ТС]**

Вот если бы он был членом класса, т.е. фактически находился бы внутри объекта B, то его storage duration была бы такой же, как у объемлющего объекта.

А как его сделать членом класса?
Так:

C++

class A{
  public:
    A();
    ~A();
    int i;
    int j;  
}
 
class B{
  public: 
    B();
   ~B();
    int x;
    int y;
   void exchange(void);
   A a;  
}
 
B::B():a(){
 
}

В данной ситуации объект А будет в куче внутри объекта B?

@DrOffset · 26.02.2015, 14:15

Сообщение от Mamontez

В данной ситуации объект А будет в куче внутри объекта B?

Если сам объект типа B будет в куче, то и объекта а (как собственно x и y) внутри него тоже.

@nmcf 7801 / 6566 / 2986 Регистрация: 14.04.2014 Сообщений: 28,709
	25.02.2015, 16:26	2
	A будет в стеке и s там же. На каждый new должен быть свой delete. 0

@DrOffset 18948 / 9896 / 2420 Регистрация: 30.01.2014 Сообщений: 17,380
	25.02.2015, 16:38	3
	Сообщение от Mamontez Обязательно ли при выходе освобождать память занятую объектом b, ведь при завершении процесса ОС автоматически освобождает всю доступную процессу память? Дело не в памяти, а в ресурсах, которые могут быть выделены в классе. Деструктор не вызвался, сокет, например, не закрылся, порт висит занятый, пока система по таймауту его не прибьет. Ну и гарантии, что система там что-то прибьет, в общем случае нет. Этот путь только для тех, кто хочет писать некорректные программы Сообщение от Mamontez а вот где разместится объект А созданный внутри объекта B, в стеке или в куче внутри объекта B? Объект А не "внутри" объекта B. Он внутри конструктора (функции), следовательно разместится в стеке. Вот если бы он был членом класса, т.е. фактически находился бы внутри объекта B, то его storage duration была бы такой же, как у объемлющего объекта. Сообщение от Mamontez Переменная s метода exchange будет создана в стеке и разрушится автоматически при выходе из метода? Да, в стеке (тоже самое что в примере с конструктором). Да, "разрушится", но на самом деле в данном случае значение останется там же где и было, пока его не перезатрут. Размещение на стеке оттого и быстрое такое, что только указатель стека изменяется на нужный размер. 2

@metacoder 35 / 35 / 15 Регистрация: 28.07.2011 Сообщений: 64
	25.02.2015, 17:03	4
	ОС освободит. В данном конкретном случае это не проблема. Но подобные практики - путь к утечкам. Особенно, если кто-то будет использовать ваш код кроме вас не разобравшись до конца что он не освобождает память. В цикле. И для демона, который работает на сервере 24/7. При работе в команде такое бывает и по этому иногда лучше быть догматичным до мозга костей. 0

@DrOffset 18948 / 9896 / 2420 Регистрация: 30.01.2014 Сообщений: 17,380
	26.02.2015, 14:15	6
	Сообщение от Mamontez В данной ситуации объект А будет в куче внутри объекта B? Если сам объект типа B будет в куче, то и объекта а (как собственно x и y) внутри него тоже. 1