nodes - Ada 通用链表和通用包访问

Question

我正尝试在 Ada 中基于通用 Node 类构建通用链表。但是，尽管使用了 with 子句并添加了相应的前缀，但我无法在我的链表中访问我的节点的类型和形式参数。

通用节点广告:

generic
   type item_type is private;

package GenericNode is
   type Node is limited private;
   type NodePtr is access Node;
   
   procedure GetData(n : in Node; e : out item_type);
   procedure GetNext(n : in Node; x : out NodePtr);
   
   procedure SetData(n : in out Node; e : in item_type);
   procedure SetNext(n : in out Node; x : in NodePtr);
   
private
   type Node is
      record
         data : item_type;
         next : NodePtr;
      end record;

end GenericNode;

genericsll.ads:

with GenericNode;

generic
   size : Positive;
   type node_type is private;
package GenericSLL is
   
   type SLL is limited private;
   
   procedure Append(s : in out SLL; d : in GenericNode.item_type);
   
   procedure PrintTraversal(s : in SLL);
   
private
   type SLL is
      record
         head : NodePtr := null;
         length : Positive := 0;
      end record;

end GenericSLL;

编译后，我被告知 Invalid prefix in selected component "GenericNode" and "NodePtr"is not visible 关于 genericsll.ads。有什么建议么？谢谢!

Answer 1

对于 Ada 中的通用包，您需要首先实例化它们。 GenericNode 不是一个包；它是包的配方，给定类型 item_type。这两个错误都表明存在这个问题；编译器正确地指出没有这样的包，也没有这样的 NodePtr 类型。 (“所选组件 GenericNode 中的无效前缀”只是意味着我不知道您所说的“GenericNode”是什么意思)

在 C++ 中，您可能确实希望根据节点类型对单向链表进行参数化，然后告诉编译器“只获取此节点类型的 X 和 Y 成员，即使我没有告诉您什么节点类型实际上是 yet'，Ada 编译器拒绝这个，因为它会导致容易出错的代码，在其中您无法判断类型应该满足什么(C++20 中的契约旨在修补这个问题)。

Ada 不允许这样做；每个包都必须在使用前实例化，以便知道每种类型的参数。不幸的是，这也意味着无法像在 C++ 中那样在 Ada 中进行任意编译时计算。

如果您在 item_type 而不是 node_type 上参数化 GenericSLL，它可以使用该 item_type 实例化它需要的特定 GenericNode 包。只需要修改GenericSLL:

with GenericNode;

generic
   size : Positive;
   type item_type is private;
package GenericSLL is

   package LinkedList_Node is new GenericNode(item_type);
   use LinkedList_Node;

   type SLL is limited private;
   
   procedure Append(s : in out SLL; d : in item_type);
   
   procedure PrintTraversal(s : in SLL);
   
private
   type SLL is
      record
         head : NodePtr := null;
         length : Natural := 0; -- Positive starts at 1
      end record;

end GenericSLL;