C++ std::queue::pop() вызывает деструктор. Какие типы указателей?

Интернет-источники стоят столько, сколько вы за них платите — получите соответствующую ссылку, например книгу Джосуттиса. pop() не «вызывает деструктор» — он просто удаляет элемент из базового представления адаптера очереди (по умолчанию это std::deque), вызывая для него pop_front(). Если извлекаемая вещь имеет деструктор, он будет использоваться, когда извлекаемый объект выходит за пределы области видимости, но класс очереди не имеет к этому никакого отношения.

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

«Как мне убедиться, что все удаляется и память освобождается правильно?»

Если вам абсолютно необходимо хранить указатели в своей очереди, и вы хотите, чтобы они автоматически освобождались, когда они poped, то вместо очереди указателей вам нужна очередь объектов, которые хранят указатель и удаляют его в своем деструкторе. . Например, вы можете использовать очередь shared_ptr. shared_ptr не входит в стандартную библиотеку, но является частью TR1 и широко доступен.

В противном случае ответственность за удаление объекта лежит на вызывающем объекте:

T *off = q.front();
q.pop();
delete off;

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