Кроме того,
Каждый блок состоит из двух отдельных частей. Интерфейс и реализация.
Раздел интерфейса содержит все публичные определения (типы, заголовки процедур, константы). Раздел реализации содержит все детали реализации.
Когда вы используете юнит, (с помощью условия использования) вы получаете доступ к общедоступным определениям этого юнита. Этот доступ не является рекурсивным, поэтому, если интерфейс блока A использует блок B, а блок C использует блок A, вы не получите доступ к блоку B, если не используете его явно.
Раздел реализации имеет доступ к интерфейсу, к модулю, используемому в обоих разделах использования (интерфейс и реализация).
Интерфейсы используемых модулей компилируются первыми, а затем продолжают компилирование остальных. Это имеет то преимущество, что вы можете иметь циклические зависимости внутри реализации:
unit A;
interface
uses B;
unit B;
interface
implementation
uses A;
Что компилируется:
- попробуйте интерфейс A, сбой нужен B
- попробуй интерфейс B, ок!
- попробуй интерфейс А, ок!
- попробуйте реализацию A, ок!
- попробуйте реализацию B, ок!
У каждого модуля также есть раздел инициализации (и если у него есть раздел инициализации, он также может иметь раздел финализации.) Раздел инициализации используется для инициализации переменных модуля. Разделы финализации используются для очистки.
Когда вы используете их, не стоит рассчитывать на инициализацию других модулей. Просто держите их простыми и короткими.
Единицей также являются пространства имен.
Рассмотрим следующее:
unit A;
interface
const foo = 1;
unit B;
interface
const foo = 2;
unit C;
interface
uses A, B;
const
f1 = foo;
f2 = A.foo;
f3 = B.foo;
Если идентификатор определен в нескольких использованных единицах, берется последняя возможная единица в списке использований. Таким образом, f1 = 2. Но вы можете поставить перед ним имя устройства (пространства имен), чтобы решить эту проблему.
С введением .net разрешены пространства имен из нескольких частей, что создает другие приятные проблемы:
unit foo;
interface
type
rec1 = record
baz : Boolean;
end;
var
bar : rec1;
unit foo.bar;
interface
var
baz : Integer;
uses
foo, foo.bar;
begin
foo.bar.baz := true;
foo.bar.baz := 1;
end.
// 1. Which these lines gives an error and why?
// 2. Does the result change if you write uses foo.bar, foo?
В этом случае у вас конфликт. Но это решается путем придания именам пространства имен более высокого приоритета. Так что первая строка заканчивается неудачей.