Будет ли утечка памяти при использовании такой конструкции С++?

Question

[Lost_brain]

void foo()
{
    int x = 5;

    MySmartPointer<int> *msp = new MySmartPointer<int>(&x);
}

1) При выходе из функции уничтожится только указатель(msp) или указатель(msp) и все то, что находится по адресу?
2) Вызовет ли рекурсию следующая конструкция:

~MySmartPointer()
{
    delete this;
}

?

Comments

[xorknown]

1) При выходе за пределы видимости уничтожаются только стековые переменные. С помощью new вы выделяете память на стеке? Если да, то удалится, если нет, то утечка
2) Никогда так не делал, но по логике работы должна быть рекурсия. Думаю вы это сам быстро проверить можете.

Условно говоря, при выходе из области видимости будет вызван деструктор указателя на объект. Что он делает - ничего. Было бы странно если два указателя на один объект удалялись и паралельно два раза удаляли объект.

Answer 1

[Денис Загаевский]

Да, будет утечка, утечет сам объект MySmartPointer, тк его никто не удалит. При выходе из функции уничтожится лишь сам указатель, но не то, куда он указывает.

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

Comments

[Lost_brain]

А если я в деструкторе класса удалю все данные класса, утечки не будет?

~MySmartPointer()
{
if(ptr != nullptr)
{
delete this->ptr;
ptr = nullptr;
}

}

[Денис Загаевский]

Lost_brain, будет, потому что читай мой ответ.
Никто не удаляет сам этот объект MySmartPointer, значит его деструктор не вызовется. Утечет он сам.

В твоём примере, также, внутрь передаётся указатель на область стека, его удалять нельзя. Это не имеет смысла, после выхода из функции эта память станет невалидной.

Answer 2

[rPman]

нет
кардинально неверное использование деструктора

Деструктор вызывается когда вы уже вызвали удаление объекта delete msp, и призван удалить все что объект проинициализировал но не его самого.

Отличный пример, использование класса для автоматического закрытия файла

class FR
{
  FILE *f;
  public:
  FR(char* name)
  {
    this->f=fopen(name,'r');
  }
  void do()
  {
    // тут работаем с файлом
    // если произойдет проблема, вызываем эксепшн
    throw "The problem";
  }
  ~FR()
  {
    fclose(this->f);
  }
}

void main()
{
  try
  {
    FR fr('test.txt');
    fr.do();
    printf("all ok");
  } catch(const char* msg)
  {
    printf("Error: %s\n",msg);
  }
}

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

Comments

[Lost_brain]

А окончание жизни объекта произойдет при выходе из блока try, не зависимо от того: было ли брошено исключение или работа с файлом прошла корректно?

[rPman]

да, и это работает не только с try catch но и вообще с любой областью видения

Осторожно со ссылками, за их удалением придется следить самому, поэтому рекомендуется как можно дольше не использовать *type, в крайнем случае можно использовать &, но там заморочки с инициализацией.