Как проверить, была ли освобождена память в Destructor?

Я думаю, проблема не в том, что allegro сама выпускает растровые изображения (иначе вам не нужно было бы выпускать их при выходе), а в том, что библиотека allegro была деинициализирована до вызова деструктора.

int main()
{
    ObjectManagingBitmaps o;
    ...
    return 0;
    //allegro automatically shut down here
} //o destructor invoked here
END_OF_MAIN()

Чтобы убедиться, что деструктор вызывается первым, вы можете использовать искусственную область видимости:

int main()
{
    {
    ObjectManagingBitmaps o;
    ...
    } //o destructor invoked here
    return 0;
    //allegro automatically shut down here
} 
END_OF_MAIN()

Вы не должны использовать массивы необработанных указателей. Allegro поставляется с функциями create_bitmap и destroy_bitmap. Это очень хорошо согласуется с концепцией конструкторов и деструкторов C++. У вас должен быть класс AllegroPlusPlus::bitmap, который управляет ровно одним растровым изображением. Ваш класс Tank может просто иметь их массив.

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

Вы хотите переработать растровые изображения в своем классе Tank. Это не проблема; это можно легко сделать с хорошей реализацией bitmap::operator=(bitmap const&) или других перегрузок. Но опять же, возложите ответственность за это назначение на класс растровых изображений, а не на класс резервуара.

Могу ли я проверить действительные указатели, если они не равны NULL?

Нет. Но в вашем случае и не нужно. Поскольку Allegro обещает позаботиться о своих ресурсах, вам не нужно (и не следует) вмешиваться в обработку ресурсов Allegro. В частности, поскольку вы даже не знаете, как распределяются ресурсы, вы не можете освободить их.

Ключ к явному управлению памятью заключается в том, что хотя вы можете иметь несколько указателей на одну и ту же область памяти в любой момент времени, только один из них является назначенным владельцем, а все остальные только совместно используют ее. Когда объекты кучи владеют другими объектами кучи, они составляют дерево, укорененное где-то в глобальной или локальной переменной.

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

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

Звучит как довольно ужасная дырявая абстракция

Вы не можете надеяться найти безопасный метод уничтожения памяти, если точно не знаете, как она была выделена. Функция очистки звучит так, как будто она существует по какой-то причине и выполняет свою работу — просто нужно с этим жить.

Конечно, вы можете обернуть эти фрагменты и включить некоторую документацию в комментарии, чтобы другие разработчики не попали в ту же ловушку.

Также профилируйте свое приложение, чтобы убедиться в отсутствии утечек.

Когда вызывается деструктор? Это после закрытия библиотеки Allegro? Если да, то можете ли вы сначала удалить все объекты?

Вы уверены, что используете это правильно? Я откопал часть своего старого кода Allegro, и у меня есть конструктор с вызовом create_bitmap и деструктор с вызовом release_bitmap, и он работал нормально.

Я ничего не помню об автоматическом освобождении памяти Allegro для вас. Вы случайно перезаписываете указатель каким-то значением, не связанным с памятью? Есть ли другое место, где этот указатель освобождается?

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

http://en.wikipedia.org/wiki/Reference_counting

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

Если вам нужно закрыть Allegro раньше (например, из-за фатальной ошибки), вы можете просто вызвать выход, и в этом случае деструкторы не запустятся (но ваша программа все равно не рухнет).

Не тратьте слишком много времени на то, чтобы программа очищалась при выходе, сэкономьте свои усилия на том, чтобы убедиться, что она не протекает во время работы :)