Generics & Packages: 'Never-build' Package 'Bla' muss neu compiliert werden

[s.h.a.r.k]

Langsam wird es mit den Generics echt interessant... Ich habe vier Packages, die alle samt mit {$IMPLICITBUILD OFF} compiliert werden sollen:

Code:

* ApLibCoreRun
* ApLibCoreDesign (requires: ApLibCoreRun)
* ApVclCtrlsRun (requires: ApLibCoreRun)
* ApVclCtrlsDesign (requires: ApVclCtrlsRun)

Im Package ApLibCoreRun befinden sich unter Anderem die beiden Units ApCore.Basics.pas und ApCore.Collections.pas. In der ApCore.Collections habe ich einen generischen Record definiert:

Delphi-Quellcode:

TApArray<T> = record
  { ... }
end;

Und in der ApCore.Basics will ich diesen nutzen:

Delphi-Quellcode:

class function TApStrings.Explode(const AStr: String; const Separator: String; const MaxElements: Integer = -1): TArray<String>;
var
  s : String;
  p : Integer;
  l : Integer;
  n : Integer;
  LSeparator : Integer;
begin
  if (Length(AStr) = 0) then
    Exit( TApArray<String>.EmptyArray() );

  LSeparator := Length(Separator);
  if (LSeparator = 0) then
    Exit( TApArray<String>.Create([AStr]) );

  { etc... }
end;

Und jetzt wird es lustig Erzeuge ich die beiden Pakcages ApLibCoreRun und ApLibCoreDesign klappt das wunderbar. Will ich dann aber ApVclCtrlsRun erzeugen erhalte ich vom Compiler folgende Meldung:

Code:

[DCC Fataler Fehler] ApVcl.Controls.pas(37): E2225 'Never-build' Package 'ApLibCoreRun' muss neu compiliert werden

Diese Meldung hat mit oben gezeigtem Code zu tun und zwar mit den Aufrufen von Exit( TApArray<String>.EmptyArray() ); bzw. Exit( TApArray<String>.Create([AStr]) ); . Wenn ich auf diese Aufrufe verzichte, dann kann ich das Package ApVclCtrlsRun ohne Probleme erzeugen. Woran stört sich denn der Compiler hier? Liegt wahrscheinlich an den Internas der Generics, aber sowas ist doch Käse?!

Und noch was: Nein, ich will und werde diesen Code nicht ändern, denn sowas muss doch ohne Probleme möglich sein.

[jaenicke]

Wenn du nichts ändern möchtest, wird es kaum eine Lösung geben, also wird es wenig bringen das hier zu posten. Da ist die QC bei Embarcadero dann der richtige Ort, meinst du nicht?

[s.h.a.r.k]

Naja, es besteht ja auch die Möglichkeit, dass meine Behauptung, dass es am Compiler liegt, total falsch ist Es gibt hier ja Intelligentere als mich und daher hoffe ich, dass der eine oder andere vielleicht doch eine Lösung für das Problem hat oder es eben nur ein Fehler meinerseits ist.

[s.h.a.r.k]

So, hier noch ein wenig mehr Material von Stevie:

Zitat von Stevie:

ich vermute bei dir eine der Tücken der Generics in Verbindung mit konkreter Definition (TApArray<string> in deinem Fall) aber ohne die Internas dieses Typs zu kennen, kann ich da nix genaueres sagen.

Des weiteren hat er den Source anschauen dürfen

Zitat von Stevie:

Lösung: ApCore.Collections aus dem implementation uses ins interface uses stellen in ApCore.Basics

Genau kann ich's dir auch nicht erklären, aber das hängt mit den Interna der Generics zusammen, wann die Types letztlich beim Kompilieren gebaut werden etc.
Dadurch, dass es im implementation Teil steht, wird der Typ TApArray<string>, den du dort baust nur private. Nutzt du nun aber den Type, wo dieser enthalten ist, woanders, wird er public. Irgendwie so Für ne bessere Erklärung eventuell mal Barry Kelly oder Allen Bauer fragen, die können das besser erklären.

Hier der Abschluss:

Zitat von Stevie:

Ich bin mir recht sicher, dass es mit der Thematik der Erstellung des generischen Types zu tun hat, aber wie gesagt, da ich nicht sooo tief in der Materie stecke, ist das höchstens fundiertes Halbwissen. Kannst mich aber gern zitieren mit dem Zusatz, dass mich jemand, der es besser weiß, gern korrigieren darf.

[jaenicke]

Genau aus diesen Gründen kommen bei mir alle Units konsequent bei interface in die uses rein. Deshalb habe ich solche Probleme vermutlich auch mit Generics bisher nicht gehabt. Nebenbei merkt man dabei dann auch, wenn man im Konzept ein Problem hat, weil man einen Kreuzbezug hat. Es gibt dafür auch noch andere Gründe, aber die sind hier ja egal.

[Elvis]

Ich habe dazu mal was von Barry Kelly gelesen (irgendwann im D2009-Zeitraum). Generics in der jetzigen Form scheinen Hack zu sein, der auf der Arbeit beruht, die für Inlining gemacht wurde.
ist alles ein bissel her, aber anscheinend ist das hier eines der Probleme, die auch für Generics gelten können:
http://docwiki.embarcadero.com/RADSt...s'_(Delphi)