delphi - 如何在 const 记录中使用声明和使用指向 const 数组的指针？

Question

我有几个基本类型相同但大小不同的 const 数组，我需要在 const 记录中指向它们。下面的代码编译成功，但以错误结束。

type
  Toffsets = array of integer;

  Trec = record
             point1: Tpoint;          //complete size
             point2: Tpoint;
             aOffsets:  ^Toffsets;
           end;

const
  cOffsetsA: array [0..3] of integer = (7, 4, 2, 9);
  cOffsetsB: array [0..5] of integer = (1, 2, 3, 4, 5, 6);

  cRec1: Trec = (
    point1:   (x: 140; y: 46);
    point2:   (x: 5; y: 7);
    aOffsets: @cOffsetsA;
  );

  cRec2: Trec = (
    point1:   (x: 40; y: 6);
    point2:   (x: 5; y: 7);
    aOffsets: @cOffsetsB;
  );

在我的代码中，我需要访问具有指向记录的指针的 cOffsetsA/B 数组中的数据。我试着这样做：

var pMyRec: ^Trec;
...
pMyRec := @cRec1;
...
i := pMyRec^.aOffsets^[0];

这会导致错误 - '访问冲突...读取地址 000000...'

谁能解释一下这里有什么问题以及如何解决它，应该怎么做？

可能我还必须在记录中添加 _length 字段，该字段将保存指针指向的数组的大小；这不是问题。

最好的问候， 卢克

Answer 1

虽然在 Delphi 中可以使用这样的常量，但我只想补充一点，通常以这种方式做事并不是一个好主意。就个人而言，如果此代码在某个单元中，我会使用如下代码：（D2007 及更高版本）

type
  Toffsets = array of integer;
  Trec = record
    point1: Tpoint; //complete size
    point2: Tpoint;
    aOffsets: ^Toffsets;
    constructor Create(X1, Y1, X2, Y2: Integer; Offsets: array of integer);
  end;

因此，记录获得了一个构造函数，它将用适当的数据填充它。作为一个缺点，如果你想使用构造函数来填充数据，你不能再将它声明为一个常量。但是，您可以通过在初始化部分中使用以下代码来解决此问题：

var
  cRec1: Trec;

initialization
  cRec1 := Trec.Create(140, 6, 5, 7, cOffsetsA);

此代码会将记录声明为全局变量而不是常量，并用您的数据填充它。

您的构造函数可能如下所示：

constructor Trec.Create(X1, Y1, X2, Y2: Integer; Offsets: array of integer);
var
  I: Integer;
begin
  point1.X := X1;
  point1.Y := Y1;
  point2.X := X2;
  point2.Y := Y2;
  new(aOffsets);
  SetLength(aOffsets^, 0);
  for I in Offsets do
  begin
    SetLength(aOffsets^, Succ(Length(aOffsets^)));
    aOffsets^[Pred(Length(aOffsets^))] := I;
  end;
end;

这将用您的数据填充记录。但是，您不必以这种方式使用构造函数来创建记录！这只是一个附加功能。

为了更有趣，您可以为两个点和数组添加属性，将字段本身设为私有，并且只为属性声明读取方法。这样，您仍然可以确保其内容是只读的并保持只读状态。

但是使用您的代码有什么风险？好吧，由于您将它们全部声明为常量，因此风险不大，除非您允许可分配的类型常量。 （声明了 {$J+}...）在这种情况下，一段代码可以更改 cOffsetsA 中的值，并且它也会更改 cRec1 中的值。那是你要的吗？

无论如何，通过使用构造函数并在代码中初始化它们，您可以使代码更加动态。但是，它仍然是一个简单的记录类型，附加的属性和方法不会改变它的结构或大小。

不过，您需要 Delphi 2007 或更高版本...

Answer 2

看来我自己找到了答案：

type
  Toffsets = array of integer;

是动态数组类型，setLength 必须与该类型的任何变量一起使用以分配内存。我需要的是一个指向现有常量数组的指针，所以为了解决这个问题，唯一必须改变的是这种类型的声明。它应该看起来像：

type
  Toffsets = array [0..0] of integer;

是的，我必须在记录中添加 _length 字段，因为 low(pMyRec^.aOffsets^)、high(...) 和 length(...) 不起作用。

最好的问候， 卢克

Answer 3

以下应该有效：

i:=TOffsets(pMyRec^.aOffsets)[0];