Delphi中通过Synchronize将线程创建的对象传递到主线程是否安全？

核心风险点分析 #

1. 对象所有权模糊导致的内存泄漏/访问违规 #

Delphi 2007采用手动内存管理（非ARC），子线程创建的TAccessToken对象如果没有明确的所有权转移规则，会出现两种问题：

• 若主线程和子线程都不负责释放，直接导致内存泄漏；
• 若子线程在Synchronize后立即释放对象，而主线程尚未完成对该对象的操作，会触发访问违规（Access Violation）。

2. Synchronize调用的线程阻塞问题 #

Synchronize会强制子线程阻塞，直到主线程处理完同步逻辑。如果主线程此时正处于阻塞状态（比如执行耗时UI操作、处理其他同步调用），子线程会长期挂起，甚至可能引发整体程序响应迟缓。

3. 对象内部状态的线程安全隐患 #

如果TAccessToken类内部包含未受保护的成员变量（如全局状态、非线程安全的集合），即使只是传递引用，若子线程在Synchronize后仍修改对象，或主线程与子线程同时访问对象，会触发竞态条件，导致数据损坏或不可预期的行为。

4. Delphi 2007 Synchronize的实现限制 #

Delphi 2007的Synchronize依赖主线程消息循环，若主线程消息循环被阻塞（如ShowModal窗口、死循环），子线程会永久阻塞，极端情况下可能引发死锁。

优化建议 #

1. 明确对象所有权转移 #

在Synchronize的同步逻辑中，将对象引用转移到主线程的成员变量，子线程立即清空自身的引用，由主线程负责对象的释放：

procedure TTokenThread.Execute;
var
  LToken: TAccessToken;
begin
  LToken := TAccessToken.Create;
  try
    // 初始化LToken的业务逻辑
    Synchronize(procedure
      begin
        // 将对象所有权转移到主线程
        MainForm.FAccessToken := LToken;
      end);
    // 子线程放弃对象引用，不再操作
    LToken := nil;
  finally
    // 仅当所有权未成功转移时释放（极端异常场景）
    if Assigned(LToken) then
      LToken.Free;
  end;
end;

2. 替换Synchronize为Queue（非阻塞场景） #

如果无需等待主线程处理完成，可使用Queue替代Synchronize，避免子线程阻塞。注意需确保主线程处理队列时对象仍存在，因此子线程不能提前释放对象：

procedure TTokenThread.Execute;
var
  LToken: TAccessToken;
begin
  LToken := TAccessToken.Create;
  try
    // 初始化逻辑
    Queue(procedure
      begin
        try
          MainForm.ProcessToken(LToken);
        finally
          // 主线程处理完成后直接释放
          LToken.Free;
        end;
      end);
    // 子线程无需等待，可继续执行其他逻辑
  except
    // 初始化失败时释放对象
    LToken.Free;
    raise;
  end;
end;

3. 保护TAccessToken内部状态 #

如果对象需要被多线程访问，内部需通过TCriticalSection保护所有读写操作：

TAccessToken = class
private
  FCriticalSection: TCriticalSection;
  FTokenValue: string;
public
  constructor Create;
  destructor Destroy; override;
  procedure SetTokenValue(const AValue: string);
  function GetTokenValue: string;
end;

constructor TAccessToken.Create;
begin
  inherited;
  FCriticalSection := TCriticalSection.Create;
end;

destructor TAccessToken.Destroy;
begin
  FCriticalSection.Free;
  inherited;
end;

procedure TAccessToken.SetTokenValue(const AValue: string);
begin
  FCriticalSection.Enter;
  try
    FTokenValue := AValue;
  finally
    FCriticalSection.Leave;
  end;
end;

function TAccessToken.GetTokenValue: string;
begin
  FCriticalSection.Enter;
  try
    Result := FTokenValue;
  finally
    FCriticalSection.Leave;
  end;
end;

4. 避免子线程残留对象引用 #

Synchronize完成后，子线程必须立即清空对象引用（如将LToken置为nil），防止后续代码误操作引发竞态条件。

内容的提问来源于stack exchange，提问作者The Pudding Race