Тоды, видимо, должно делаться автоматом... Аля в C++
Если там вообще динамические данные есть - не знаю.

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

Ну это так - общефилософские знания... Конкретные детали PHP для меня неведомы