从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，其类型与something2相同，并从something3向其添加过程Z。 能做到吗 如何？

谢谢。

Answer 1

Ada不支持多重继承，但Ada 2005中的“接口”除外，但后者没有关联的类型。 从您编写的内容来看，您可以通过创建something3的接口来使用该概念（即使您没有在示例中公开它，它也始终具有null记录）。

something3真的需要从Abstract_something继承吗？ 如果没有，你可以做

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

根据我的经验，值得仔细考虑所面临的问题的真正性质（与实现的性质相反）：在继承的情况下，整个层次结构中是否存在“是”关系？ 也就是说，当B和C从A继承而D从B和C都继承时，每个B和C也是A吗？ 每个D真的都是B和C吗？ “具有”不适合继承（尽管粗心的人可以通过这种方式实现）。

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类型而不指定Abstract_something.Child2的实例化时，才需要使用something3_interface接口-由于其通用包具有自己的参数，因此不能在Abstract_something.Child2之外直接使用something3 。