Как узнать, когда освободить память?

Question

Итак, у меня проблема с домашним заданием, потому что getApple is const, я не могу установить locallyAllocated = false, что означает, что когда getApple вызывается с яблоком, созданным и освобождаемым в какой-либо другой программе, мой деструктор пытается освободить памяти и выбрасывает двойную свободную ошибку. Что я делаю неправильно, и как я могу это исправить? Примечание: функции, их параметры и подписи должны быть такими, какими они предназначены для нашего задания. Спасибо!

class poop 
{ 

Apple localApple; 
bool locallyAllocated; 
void* pointer; 

public: 
    poop(const Apple &apple) 
    { 
     //Set our local apple to the apple in the provided address 
     localApple = apple; 
     locallyAllocated = false; 
    } 
    poop(string descr) 
    { 
     localApple.description = descr; 
     pointer = maloc(sizeof(localApple); 
     localApple.pointer = pointer 
     locallyAllocated = true; 
    } 
    ~poop() 
    { 
     if(locallyAllocated) 
     { 
       //This throws a double free error if "getApple" is ever called 
      free(pointer); 
     } 
    } 
    void getApple(Apple* apple) const 
    { 
     if(apple) 
     { 
      //Copies our local apple into the address of the given apple 
      //Because this function is "const", i can't do anything like set "locallyAllocated" to false 
      *apple = localApple 
     } 
    } 
} 

Answer 1

У вас есть некоторые небезопасные вещи здесь происходит .. в частности:

poop(const Apple &apple) 
{ 
    //Set our local apple to the apple in the provided address 
    localApple = apple; 
    locallyAllocated = false; 
} 

Это означает, что кто-то, вероятно, может бесплатно apple.pointer из-под вас, что означает, что ваш localApple.pointer будет недействительным. Вы должны также выполнить выделение в этом методе и memcpy.

Однако здесь есть большая проблема ... вы даже не используете .pointer. Вам даже нужно что-то выделять? Какова ваша цель указателя?

Если вы довольны своим классом, как есть, вы должны проверить ключевое слово mutable.

Answer 2

Объявив locallyAllocatedmutable, вы сможете изменить его значение в методах const. Другим худшим решением было бы хранить locallyAllocated в качестве динамически распределенного логического.

Answer 3

Мой первый инстинкт должен посоветовать вам использовать общие указатели

http://en.cppreference.com/w/cpp/memory/shared_ptr

Однако, если вам необходимо отслеживать при распределении самостоятельно, вы должны сделать locallyAllocated изменяемым. В условиях laymans это означает, что член может быть изменен даже в методе, обозначенном как const (он позволяет вам поддерживать логическую константу при нарушении «физического» const).

Answer 4

Для меня ваша проблема заключается в том, что несколько яблок должны иметь один и тот же объект, на который указывает Apple::pointer. Это, однако, не указано явно в вашем коде. Ошибка.

Существует не окончательное правило для управления памятью, которое подходит повсюду. Тем не менее, есть способы отразить ваше общее владение объекта, на который указывает Apple::pointer (Я предполагаю, что это яблоко тоже с учетом его размера?).

• Одна вещь, которую вы можете сделать, это написать правильный конструктор копирования Apple::Apple(Apple const&), который позаботится о дублировании объекта, указанного в объекте.
• Если вы хотите сохранить совместное владение, используйте std::shared_ptr вместо необработанного указателя. Это возьмет на себя ответственность за удаление указателя на объект с ваших плеч. «Последний, кто уйдет, закрывает дверь».

Обратите внимание, что ваш член locallyAllocated является очень упрощенной версией интеллектуальных указателей.