Дженерики, дэфаулт-параметры прцедур и фатальная ошибка

[Sibedir]

На заметку таким же чайникам, как и я:

Вот есть такой модуль

unit MainFormUnit;

interface

uses
  Windows, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms,
  Dialogs;

type
  TMyFunc<T> = function: String of object;

  TfrmMain = class(TForm)
    procedure FormCreate(Sender: TObject);
  private
    { Private declarations }
  public
    function MyFunc: String;
    { Public declarations }
  end;

  TFooGen<T> = class
    procedure Proc (Func: TMyFunc<T> = nil);
  end;

var
  frmMain: TfrmMain;

implementation

{ TFooGen<T> }

procedure TFooGen<T>.Proc (Func: TMyFunc<T>);
begin
  if Assigned (Func) then ShowMessage (Func)
  else ShowMessage ('Func not assigned');
end;

{$R *.dfm}

procedure TfrmMain.FormCreate(Sender: TObject);
begin
  with TFooGen<Byte>.Create do begin
    Proc;
    Free;
  end;
end;

function TfrmMain.MyFunc: String;
begin
  Result := 'TfrmMain.MyFunc';
end;

end.

И всё благополучно работает. Но стоит разделить модуль на две части:

unit MainFormUnit;

interface

uses
  Windows, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms,
  Dialogs, FooGenUnit;

type
  TfrmMain = class(TForm)
    procedure FormCreate(Sender: TObject);
  private
    { Private declarations }
  public
    function MyFunc: String;
    { Public declarations }
  end;

var
  frmMain: TfrmMain;

implementation

{$R *.dfm}

procedure TfrmMain.FormCreate(Sender: TObject);
begin
  with TFooGen<Byte>.Create do begin
    Proc;
    Free;
  end;
end;

function TfrmMain.MyFunc: String;
begin
  Result := 'TfrmMain.MyFunc';
end;

end.

unit FooGenUnit;

interface

uses
  Dialogs;

type
  TMyFunc<T> = function: String of object;

  TFooGen<T> = class
  private
  public
    procedure Proc (Func: TMyFunc<T> = nil);
  end;

implementation

{ TFooGen<T> }

procedure TFooGen<T>.Proc (Func: TMyFunc<T>);
begin
  if Assigned (Func) then ShowMessage (Func)
  else ShowMessage ('Func not assigned');
end;

end.

И всё, приехали:

[dcc32 Fatal Error] MainFormUnit.pas(41): F2084 Internal Error: URW1154

Обратите внимание, что ссылка на 41 строку модуля 'MainFormUnit.pas'. А там всего 39 строк

За эти два дня я даже не знаю что меня больше назило: больной зуб или эта грёбаная ошибка, будь она трижды проклята . Это в маленьком коде её можно быстро вычислить, а в рабочем проекте (с кучей недоделаного хлама) и знаниями самоучки - этож двинуться можно было

Короче, надо было так:

  TMyFunc<T> = reference to function: String;

reference - ссылка

Ох-ох-охушки ох-ох-о...

[Sibedir]

Не в тему, но так, к слову:
Внутри Proc предполагается частый вызов Func (вообще то Proc - это Sort, а Func - это TCompareFunc). Посмотрел сгенерированый компилятором код в CPU и решил, что оптиамльнее будет оставить

  TCompareFunc<T> = function (Left, Right: T): ShortInt;

Сравнение поумолчанию как static-метод класса.

    class function DefaultCompare (Left, Right: T): ShortInt; static;

а вызов Sort организовать в двух вариантах через overload

    procedure Sort (CompareFunc: TCompareFunc<T>); overload;
    procedure Sort; overload; inline;