Abgeleitete generische Klasse ist nicht mehr generisch

[Codehunter]

Jetzt bin ich in dem Zusammenhang auf ein weiteres Problem gestoßen:

Delphi-Quellcode:

const
  A_ITEMS: TArray<string> = ['A','B','C'];
begin
  case TmyArray.IndexOf(A_ITEMS, 'B') of // <-- E2532 Generisches Typargument konnte aus den unterschiedlichen Argumenttypen für Methode 'IndexOf' nicht abgeleitet werden
    0: ;
   1: ;
   2: ;
  end;
end;

Die Deklaration von TmyArray hat sich nicht geändert (siehe oben)

EDIT: Verwende ich statt eines konstanten Arrays eines, das als lokale Variable deklariert ist, dann geht es. Nur warum ist das so?

[Neutral General]

Also was auf jeden Fall gehen sollte wäre halt:
case TmyArray.IndexOf<String>(A_ITEMS, 'B') of Warum genau der Fehler kommt bzw. warum es mit einer lokalen Variable geht, kann ich so aus dem Stand auch nicht sagen.
Wahrscheinlich denkt er aus irgendeinem Grund, dass auch TmyArray.IndexOf<Char> zutreffen könnte? Aber so richtig sehe ich keinen Grund dafür

[Codehunter]

Zitat von Neutral General:

Wahrscheinlich denkt er aus irgendeinem Grund, dass auch TmyArray.IndexOf<Char> zutreffen könnte? Aber so richtig sehe ich keinen Grund dafür

Das kann es nicht sein, denn in der praktischen Implementierung prüfe ich explizit gegen eine String-Variable und nicht gegen eine Char-Konstante. Außerdem dürfte es dann genausowenig funktionieren, wenn A_ITEMS eine Variable statt einer Konstante ist. Aber dann geht es ja. Die Ursache scheint also zu sein, dass es sich um eine Array-Konstante handelt.

[Stevie]

Reported: https://quality.embarcadero.com/browse/RSP-21372

[Codehunter]

Danke dir. Mal schauen was passiert. Bis auf Weiteres dann erstmal mit Variablen.

[Codehunter]

Im Zusammenhang mit diesem Problem ist mir bei einem ähnlichen Konstrukt ein weiterer seltsamer Effekt aufgefallen, der sich nicht sofort erschließt:

Delphi-Quellcode:

type
  TGenObj<T1, T2> = class
  public type
    TGenObjRec = record
      A: T1;
      B: T2;
    end;
    TGenObjRecs = TArray<TGenObjRec>;
  protected
    procedure SetRecs(const AValue: TGenObjRecs);
  public
    property Recs: TGenObjRecs write SetRecs;
  end;

  TGenIntStrObj = TGenObj<Integer, string>;

procedure TForm1.Button1Click(Sender: TObject);
const
  RECS: array[0..1] of TGenIntStrObj.TGenObjRec = (
    (A: 1; B: 'Foo'), // <-- @A: [dcc32 Fehler] E2071 Dieser Typ kann nicht initialisiert werden
    (A: 2; B: 'Bar')
  );
var
  LGenIntStrObj: TGenIntStrObj;
begin
  LGenIntStrObj := TGenIntStrObj.Create;
  try
    LGenIntStrObj.Recs := RECS;
  finally
    FreeAndNil(LGenIntStrObj);
  end;
end;

Warum ist das denn so?