Avoiding implicit try finally section/ru: what changed

Revision 2 to 3. 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		-	~~```~~
	67	+	```text
68	68		Время Foo_Normal: 141
69	69		Время Foo_Faster: 17
70	70		```
71	71
72	72		- Показывает использование неявного блока try ... finally (без изменения сути или безопасности кода) в некоторых случаях (когда вам не нужно использовать AnsiString AnsiString/Variant/и т.п. каждый раз, когда процедура вызывается, а, например, только если параметр не имеет определенного значения).
73	73
74	74		``` pascal
75	75		{$mode objfpc}{$H+}
76	76
77	77		uses
78	78		{BaseUnix, Unix нужны только для реализации функции Clock} BaseUnix, Unix,
79	79		SysUtils;
80	80
81	81		function Clock: Int64;
82	82		var Dummy: tms;
83	83		begin
84	84		Clock := FpTimes(Dummy);
85	85		end;
86	86
87	87		procedure Foo_Normal(i: Integer);
88	88		var S: string;
89	89		begin
90	90		if i = -1 then
91	91		begin
92	92		S := 'Некоторые операции с AnsiString';
93	93		raise Exception.Create(S);
94	94		end;
95	95		end;
96	96
97	97		procedure Foo_Faster(i: Integer);
98	98
99	99		procedure RaiseError;
100	100		var S: string;
101	101		begin
102	102		S := 'Некоторые операции с AnsiString';
103	103		raise Exception.Create(S);
104	104		end;
105	105
106	106		begin
107	107		if i = -1 then RaiseError;
108	108		end;
109	109
110	110		{ Обратите внимание, что, когда я называю Foo_Normal и Foo_ResourceString
111	111		i всегда >= 0 так что исключения никогда не происходит.
112	112		Поэтому строковые константы SNormal и SResString не используется. }
113	113
114	114		const
115	115		TestCount = 10000000;
116	116		var
117	117		i: Integer;
118	118		Start: Int64;
119	119		begin
120	120		Start := Clock;
121	121		for i := 0 to TestCount do Foo_Normal(i);
122	122		Writeln('Время Foo_Normal: ', Clock - Start);
123	123
124	124		Start := Clock;
125	125		for i := 0 to TestCount do Foo_Faster(i);
126	126		Writeln('Время Foo_Faster: ', Clock - Start);
127	127		end.
128	128		```
129	129
130	130		---
131	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