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

Question

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

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

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

end;

我想到了这样的演员表（价值：T）

Value := (TObject (Ptr)) as T

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

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

score 10 · Accepted Answer

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

PObject(@Value)^ := Ptr;

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

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

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

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

这可能适用于某些场景 - 并且可能对您的特定问题有所帮助 - 但它只是偶然起作用并且通常不受支持。使用风险自负。

score 0 · Accepted Answer

试试这个：

Value := TObject (Ptr)

无需强制转换，因为将分配TObject给泛型类类型变量是有效的:)

但我不知道你为什么不能T首先用于铸造的原因......

2 回答 2