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.

Delphi-Quellcode:

    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]

Delphi-Quellcode:

TmyNestedType

kann natürlich nicht gehen, da es vom aktuellen Scope aus nicht sichtbar ist.

Delphi-Quellcode:

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.