Generics und Vererbung

[Stevie]

Zitat von USchuster:

Zitat von himitsu:

<ET: TBasicEdge> geht halt nicht. Man kann nur sowas sagen, wie record oder class.
Auf eine bestimmte Klasse kann man (bescheuerter Weise) keinen Typen einschränken.

Das kann ich nicht nachvollziehen mit D2009, D2010 und XE.

Delphi-Quellcode:

program Project110;

{$APPTYPE CONSOLE}

type
  TFoo = class(TObject);

  TBar<T: TFoo> = class(TObject)
  end;

var
  B: TBar<TFoo>;
  B2: TBar<TObject>;//[DCC Error] Project110.dpr(13): E2515 Type parameter 'T' is not compatible with type 'TFoo'
begin
end.

Diesen Unfug erzählt Himitsu schon eine Weile lang und es stimmt einfach nicht. Das einzige, was vor XE(?) nicht ging (ka, welche QC Nummer), war, dass ein type constraint auf eine Klasse nicht den constructor constraint mit beinhaltete und demnach bei einem T.Create meckerte (oder sowas ähnliches)