delphi - 如何将指针转换为泛型参数类型？

Question

这是我的第一个问题，很高兴找到这个网站。

我的问题涉及 Delphi 2009 中的新泛型功能。基本上，我尝试为现有的 HashMap 实现编写一个泛型包装类。现有的实现存储 (String, Pointer) 对，因此在包装类中我必须在泛型参数类型 T 和 Pointer 类型之间进行转换，反之亦然。

type THashMap <T : class> = class
private
  FHashList   : THashList;
  ...

end;

我想到了这样的类型转换(值:T)

Value := (TObject (Ptr)) as T

但这行不通。编译器告诉我“运算符不适用于此操作数类型”。

有人有一些提示吗？预先非常感谢。

Answer 1

您需要获取泛型类型参数类型的位置的地址，然后将该地址类型转换为指向所需类型的指针，然后取消引用该指针并分配到结果位置。例如:

PObject(@Value)^ := Ptr;

不能直接对 T 类型的值进行类型转换(其中 T 不受约束)，因为编译器不知道 T 的大小；通常，非数字类型转换只能将值转换为相同大小的类型。

不幸的是，编译器不够聪明，无法弄清楚类类型约束意味着 T 保证与指针大小相同。

此外，当前的 Delphi 2009 泛型在创建指向类型参数类型的指针时存在问题。编译器不支持通用指针，但编译器允许在类中使用此语法:

type
  C<T> = class
  type
    PT = ^T; // UNSUPPORTED!
  end;

这可能适用于某些情况 - 并且可以对您的特定问题有所帮助 - 但它只是偶然有效并且通常不受支持。使用风险由您自行承担。