Generische Klasse vs. generische Methode

[s.h.a.r.k]

Hallo,

und schon wieder gibts ein Problem mit Generics. Ich hatte mir eine Klasse erstellt, die so ziemlich alles mit Arrays anstellen kann, was ich brauche. Diese Klasse habe ich nur mit statischen Klassen-Methoden gefüllt, wobei die Klasse selbst dann generisch war. Hier ein vereinfachter Code:

Delphi-Quellcode:

type
  TStaticClassA = class
  public
    function GenericLow<T>(const A: TArray<T>): Integer;
  end;

  TStaticClassB<T> = class
  public
    function GenericLow(const A: TArray<T>): Integer;
  end;

// =============================

{ TStaticClassA }

function TStaticClassA.GenericLow<T>(const A: TArray<T>): Integer;
begin
  Result := Low(A);
end;

{ TStaticClassB<T> }

function TStaticClassB<T>.GenericLow(const A: TArray<T>): Integer;
begin
  Result := Low(A); // <- [DCC Fehler] Unit1.pas(45): E2008 Inkompatible Typen
end;

Ich habe im Quelltext die Zeile markiert und mit einem Kommentar versehen, in der der Compiler einen Fehler meldet. Meine Frage ist, warum geht das denn bitte nicht? Es ist doch an sich nichts anderes, oder habe ich da was nicht verstanden.

[himitsu]

Der Compiler weiß an dieser Stelle noch nicht, daß es sich um ein Array handelt und demnach geht sowas nicht.

Delphi-Quellcode:

TStaticClass = class
public
  function GenericLow<AType>(const A: array of AType): Integer;
end;

TGenericClass<AType> = class
private
  type TArrayA = array of AType;
public
  function Low(const A: TArrayA): Integer;
  //oder als open-array
  function Low(const A: array of AType): Integer;
end;

[s.h.a.r.k]

Aber warum sollte der Compiler das noch nicht wissen?

[himitsu]

Wie sollte er beim Parsen von "T" darauf kommen, daß du dafür später mal ein Array übergibst?

[s.h.a.r.k]

Es steht doch dran, dass es ein Array vom Typ T ist (TArray<T>). Oder stehe ich gerade auf dem Schlauch!?

[himitsu]

Oh, TArray<T> kennt Delphi ja wirklich ... ja dann ... hmmm ... vielleicht immernoch ein paar Kinderkrankheiten.

[Neutral General]

Naja. Delphi kennt vllt. TArray<> aber das ändert nichts daran, dass TArray eine Klasse ist die ein Array kapselt und kein Array. Von daher klappt Low auch nicht. Du übergibst ja ein Objekt und kein Array Inkompatible Typen

[himitsu]

Klasse?

TArray<T> = array of T; Kann aber gut sein, daß die Generics den Array-Typen "verstecken"

[Neutral General]

Mh.. Oh.

Nagut. Dann kann ich es mir auch nicht erklären

[s.h.a.r.k]

Genau das ist ja auch das Problem, welches ich habe. Es wirkt irgendwie sehr strange. Ich wüsste auch nicht, wie man sowas sinnvoll umschiffen könnte. Aber eigentlich fängtTArray<T> doch immer bei 0 an, da es ein dynamisches Array ist, oder?