单元initialization/finalization节可操作范围、禁忌及DLL场景安全性咨询

为什么建议尽量减少在这两个节执行复杂操作 #

• 执行顺序不可控：单元的initialization执行顺序由单元引用链决定，你无法手动精确调整先后顺序，如果你的初始化逻辑依赖其他单元的初始化结果，很容易出现因顺序不对导致的未初始化访问错误，这类问题排查难度极高。
• DLL场景的特殊风险：DLL的initialization执行时系统会持有DLL加载锁，此时如果你执行加载其他DLL、线程同步等待、COM初始化、UI交互类操作，极大概率会触发死锁；而finalization执行时处于DLL卸载阶段，程序全局资源可能已经被部分释放，依赖外部组件的操作很容易触发崩溃。
• 异常风险不可控：initialization中抛出的未捕获异常会直接导致整个程序/DLL加载失败，且无法被上层全局异常捕获逻辑拦截，异常栈追踪非常困难。

你提供的示例代码安全性判断 #

你给出的代码：

initialization
  MyObj := TObjectDictionary<String, TObjectList<TSomething>>.Create([doOwnsValues]);

finalization
  FreeAndNil(MyObj);

满足以下前提时是安全的：

• TObjectDictionary、TObjectList、TSomething的构造函数仅做纯内存分配，没有依赖其他单元的初始化内容，也不存在IO、线程操作、跨模块调用等逻辑
• 没有其他单元在自身的initialization阶段访问这个MyObj（无法保证其他单元初始化顺序晚于当前单元）
• 没有其他单元在自身的finalization阶段访问这个MyObj（finalization执行顺序是initialization的倒序，其他单元可能先于当前单元执行finalization）

两类节允许和禁止的操作边界 #

• 允许的操作：基础类型赋值、无外部依赖的纯内存对象初始化、全局标记位设置等无副作用、无依赖、无异常风险的逻辑
• 禁止的操作：
  • 文件、网络、数据库等IO操作
  • 线程创建、同步等待类操作
  • COM初始化、其他DLL显式加载调用
  • 弹窗、消息循环等UI相关操作
  • 依赖其他单元初始化结果的逻辑

内容的提问来源于stack exchange，提问作者zeus