Sichtbarkeit von klassenlokalen Typen

[Codehunter]

Hallo!

Delphi-Quellcode:

type
  TmyBaseClass = class(TObject)
  protected type
    TmyNestedType = record
      SomeProperty: Integer;
    end;
  end;
  
  TmyChildClass = class(TmyBaseClass)
  protected
    function Produce: TmyNestedType; // E2003: Undeklarierter Bezeichner: TmyNestedType
  end;

Warum?

Grüße
Cody

[BerndS]

Warum das nicht geht frage ich mich auch. Aber so sollte es gehen.
    function Produce: TmyBaseClass.TmyNestedType; // E2003: Undeklarierter Bezeichner: TmyNestedType

[Codehunter]

Ich habe es inzwischen so ähnlich gelöst. Aber beide Lösungen wirken irgendwie freaky.

Delphi-Quellcode:

  TmyBaseClass = class(TObject)
  protected type
    TmyNestedType = record
      SomeProperty: Integer;
    end;
  end;
  
  TmyChildClass = class(TmyBaseClass)
  protected type
    TmyNestedType = TmyBaseClass.TmyNestedType;
  protected
    function Produce: TmyNestedType; 
  end;

[Uwe Raabe]

Mach doch einen Feature Request auf.

[himitsu]

TmyNestedType kann natürlich nicht gehen, da es vom aktuellen Scope aus nicht sichtbar ist.
TmyBaseClass.TmyNestedType wäre somit "eigentlich" richtig.

Ich vermute mal, dass es aber noch nicht bekannt ist, da der TYPE-Block noch nicht abgeschlossen ist.
Auch bei den Generics gibt es da schonmal Problemchen.

Delphi-Quellcode:

type
  TmyBaseClass = class(TObject)
  protected type
    TmyNestedType = record
      SomeProperty: Integer;
    end;
  end;
  
type
  TmyChildClass = class(TmyBaseClass)
  protected
    function Produce: TmyBaseClass.TmyNestedType;
  end;

TmyNestedType könnte hier sogar private sein, nur nicht strict-private, aber wegen der Vererbung von TmyChildClass wäre protected am Besten, da gleiches Level wie Produce.