[Tixon]

Здравствуйте!
Помогите понять почему так происходит. Если кто знает приведите примеры как это реализовано в других языках.

Проблема следующая: есть 3 класса, в 3х модулях.

Код:

unit Unit1;
interface
type TClass1 = class
  protected type TType1 = record
    i:integer;
  end;
  // Интерфейс класса
end;
implementation
end.

Код:

unit Unit2;
interface
uses Unit1;
type TClass2 = class(TClass1)
  // Интерфейс класса
end;
implementation
end.

Код:

unit Unit3;
interface
uses Unit2;
type TClass3 = class(TClass2)
  // Интерфейс класса
  var Varible1:TType1;
end;
implementation
end.

Компилятор выдает ошибку при создании var Varible1:TType1 Undeclared identifier.
Если написать так то все работает

Код:

unit Unit3;
interface
uses Unit2, Unit1;
type TClass3 = class(TClass2)
  // Интерфейс класса
  var Varible1:TClass1.TType1;
end;
implementation
end.

НО: Юниту 3 совершенно не обязательно знать о существовании Юнита 1, и не понятно почему требуется такое явное указание класса к которому принадлежит данный тип, ведь переменная объявлена в это его наследнике.

Подскажите пожалуйста как решить проблему и как данная ситуация реализована в других языках.
P.S. Изменить структуру модулей и классов не предлагать.