Ответ на задачку №24.

Задачка была про «чистое» и «грязное» завершение работы программы. Иногда я вижу такую классификацию:

• TerminateProcess — самое «грязное» завершение работы процесса. Процесс и потоки убиваются сразу. Код очистки (финализация DLL) не выполняется.
• ExitProcess — более «правильное» завершение процесса. Выполняется код очистки DLL.
• Halt — аналог ExitProcess в RTL языка. Дополнительно выполняет очистку RTL (финализация модулей и др.).
• Application.Terminate — замена Halt для приложений на VCL (с циклом выборки сообщений). Стоит немного отдельно, так как не выполняет немедленного завершения процесса. Зато позволяет провести более полную очистку (финализация форм и т.п.).

С этой точки зрения Halt выглядит предпочтительнее ExitProcess и уж тем более — TerminateProcess. И если приложение не использует VCL, то может показаться, что это — даже и правильное завершение процесса.

Тем не менее, в указанном коде есть одна явная и одна потенциальная проблемы.
Начнём со слона в комнате: Halt выполняет немедленное завершение программы — что означает, что никакой код после Halt не выполняется. В том числе — и очистка строки S. Это означает, что в этом коде — утечка памяти. Это и был вопрос задачки.

Да, это может не иметь значения на практике, поскольку вся память процесса будет освобождена ОС при выходе. Тем не менее, она будет определена как утечка любым отладочным инструментом для поиска утечек памяти. Иными словами, её нужно устранить.

Второй проблемы может и не быть в конкретно взятой программе (т.е. к задачке это отношения уже не имеет), но потенциально она возникнуть может (и легко). Надо иметь в виду, что Halt не выполняет полную (читай: «правильную») очистку, поскольку любые вышестоящие блоки finally не выполняются. Зато Halt выполняет секции finalization ваших модулей. С точки зрения программы у неё «волшебным» образом при выполнении оказываются пропущенными блоки кода. В частности, в пропущенных блоках может стоять финализация фоновых потоков. Т.е. при использовании Halt фоновые потоки будут всё ещё выполняться — что может оказаться неожиданным для кода очистки из секций finalization. Т.е. открываются широкие возможности для блокировок, ошибок доступа и т.п.

Мораль истории: не используйте Halt и ExitProcess. Если вам нужно чисто выйти из процесса, то нужно сделать это «естественным» способом — просто закончить выполнение главной процедуры основного потока. Чтобы перейти к её концу из произвольного места, можно использовать Exit и/или Abort (с подходящей конструкцией обработки на верхнем уровне).

А если вам нужно экстренно завершить процесс, то используйте TerminateProcess.

Читать на сайте автора.