Avoiding implicit try finally section/ru: what changed

Revision 1 to 2. Removed lines have a minus sign; added lines have a plus sign.

Old	New		Line
1	1		## Обзор
2	2
3	3		Иногда полезно знать, что компилятор может обернуть код в неявный try ... finally блок. По сути дела это необходимо, когда вы используете переменную любого типа, которая должна быть инициализирована / деинициализирована (освобождена). Иными словами, стандартные процедуры Initialize() и Finalize() должны что-то сделать с ней. Это может быть актуально, например, при использовании переменных стандартных типов подобных AnsiStrings, Variants или динамических массивов.
4	4
5	5		Для примера, рассмотрим следующею процедуру:
6	6
7	7		``` pascal
8	8		procedure P;
9	9		var
10	10		S: AnsiString;
11	11		begin
12	12		... делаем что-то с S ...
13	13		end;
14	14		```
15	15
16	16		Данная процедура, фактически компилируется как:
17	17
18	18		``` pascal
19	19		procedure P;
20	20		var
21	21		S: AnsiString;
22	22		begin
23	23		Initialize(S);
24	24		try
25	25		... делаем что-то с S ...
26	26		finally Finalize(S) end;
27	27		end;
28	28		```
29	29
30	30		Это необходимо, чтобы быть уверенным, что счетчик ссылок на переменную S, будет правильным, если процедура P завершится с ошибками. Однако, в некоторых случаях это может существенно повлиять на скорость данного кода.
31	31
32	32		Единственный правильный способ узнать, что происходит – просмотр вывода кода ассемблер.
33	33
34	34		Более подробную информацию, можете найти здесь: <http://www.mail-archive.com/fpc-devel@lists.freepascal.org/msg01367.html>
35	35
36	36		## Возможные решения
37	37
38	38		- используйте директиву компилятора {\$implicitexceptions off}, но только в окончательных версиях программы, представляющих собой готовый программный продукт. Отладка программы с этой директивой, может стать проблемной, из-за особенностей обнаружения утечек памяти и её повреждения.
39	39
40	40		- разбить редко использующийся код в катером находится не явный блок try…finally на отдельные процедуры. (Вы можете использовать процедуры внутри других процедур)
41	41
42	42		- использовать параметры-константы, а не параметры-значение (ключевое слово const при объявлении параметров). Это исключает необходимость менять счетчик ссылок, но временные переменные внутри процедур все еще могут быть проблемой.
43	43
44	44		- использовать глобальные переменные. Однако, в данном вопросе, следует проявить осторожность.
45	45
46	46		- использовать типы переменных, не зависящих от счётчика ссылок, например shortstring.
47	47
48	48		## Возможные риски
49	49
50	50		> Warning: Используйте осторожно вызов данных исключений. Если вы оставите их без обработки, то возможны утечки памяти.
51	51
52	52		В 2007 году, директива \$implicitexceptions была добавлена к модулю strutils. Если вы используете данный модуль, то обратите внимание на следующие нюансы:
53	53
54	54		- Процедура, использующая другую процедуру, в которой вызывается исключение не безопасна. Например – strtoint, но не strtointdef.
55	55		- Процедура, которая вызывает исключения, сама по себе небезопасна.
56	56		- Не используйте очень большие процедуры из-за риска ошибок и низкой производительности их кода. Например, форматирование даты и времени.
57	57		- Использование чисел с плавающей запятой может вызвать исключения, которые будут перехвачены исключениями модуля sysutils.
58	58
59	59		Если вы обнаружили проблемы с этими изменениями, пожалуйста, свяжитесь с Marco.
60	60
61	61		## Пример программы
62	62
63	63		Небольшая демонстрация программа, которая:
64	64
65	65		- При запуске показывает, что отсутствие неявного try ... finally блока, может сделать код намного быстрее. Результаты её тестирования:
66	66
67		-	~~`Время Foo_Normal: 141`\~~
68		-	~~`Время Foo_Faster: 17`~~
	67	+	```
	68	+	Время Foo_Normal: 141
	69	+	Время Foo_Faster: 17
	70	+	```
69	71
70	72		- Показывает использование неявного блока try ... finally (без изменения сути или безопасности кода) в некоторых случаях (когда вам не нужно использовать AnsiString AnsiString/Variant/и т.п. каждый раз, когда процедура вызывается, а, например, только если параметр не имеет определенного значения).
71	73
72	74		``` pascal
73	75		{$mode objfpc}{$H+}
74	76
75	77		uses
76	78		{BaseUnix, Unix нужны только для реализации функции Clock} BaseUnix, Unix,
77	79		SysUtils;
78	80
79	81		function Clock: Int64;
80	82		var Dummy: tms;
81	83		begin
82	84		Clock := FpTimes(Dummy);
83	85		end;
84	86
85	87		procedure Foo_Normal(i: Integer);
86	88		var S: string;
87	89		begin
88	90		if i = -1 then
89	91		begin
90	92		S := 'Некоторые операции с AnsiString';
91	93		raise Exception.Create(S);
92	94		end;
93	95		end;
94	96
95	97		procedure Foo_Faster(i: Integer);
96	98
97	99		procedure RaiseError;
98	100		var S: string;
99	101		begin
100	102		S := 'Некоторые операции с AnsiString';
101	103		raise Exception.Create(S);
102	104		end;
103	105
104	106		begin
105	107		if i = -1 then RaiseError;
106	108		end;
107	109
108	110		{ Обратите внимание, что, когда я называю Foo_Normal и Foo_ResourceString
109	111		i всегда >= 0 так что исключения никогда не происходит.
110	112		Поэтому строковые константы SNormal и SResString не используется. }
111	113
112	114		const
113	115		TestCount = 10000000;
114	116		var
115	117		i: Integer;
116	118		Start: Int64;
117	119		begin
118	120		Start := Clock;
119	121		for i := 0 to TestCount do Foo_Normal(i);
120	122		Writeln('Время Foo_Normal: ', Clock - Start);
121	123
122	124		Start := Clock;
123	125		for i := 0 to TestCount do Foo_Faster(i);
124	126		Writeln('Время Foo_Faster: ', Clock - Start);
125	127		end.
126	128		```
127	129
128	130		---
129	131		From the Free Pascal wiki, page "Avoiding implicit try finally section/ru", as it stood on 2020-02-09 after a change by Trev, out of the wiki's dump of 2024-05-26. Copyright stays with the author who wrote it, according to the old wiki's [[Licensing]] page. If you have concerns about this material, [message the admin](/wiki-contact).

Back to history