Удалить или не удалять (вызовите func)?

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

Решения включают:

• Убедитесь, что ваше приложение построено с тем же менеджером кучи, что и библиотека.
• Реализуйте (не встроенный) метод deleteMe в классе, реализация которого может быть delete this;.
• Определите пользовательский operator delete в классе, реализованном в библиотеке ... если есть пользовательский оператор delete, он будет вызываться, если и когда ваше приложение удалит часть объекта.

I remember someone saying if you create a class through a lib you should destroy it through the lib.

Это означает, что если вы вызываете функцию в библиотеке для создания объекта для вас, вы должны прочитать документацию этой функции, в которой должно быть указано, как вы снова освободите этот объект. Часто функция бесплатно что-то называется аналогично функции распределения. Например, библиотека pcre имеет две функции: pcre_malloc и pcre_free.

Причина в том, что библиотека выделяет ресурсы непрозрачным для вас образом (именно поэтому вы в первую очередь используете эту функцию). Он может получить память из раздела данных программы, в то время как вы (ошибочно) предположите, что он получил память, возможно, из кучи при использовании delete.

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

1. Инкапсулирован ли объект в интеллектуальный указатель? Затем интеллектуальный указатель позаботится о вызове соответствующего удалитель, который вы указали.
2. Вы возвращаете необработанный указатель? Вам следует избегать этого, потому что вызывающая сторона должна отслеживать указатель, а вызывающая сторона должна будет передать указатель в документ функции ты в вашем интерфейсе. Это просто еще один уровень зависимости, которую вы возлагаете на пользователя вашей библиотеки, которую интеллектуальные указатели могут элегантно рационализировать.
3. Вы возвращаете объект по значению, которое само по себе является оболочкой для выделенного ресурса? В этом случае перегрузите конструктор копирования, оператор присваивания копии и деструктор класса этого объекта, который затем управляет ресурсом, либо копируя его должным образом, либо разделяя его между всеми другими экземплярами своего объекта (см. этот ответ).

Вы почти никогда не должны перегружать оператор удаления для вашего класса пока не, вы также перегрузили новый оператор. Перегрузка оператора удаления не должна восприниматься буквально: это означает, что вы просто перегружаете освобождение связанной памяти объекта. Это имеет смысл только в том случае, если вы размещаете свой собственный пул памяти или хотите регистрировать каждое выделение / освобождение памяти для ваших объектов.

Это правило применяется к классам, разрабатываемым Ты. Практическое правило (хотя и не всегда используется) состоит в том, что если класс создает объект, он должен его удалить.

Но если вы спрашиваете о какой-то библиотеке, разработанной кем-то другим, вы не можете знать, соблюдал ли он это правило, и вам нужно проверить это через himselef / documentation / code.

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

Если ваша библиотека предоставляет определенный метод для создания объектов с точки зрения менеджеров памяти и т. д., Тогда у вас должен быть способ нет, чтобы избавиться от этого объекта, за исключением значимого способа, который бы избавлялся от объекта аналогично тому, как он был построен / выделен.

Другими словами, если ваши объекты склонны выделяться определенным образом, убедитесь, что все способы избавления от них соответствуют вашим «определенным способам».