我有两个单元unitA和unitB。 类TFoo在unitB中声明。
在unitA的终结部分中调用B.Free总是安全的吗？
这取决于unitA和unitB在dpr文件中的顺序吗？
当执行unitA终结时，我能确定unitB存在吗？
unit unitB;
interface
type
TFoo = class
// code...
end;
// code....
end;
unit unitA;
// code..
implementation
uses
unitB;
var
A: TStringList;
B: UnitB.TFoo;
initialization
A:= TStringList.Create;
B:= UnitB.TFoo.Create;
finalization
A.Free;
B.Free; // Is it safe to call?
end.
是的，你应该没问题，因为B是在Unit A中创建的。规则是Initialization部分按照它们在DPR中的顺序调用，除非其中一个单元引用了另一个单元。在这种情况下，被引用的单元先被初始化。Finalization则以相反的顺序进行。
在你的情况下，Unit B没有初始化部分，因此这是无关紧要的。但是，在执行Unit A的初始化部分时，它将使用Unit B中的TFoo定义。
有关Initialization和Finalization部分的另一个警告是 - 它们发生在全局异常处理程序之外。发生在这里的任何异常都会终止应用程序。因此，在大型程序中跟踪和调试这些异常可能会很麻烦。你可以考虑在这里使用自己的异常日志记录，以确保安全。
示例：
unitA // no dependency on unitB
var SomeController;
initialization
SomeController := TSomeController.Create;
finalization
SomeController.Free;
unitB
uses
unitA;
initialization
SomeController.AddComponent(UnitBClass);
finalization
SomeController.RemoveComponent(UnitBClass);
常见的（正确的）调用顺序（99.99%）如下：
但有时候Delphi编译文件会出错：
小离题的故事：
我们有一个相当大的项目，Unit1中有Type1，Unit2中有Type2 = class(Type1)。文件在project.dpr中排序，在多年和添加Unit200（与unit1/2无依赖关系）之后，Delphi开始在Unit1.Initialization之前编译Unit2.Initialization。唯一安全的解决方案是从初始化部分调用自己的Init函数。
unit Unit1;
interface
uses
Contnrs;
var
FList : TObjectList;
implementation
initialization
FList := TObjectList.Create(True);
finalization
FList.Free;
end.
Unit1只显式依赖于Contnrs。Delphi只会确保Contnrs单元（以及可能的“子依赖”单元，但我不确定）仍在内存中加载。如果在列表中添加了一个TForm，则Forms单元可能已经在FList.free被调用时被终止，当它尝试释放包含的TForm时，程序将崩溃。Delphi无法知道Unit1需要Forms单元。在这种情况下，它将取决于dpr中声明单元的顺序。
unit unitB;
interface
type
TFoo = class
// code...
end;
// code....
function UnitVarB:TFoo;
implementation
var
gUnitVarB : TFoo;
function UnitVarB:TFoo
begin
if not assigned(gUnitVarB) then
gUnitVarB := TFoo.Create;
result := gUnitVarB;
end;
finalization
if assigned(gUnitVarB) then
gUnitVarB.free; //or FreeAndNil(gUnitVarB);
end;
unit unitA;
// code..
implementation
uses
unitB;
var
A: TStringList;
//code...
...UnitVarB....
//code...
initialization
A:= TStringList.Create;
finalization
A.Free;
end.
是的，这是安全的。您可以在dpr文件中先声明UnitB，以简化编译器的工作，但无论如何编译器都会解析引用。
为了充分披露，我自2005年以来就没有使用Delphi进行开发了。然而，我从1996年的Delphi 1开始专门使用Delphi进行开发，并在2001年获得了Delphi 5认证。话虽如此，我的finalization部分的使用很少。我只有在需要在.dpr中设置特殊内容时才会使用它。通常只有在我进行自定义组件开发并且需要使用其他自定义组件来管理某些依赖关系时才会发生这种情况。
对于典型的应用程序开发，我避免使用initialization/finalization部分，而是使用单例、外观和工厂等设计模式来管理我的类的创建和管理。内置垃圾收集器足以满足98.5%的项目需求。
回答你的问题，你需要在UnitA代码中设置对TFoo的依赖关系，并像Ryan建议的那样，在销毁之前确保它被分配。话虽如此，我鼓励你在投入太多时间之前确保使用initialization/finalization部分是必要的。