Не могу понять Delphi XE6 защищенные типы

Question

я создаю две единицы и поставить первый класс в одну из них:

unit UBaseClass; 

    interface 

    type 
    TBaseOuterClass = class 
    protected type 

     TBaseInnerClass = class 
     public 
     end; 

    protected 
     function GetInnerInstance: TBaseOuterClass.TBaseInnerClass; virtual; 
    end; 

    implementation 

    { TBaseOuterClass } 

    function TBaseOuterClass.GetInnerInstance: TBaseOuterClass.TBaseInnerClass; 
    begin 
    // doesn't matter 
    end; 

    end. 

И я поставил производный класс на второй блок:

unit UDerClass; 

interface 

uses 
    UBaseClass; 

type 
    TDerOuterClass = class(TBaseOuterClass) 
    protected type 

    TDerInnerClass = class(TBaseInnerClass) 

    end; 

    protected 
    function GetInnerInstance: TBaseOuterClass.TBaseInnerClass; override; 
    end; 

implementation 

{ TDerOuterClass } 

function TDerOuterClass.GetInnerInstance: TBaseOuterClass.TBaseInnerClass; 
begin 

end; 

end. 

Когда я пытаюсь скомпилировать я получаю

[dcc32 Error] UDerClass.pas (22): E2362 не может получить доступ защищен символ TBaseOuterClass.TBaseIn nerClass

при функции линии TDerOuterClass.GetInnerInstance: TBaseOuterClass.TBaseInnerClass;

Я не могу понять, почему TBaseOuterClass.TBaseInnerClass (как внутренний защищенный класс) недоступен из TDerOuterClass (который получен для TBaseOuterClass). Что в данном случае для собственно защищенных типов?

Я не нашел никаких пояснений для этого на Nested Type Declarations topic. Так есть ли причины такого поведения?

Это также относится к простым типам защищаемых как

protected type  
    TSimpleType = Integer; 

Я не могу написать функцию в TDerOuterClass

protected  
    function GetValue: TSimpleType; 

, так как я получу сообщение

[dcc32 Ошибка] UDerClass.pas (16): E2003 Необъявленный идентификатор: 'TSimpleType'

Answer 1

Похоже на ошибку. Я бы предложил опубликовать его до quality portal.

Теперь вы можете объявить псевдоним типа, чтобы обмануть компилятор (протестирован в XE7).

unit UDerClass; 

interface 

uses 
    UBaseClass; 

type 
    TDerOuterClass = class(TBaseOuterClass) 
    protected type 
    TBaseInnerClass = TBaseOuterClass.TBaseInnerClass; // <= type alias to avoid compiler error 

    TDerInnerClass = class(TBaseInnerClass) 

    end; 

    protected 
    function GetInnerInstance: TBaseInnerClass; override; 
    end; 

implementation 

{ TDerOuterClass } 

function TDerOuterClass.GetInnerInstance: TBaseInnerClass; 
begin 
    Result := TDerInnerClass.Create; 
end; 

end.