从 Ada 中的两种类型继承

Question

假设我有：

GENERIC
   TYPE Item IS PRIVATE;
   PACKAGE Abstract_something IS
      TYPE something IS ABSTRACT TAGGED LIMITED PRIVATE;
      procedure x(...)IS ABSTRACT;
      procedure y(...)IS ABSTRACT;
      PRIVATE
         TYPE something IS ABSTRACT TAGGED LIMITED NULL RECORD;
END Abstract_something;

然后我创建了两个孩子

1.

GENERIC
   PACKAGE Abstract_something.Child IS
      TYPE something_2  IS ABSTRACT NEW something WITH PRIVATE;
      PROCEDURE x(...);
      PROCEDURE y(...);
      FUNCTION  xx(...) RETURN whatever1;
      error: EXCEPTION;
      PRIVATE
         TYPE something_2  IS ABSTRACT NEW something WITH RECORD
            some declarations here..
         END RECORD;
END Abstract_something.Child;

2.

GENERIC
PACKAGE Abstract_something.Child2 IS
   TYPE something3 IS ABSTRACT NEW something WITH PRIVATE;
   PROCEDURE z ( ... ) IS ABSTRACT;
   PRIVATE
      TYPE something3 IS ABSTRACT NEW something WITH NULL RECORD;
END Abstract_something.Child2;

这里 child 和 child2 都继承自同一个父级，我想创建 child3 其类型为something4，与something2相同，并向其中添加过程Z 某事3。 可以吗？又如何呢？

谢谢。

Answer 1

Ada 不支持多重继承，Ada 2005 中的“接口”除外，但它没有关联的类型。根据您所写的内容，您可以通过创建 Something3 的接口来使用该概念（无论如何它都有一个空记录，即使您没有在示例中公开它）。

Something3真的需要继承Abstract_something吗？如果没有，你可以这样做

type something3 is interface;
type something4 is new something2 and something3 with private; -- or with null record etc

根据我的经验，仔细考虑手头问题的真正属性（而不是实现的属性）是值得的：在继承的情况下，是否存在“is-a”关系存在于整个层次结构中吗？也就是说，当B和C继承自A，并且D同时继承自B和C时，是否每个B和C也是A？每个D真的都是B和C吗？
“Has-a”不适合继承（尽管粗心的人可能会那样实现）。

Answer 2

您可以使用正交继承，它可能适用于您的用例。您必须将 Child2 更改为：

GENERIC
   TYPE base IS ABSTRACT NEW something WITH PRIVATE;
PACKAGE Abstract_something.Child2 IS
   TYPE something3 IS ABSTRACT NEW base AND something3_interface WITH PRIVATE;
   PROCEDURE z ( ... ) IS ABSTRACT;
   PRIVATE
      TYPE something3 IS ABSTRACT NEW base AND something3_interface WITH NULL RECORD;
END Abstract_something.Child2;

现在 something3 中的添加可以应用于继承自 something 的任何类型 - 您只需实例化 Abstract_something.Child2 与您想要继承的base - 例如something_2。

something3_interface 是可选的，必须添加到 Abstract_something 中：

...
TYPE something3_interface IS INTERFACE;
-- Possibly some primitive operations defined by something3_interface here
...

仅当您想使用 something3 类型时，才需要接口 something3_interface 某处未指定 Abstract_something.Child2 的实例化 - 由于其通用包有自己的参数，因此您不能直接使用 something3在 Abstract_something.Child2 之外。