将指针的地址保存在变量中并访问它

Question

我有一个在delphi中使用指针的初学者问题。

我创建一个对象并将其地址保存在变体变量中。 但我不知道如何使用这个变量访问对象。 这是我的代码：

...
      New(PSplObj);
      PSplObj^ := TsplCellObject.Create;
      PSplObj.description := sTeam;
      PSplObj.color := clRed;
      myvar := Integer(PSplObj);
      dispose(PSplObj);

      // how to access the object throug the pointer in myvar?
...

Answer 1

我认为你的主要问题与 Delphi 对象引用是什么有关。考虑以下人工示例：

type
  TMyRecord = record
    a, b, c: Integer;
  end;
  TMyClass = class
    a, b, c: Integer;
  end;
... 
var
  MyRecord: TMyRecord;
  MyObject: TMyObject;
...
MyObject := TMyObject.Create;

此时，我们有两个本质上相同的结构化类型的实例。然而，Delphi 呈现这些实例的方式却截然不同。记录是所谓的值类型，而对象是引用类型。

当您分配给引用类型的变量时，该值将被复制。例如：

MyRecord2.a := 1;
MyRecord1 := MyRecord2;
MyRecord1.a := 2;
Assert(MyRecord1.a<>MyRecord2.a);

值类型的示例包括整数、枚举类型、浮点类型、记录、对象等。

相反，分配给引用类型变量会复制引用，以便两个变量都引用同一对象。例如：

MyObject2.a := 1;
MyObject1 := MyObject2;
MyObject1.a := 2;
Assert(MyObject1.a=MyObject2.a);

引用类型的一个特点是它们都是堆分配的，而值类型可以是堆分配的，也可以是堆栈分配的。

引用类型的示例包括类、接口、动态数组。

Delphi 字符串是一个有趣的混合体。尽管它们是作为引用实现的，但写入时复制使它们的行为类似于值类型。

Delphi 的对象语法隐藏了它们作为引用（即指针）实现的事实。

Assert(SizeOf(MyRecord)=3*SizeOf(Integer));//=12
Assert(SizeOf(MyObject)=SizeOf(Pointer));//=4 (or 8 in Delphi 64)

这一切意味着您的代码不必要地复杂。无需为对象引用分配存储空间，因为对象变量已经是引用。您可以这样写：

//assign object reference to Variant
MyVariant := NativeInt(MyObject);

//extract object reference from Variant
NativeInt(MyObject) := MyVariant;

请注意，我使用的是 NativeInt，因为它是一个整数类型，定义的大小至少与指针相同。当 Delphi 的 64 位版本出现时，这一点将变得重要。

Answer 2

首先，您实际上并不需要指向对象的指针，因为对象本身已经是引用类型，并且您可以将对象引用转换为 integer （尽管 NativeInt > 可能会更好。）要使用它，您必须从变体中取出整数并将其转换回指针/对象类型，如下所示：

var
  intref: NativeInt;
  cell: TsplCellObject;
begin
  intref := myvar;
  cell := TsplCellObject(intref);
  //do something with Cell here
end;