为什么不继承本地类型声明？

Question

假设我有一个像这样声明本地类型的类：

type
  TAncestor = class
    type
      TLocalType = (just, some, example); 
  end;

然后，我想在子类中使用该本地类型。但是，以下内容无法编译。

type
  TChild = class (TAncestor)
    procedure Test (AVariable: TLocalType);  // error: undeclared identifier: 'TLocalType'
  end;

为了使用该类型，似乎需要一个完全限定的类型名称。以下编译：

type
  TChild = class (TAncestor)
    procedure Test (AVariable: TAncestor.TLocalType);
  end;

虽然这可行，但感觉相当不雅。 （另外，如果我想更改 TChild 的祖先，我必须更改两行中的类名。）我可能遗漏了一些东西；类型声明不是简单地从祖先继承的原因是什么？

Answer 1

类型实际上是继承的。除了祖先类之外，您还可以通过使用子类限定标识符来访问它：

你也可以使用 TChild.TLocalType:

TAncestor = class
type
    TLocalType = (just, some, example);
end;

TChild = class (TAncestor)
    procedure Test (AVariable: TChild.TLocalType);
end;

为什么会这样？因为 Embarcadero 的设计选择。