Показать сообщение отдельно
  #1  
Старый 08.12.2012, 00:31
Tixon Tixon вне форума
Прохожий
 
Регистрация: 08.12.2012
Сообщения: 4
Репутация: 10
По умолчанию Видимость типа, определенного внутри класса классами наследниками

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

Проблема следующая: есть 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. Изменить структуру модулей и классов не предлагать.
Ответить с цитированием