Пример кода №4

Код:


...
try
J := TJPEGImage.Create;
J.LoadFromFile(dir + aFileName);
SRC.Assign(J);
J.Free;
except
if Assigned(J) then
J.Free;
Result := False;
end;
...


Данный код содержит несколько грубых ошибок, связанных с непониманием основных механизмов языка разработки и используемых в нем принципов освобождения ресурсов:

- При возникновении ошибки в конструкторе TJPEGImage в секции exception значение переменной J будет неопределенно, т.е. она может не равняться nil, что приведет к вызову метода Free для несуществующего объекта и как следствие к ошибке access violation.

- Логика данного участка кода предполагает использование блока try finally для контроля за уничтожением объекта TJPEGImage. Использование try finally позволит избежать ненужных проверок на существование объекта и дублирование метода Free.

Не нужно допускать ошибки в конструкторе и Try except не придется использовать. Чем проверять условие что "на ноль делить нельзя" Если просто можно не допускать таких фатальных ошибок. И условие проверки не понадобиться вот вам и оптимизация. С одной лишь оговоркой если речь идет о собственном коде

Программиста который пишет "идеальный" код просто не существует, т.к. все допускают ошибки.
try...finally и try...except позволяют реализовать корректную обработку ошибок (которые кстати могут возникать не только по вине программиста, но и по вине системы например).
Понимание этого важно для коммерческой разработки.

Здравствуйте! На мой взгляд второе утверждение противоречит первому, а именно если в конструкторе действительно возникнет исключение, то вызов метода Free в блоке finally будет произведен для несуществующего объекта J. Я к тому, что простая замена конструкции try except на try finally не решит проблему. На мой взгляд в данном случае данный кусок кода должен выглядеть примерно так:

Код:

... try J := TJPEGImage.Create; try J.LoadFromFile(dir + aFileName); SRC.Assign(J); finally J.Free; end; except MessageBox(hwnd,'Объект не создался','ПечальБеда',MB_OK); end; ...

Может я чего не так понял, поправьте.

Утверждения не противоречат друг другу. Код который вы привели верный.

Нужно не просто менять except на finally, а еще и подумать о том что написано (что в данном случае и было сделано).

Тест тест

Каким образом вызов в try finally защитит тогда от ошибки в конструкторе когда переменная не nil при этом вызов free для не существующего объекта вызовет ошибку. соответсвенно внутри finally следует поместить еще try except. Вообще в ресурсоемких приложениях следует избегать применений конструкций try так как они сильно замедляют производительность кода.

Защиты от ошибки в конструкторе не требуется, т.к. в случае исключения в конструкторе, автоматический вызывается деструктор