Speicherleck bei der Verwendung von anonymen Methoden

[Stevie]

Wenn du {$M+} über die Definition der anonymen Methode schreibst, bekommst du RTTI für diesen Typ. Wie ja schon gesagt, sind anonyme Methoden nix anderes als Interfaces.

Mit folgender Routine kannst du dir die Signatur der Invoke Methode und die Felder für die captured Variablen ausgeben lassen:

Delphi-Quellcode:

procedure ListProcedureRefRtti(var MethodRef;
  const TypeInfo: Pointer; const Lines: TStrings);
var
  i: IInterface absolute MethodRef;
  o: TObject;

  c: TRttiContext;
  t: TRttiType;
  f: TRttiField;
  m: TRttiMethod;
begin
  o := i as TObject;

  t := c.GetType(TypeInfo);
  Lines.Add('Interface: ' + t.ToString);
  Lines.Add('Method:');

  for m in t.GetMethods do
  begin
    if m.Parent = t then
      Lines.Add(m.ToString);
  end;

  t := c.GetType(o.ClassInfo);
  Lines.Add('Object: ' + t.ToString);
  Lines.Add('Fields:');

  for f in t.GetFields do
  begin
    if f.Parent = t then
      Lines.Add(f.ToString);
  end;
end;

Bedenke dabei, dass im Falle von mehreren Anonymen Methoden im gleichen Scope nur 1 Objekt erzeugt wird.

Daher hast du bei folgendem Aufruf jedesmal Self und i als Felder. Ich habe hierzu TProc und TFunc lokal redefiniert und ihnen das {$M+} verpasst. Ich hatte Barry auch schon vor einiger Zeit darauf angesprochen das eventuell mal in die SysUtils Definitionen aufzunehmen:

Delphi-Quellcode:

var
  p: TProc;
  f: TFunc<Integer, Boolean>;
  i: Integer;
begin
  Memo1.Clear;

  p := procedure begin ShowMessage(Caption) end;
  ListProcedureRefRtti(p, TypeInfo(TProc), Memo1.Lines);

  f := function(Arg: Integer): Boolean begin Result := Arg mod 2 = 0 end;
  ListProcedureRefRtti(f, TypeInfo(TFunc<Integer, Boolean>), Memo1.Lines);

  p := procedure begin ShowMessage(IntToStr(i)) end;
  ListProcedureRefRtti(p, TypeInfo(TProc), Memo1.Lines);