Delphi中释放在initialization段创建的TCriticalSection的正确方法

代码正确性判定 #

你给出的释放逻辑存在严重错误，会导致死锁问题，不可用。
相关问题代码：

initialization
  FPoolingCS := TCriticalSection.Create;

finalization
  FPoolingCS.Acquire;
  FreeAndNil(FPoolingCS);

错误原因：你在调用Acquire获取临界区锁之后，没有配对调用Release释放锁，就直接销毁了临界区对象。此时如果有其他线程正在等待该临界区的锁，会直接陷入永久死锁，锁资源也没有被正确释放。

疑问解答 #

1、调用Free释放对象前是否需要先调用Release方法？ #

• 只要你成功调用过Acquire获取了锁，无论是否要释放对象，都必须调用对应的Release释放锁，二者必须严格配对。
• TCriticalSection内部维护了锁计数：每调用一次Acquire计数加1，每调用一次Release计数减1，只有计数回到0时，其他线程才能成功获取该锁。
• 如果你希望在释放临界区前确认没有其他线程持有该锁，正确的写法应该是保证锁的配对使用，示例如下：

finalization
  // 等待其他线程释放锁，确保当前没有其他线程在使用临界区
  FPoolingCS.Acquire;
  try
    // 可在此处执行依赖临界区的其他清理逻辑
  finally
    // 必须配对释放锁，保证锁计数回到0
    FPoolingCS.Release;
  end;
  // 确认没有线程使用后再释放临界区对象
  FreeAndNil(FPoolingCS);

• 如果已经可以确保所有线程都停止使用该临界区，不需要额外加Acquire逻辑，直接释放对象即可。

2、调用Acquire方法时是否有可能抛出需要额外处理的异常？ #

• Windows平台下的TCriticalSection是对系统API EnterCriticalSection的封装，只要你调用Acquire时传入的临界区对象是已经正确创建、未被释放且内存未损坏的有效对象，该方法不会抛出任何异常，不需要额外做异常捕获。
• 仅在无法确认临界区对象有效性的场景下，才需要添加异常处理逻辑避免访问违规崩溃。

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