Dlaczego zakresy typów zagnieżdżonych nie obejmują klas pochodnych?

Question

Zastanawiam się, dlaczego zakres typów zagnieżdżonych nie zawiera klas pochodnych w Delphi; może to uczynić kod bardziej czysty:

type 
    TBaseTest = class 
    public type 
    PVector = ^TVector; 
    TVector = record 
     A, B, R: Integer; 
    end; 
    public 
    procedure Execute(var Vector: TVector); virtual; abstract; 
    end; 

    TTestA = class(TBaseTest) 
    public 
// E2003 Undeclared identifier: 'TVector' 
    procedure Execute(var Vector: TVector); override; 
// workaround: 
// procedure Execute(var Vector: TBaseTest.TVector); override; 
    end; 

Answer 1

Jeśli się nie mylę, kiedy piszesz TVertor w TBaseTest, kompilator wygląda na to pierwszy w tej klasie, a następnie w tym urządzeniu, a następnie w modułach w Używa sekcję. Dlatego możesz napisać prosty TVector, oznaczający TBaseTest.TVector.

Kiedy piszesz klasę TTestA, wywodzącą się z TBaseTest i używasz tam TVector, najpierw sprawdza TTestA (nie ma TVectora), potem w tym module (nie ma też TVectora), a następnie w Zastosowaniach. Jeśli chcesz użyć wewnętrznej klasy testu TBaseTest, powinieneś napisać bezpośrednio TBaseTest.TVector, ponieważ TVector jest zdefiniowany w TBaseTest, a nie w TTestA.