ARC (iOS)下的Delphi TThread没有发布

Question

在ARC管理下使用Delphi for iOS终止线程的正确方法是什么?

看这个简单的例子:

  TMyThread = class(TThread)
  protected
    procedure Execute; override;
  public
    destructor Destroy; override;
  end;
  TForm2 = class(TForm)
    Button1: TButton;
    Button2: TButton;
    Button3: TButton;
    procedure Button1Click(Sender: TObject);
    procedure Button2Click(Sender: TObject);
    procedure Button3Click(Sender: TObject);
  private
    FThread: TMyThread;
  public
  end;
{ TMyThread }
destructor TMyThread.Destroy;
begin
  ShowMessage('Destroy');
  inherited Destroy;
end;
procedure TMyThread.Execute;
begin
  Sleep(5000);
end;
{ TForm2 }
procedure TForm2.Button1Click(Sender: TObject);
begin
  FThread := TMyThread.Create(TRUE);
  FThread.FreeOnTerminate := TRUE;
  FThread.Start;
end;
procedure TForm2.Button2Click(Sender: TObject);
begin
  ShowMessage(FThread.RefCount.ToString);
end;
procedure TForm2.Button3Click(Sender: TObject);
begin
  FThread := nil;
end;

Ok，按下Button1将生成一个线程。线程启动后，如果您单击Button2，它将显示RefCount值为3!!嗯，1是对我的FThread变量的引用，还有2个TThread内部创建的额外引用…我已经深入到源代码中，发现RefCount在这里增加了:

constructor TThread.Create(CreateSuspended: Boolean);
  ErrCode := BeginThread(nil, @ThreadProc, Pointer(Self), FThreadID);
  if ErrCode <> 0 then
    raise EThread.CreateResFmt(@SThreadCreateError, [SysErrorMessage(ErrCode)]);
  {$ENDIF POSIX}

:

function ThreadProc(Thread: TThread): Integer;
var
  FreeThread: Boolean;
begin
  TThread.FCurrentThread := Thread;

嗯…线程完成后(在我的情况下，5秒后)，RefCount将减少到2(因为我已经将FreeOnTerminate设置为TRUE，但如果我不将FreeOnTerminate设置为TRUE, RefCount仍将是3)。

看到问题了吗?线程永远不会完成，析构函数永远不会被调用，如果我调用FThread := nil，那么，RefCount应该从2减少到1(或者从3到2在FreeOnTerminate = FALSE的情况下)，线程永远不会在ARC下被释放…

也许我错过了一些东西，因为我习惯使用没有ARC的线程…那么，我遗漏了什么呢?或者在ARC下的TThread实现中存在bug ?

也许这个TThread的定义

private class threadvar
  FCurrentThread: TThread;

应该类似于

private class threadvar
  [Weak] FCurrentThread: TThread;

Answer 1

在qc中进行了一些挖掘之后，出现了以下问题和解决方案:

线程参数应按const

传递

function ThreadProc(Thread: TThread): Integer;  <<-- pass_by_reference pushes
var                                                  up the ref_count.
  FreeThread: Boolean;
begin
  TThread.FCurrentThread := Thread;

如果您将其作为const传递，ref_count将不会上升到3。通常这不是问题，因为ref_count会在函数退出时减少，但是这里:

函数epilog永远不会执行，因为pthread_exit()跳出了代码。

这只是解决方案的一部分，还有很多工作要做…

完整的解决方法

经过一番折腾，我想出了这个潜在的解决方案:

把这些mod放到Classes单元中:变化:

function ThreadProc(Thread: TThread): Integer;

:

function ThreadProc(const Thread: TThread): Integer;

并添加:

TThread.FCurrentThread := nil;

if FreeThread then Thread.Free;

在TThread后代中重写DoTerminate，这样:

procedure TMyThread.DoTerminate;
begin
  try
    inherited;
  finally
    __ObjRelease;
  end;
end;

这样调用线程:

FMyThread.Free; // This will do nothing the first time around, since the reference will be nil
FMyThread := TMyThread.Create(True);
// DO NOT SET FreeOnTerminate
FMyThread.OnTerminate := ThreadTerminate;
FMyThread.Resume;

这(至少对我来说，在设备上)导致线程在随后的调用中被销毁。

注意:在ARC条件下，永远不要局部声明对线程的引用，因为当它超出作用域时，线程将被销毁，并且永远不会调用Execute方法，更不用说它引起的其他问题了。