Анонимные методы и замыкания

// Определите реальную гарантию в AnonymousType.
program AnonymousType;
{$APPTYPE CONSOLE}
type
  TOperation = reference to function(X: Integer): Integer;
var
  Op: TOperation;
begin
  Op := function(X: Integer): Integer
    begin
      Result := X * X;
    end;
  Writeln(Op(4));
end.

// Определите реальную гарантию в ClosureTest.
program ClosureTest;
{$APPTYPE CONSOLE}
type
  TFunc = reference to function: Integer;
function BuildCounter: TFunc;
var
  N: Integer;
begin
  N := 0;
  Result := function: Integer
    begin
      Inc(N);
      Result := N;
    end;
end;
var F: TFunc;
begin
  F := BuildCounter;
  Writeln(F());
  Writeln(F());
  F := nil;
end.

// Разберите поток, число вызовов и передачу ошибки в CallbackContract.
program CallbackContract;
{$APPTYPE CONSOLE}
uses System.SysUtils, System.Threading;
type
  TDone = reference to procedure(const Value, ErrorText: string);
procedure LoadAsync(const Callback: TDone);
begin
  TTask.Run(
    procedure
    begin
      try
        Callback('42', '');
      except
        on E: Exception do
          Callback('', E.ClassName + ': ' + E.Message);
      end;
    end);
end;
begin
end.

// Разберите, что переживает освобождение объекта в ClosureLifetime.
program ClosureLifetime;
{$APPTYPE CONSOLE}
type
  TAction = reference to procedure;
  TWorker = class
  public
    function MakeAction: TAction;
  end;
function TWorker.MakeAction: TAction;
begin
  Result :=
    procedure
    begin
      Writeln(Self.ClassName);
    end;
end;
var
  Worker: TWorker;
  Action: TAction;
begin
  Worker := TWorker.Create;
  Action := Worker.MakeAction;
  Worker.Free;
  { Намеренно опасный поздний вызов: Self уже указывает на уничтоженный объект. }
  Action;
  Action := nil;
end.

// Все три обработчика захватывают одну и ту же переменную I.
program ClosureCapture;
{$APPTYPE CONSOLE}
type
  TAction = reference to procedure;
var
  I: Integer;
  Actions: array[0..2] of TAction;
begin
  I := 0;
  Actions[0] := procedure begin Writeln(I); end;
  Inc(I);
  Actions[1] := procedure begin Writeln(I); end;
  Inc(I);
  Actions[2] := procedure begin Writeln(I); end;
  I := 7;
  Actions[0];
  Actions[1];
  Actions[2];
end.