指向泛型类型的指针

Question

在将给定的基于指针的有效哈希映射实现转换为通用哈希映射实现的过程中，我偶然发现了以下问题：

我有一个表示哈希节点的类（哈希映射实现使用二叉树）

THashNode <KEY_TYPE, VALUE_TYPE> = class
public
  Key      : KEY_TYPE;
  Value    : VALUE_TYPE;
  Left     : THashNode <KEY_TYPE, VALUE_TYPE>;
  Right    : THashNode <KEY_TYPE, VALUE_TYPE>;
end;

除此之外，还有一个函数应返回指向哈希节点的指针。 我想写

PHashNode = ^THashNode <KEY_TYPE, VALUE_TYPE>

但那不会编译（';'预期，但'<'找到）。

如何指向泛型类型的指针？

并向Barry Kelly致敬：如果您读到这个：是的，这是基于您的哈希映射实现。 你自己没有写过这样一个通用版本的实现，对吗？ 那会节省我一些时间:)

Answer 1

对不起，Smasher。 不支持打开泛型类型的指针，因为不支持泛型指针类型，尽管在某些情况下可能（编译器错误）创建它们（特别是指向泛型类型中的嵌套类型的指针）; 如果我们破坏某人的代码，则无法在更新中删除此“功能”。 通用指针类型的限制应该在将来被删除，但我不能做出承诺。

如果有问题的类型是我编写的JclStrHashMap （或古老的HashList单元）中的类型，那么，重现它的最简单方法是将节点类型更改为类，并将任何双指针作为Pointer传递给适当的铸件。 但是，如果我今天再次编写该单元，我就不会将桶实现为二叉树。 我有机会在Generics.Collections单元中编写字典，尽管所有其他Delphi编译器的工作时间都太紧，然后才能获得可靠的QA，并且通用功能支持本身也在不断变化。

我更愿意将哈希映射存储桶实现为双散列，每桶动态数组或来自连续数组的单元的链接列表之一，无论哪种情况最好来自使用代表性数据的测试。 逻辑是树/列表中跟随链接的高速缓存未命中成本应该主导树和具有良好散列函数的列表之间的桶搜索的任何差异。 当前字典实现为直线性线性探测，主要是因为它相对容易实现并使用可用的原始泛型操作集。

也就是说，二叉树桶应该是对抗不良哈希函数的有效对冲; 如果它们是平衡的二叉树（ =>甚至更多的修改成本），它们将是平均O（1）和O（log n）最差情况下的性能。

Answer 2

要实际回答您的问题，您不能指向泛型类型，因为“泛型类型”不存在。 您必须创建一个指向特定类型的指针，并填入类型参数。

不幸的是，编译器不喜欢在^之后找到尖括号。 但它会接受以下内容：

   TGeneric<T> = record
      value: T;
   end;

   TSpecific = TGeneric<string>;

   PGeneric = ^TSpecific;

但是“ PGeneric = ^TGeneric<string>; ”给出了编译器错误。 对我来说听起来像个小故障。 如果我是你，我会在QC报告。

无论如何，你为什么要尝试指向一个对象？ Delphi对象是一种引用类型，因此它们已经是指针。 你可以将你的对象引用转换为Pointer，你很好。

Answer 3

如果 Delphi支持通用指针类型，它必须如下所示：

type
  PHashNode<K, V> = ^THashNode<K, V>;

也就是说，在左侧提及声明类型名称的通用参数，然后在右侧构造类型时使用这些参数。

但是，Delphi 不支持这一点。 见QC 66584 。

在另一方面，我还怀疑有一个指向类类型在所有的必要性。 通用与否。 他们只需要很少 。

Answer 4

在Generics.Collections单元中有一个名为TDictionary的通用哈希映射。 不幸的是，它目前严重受损，但显然将在更新＃3中修复，根据Nick Hodges的说法 ，该更新将在几天之内完成 。