RTTI: FieldType eines Klassenfeldes ist nil !?

[stj]

]Hallo zusammen,

ich versuche hier gerade mit RTTI zu arbeiten, habe aber ein merkwürdiges Problem ...

Folgende Deklarationen:

Code:

type R = record f: string end;
type PR = ^R;

type C1 = class
       X: PR;
     end;

type C2 = class
       X: ^R;
     end;

procedure Test(C: TClass);
var
  Ctx: TRttiContext;
  T: TRttiType;
  F: TRttiField;
begin
  Ctx := TRttiContext.Create;
  try
    T := Ctx.GetType(C);
    for F in T.GetFields do
    begin
      if Assigned(F.FieldType) then
        Writeln(F.FieldType.ClassName)
      else
        Writeln('Schock!').
    end;
  finally
    Ctx.Free;
  end;
end;

Rein theoretisch sind m.E. beide Klassen identisch (?).

Frage ich nun mit RTTI die Felder der Klasse ab, bekomme ich bei C1 die erwarteten Werte, d.h.
das Feld X hat den FieldType "TRttiPointerType", so soll es sein.

Mache ich das Ganze mit C2 existiert zwar das Feld X, aber der gelieferte FieldType ist nil und
nicht wie erwartet "TRttiPointerType"

Denke ich hier falsch, oder kann mir das irgendjemand erklären?

Gruß Stephan

[peterbelow]

RTTI kann nur mit Typen umgehen, die einen Namen haben, also per type declaration definiert worden sind. "On the fly" erzeugte Typen wie dein ^R gehören nicht dazu.

[stj]

Zitat von peterbelow:

RTTI kann nur mit Typen umgehen, die einen Namen haben, also per type declaration definiert worden sind. "On the fly" erzeugte Typen wie dein ^R gehören nicht dazu.

Hm.

Das scheint aber nur begrenz so zu sein ...
Für die Klasse

Code:

  C4 = class
    X: record F: string end;
  end;

geht das sehr wohl, allerdings ist der Typname von X dann doch sehr kryptisch - :C4.:1

Ziemlich schräg.

[peterbelow]

Zitat von stj:

Zitat von peterbelow:

RTTI kann nur mit Typen umgehen, die einen Namen haben, also per type declaration definiert worden sind. "On the fly" erzeugte Typen wie dein ^R gehören nicht dazu.

Hm.

Das scheint aber nur begrenz so zu sein ...
Für die Klasse

Code:

  C4 = class
    X: record F: string end;
  end;

geht das sehr wohl, allerdings ist der Typname von X dann doch sehr kryptisch - :C4.:1

Ziemlich schräg.

Das liegt vermutlich daran, dass der record ein Feld enthält, für dessen Typ (string) der Compiler die Speicherverwaltung übernimmt.

[stj]

Zitat von peterbelow:

Zitat von stj:

Zitat von peterbelow:

RTTI kann nur mit Typen umgehen, die einen Namen haben, also per type declaration definiert worden sind. "On the fly" erzeugte Typen wie dein ^R gehören nicht dazu.

Hm.

Das scheint aber nur begrenz so zu sein ...
Für die Klasse

Code:

  C4 = class
    X: record F: string end;
  end;

geht das sehr wohl, allerdings ist der Typname von X dann doch sehr kryptisch - :C4.:1

Ziemlich schräg.

Das liegt vermutlich daran, dass der record ein Feld enthält, für dessen Typ (string) der Compiler die Speicherverwaltung übernimmt.

Auch das scheint nicht der Fall zu sein.
Selbst wenn ich

Code:

  C4 = class
    X: record end;
  end;

verwende, wird der Typname :C4.:1 ausgegeben.
Ist für mich absolut unlogisch das Ganze und sorgt bei der Verwendung für einige Klimmzüge

Soweit ich das bisher eruieren konnte gibts das Problem nur für die Variante mit einer (impliziten) Pointer Deklaration.