动态数组，从 C++ 转换为 Delphi

Question

我不明白为什么 Delphi 不像 C++ 那样工作

float *buffer;
buffer=new float[2];
buffer[0]=0.1;
buffer[1]=0.2;
buffer+=1;
//now buffer[0] has value of buffer[1] and buffer[1] has value 0

德尔福代码：

buffer: array of Single;
SetLength(buffer,2);
buffer[0]:=0.1;
buffer[1]:=0.2;
buffer:=buffer+1; //doesn't work

Answer 1

您展示的 Delphi 代码与 C++ 代码正在执行的操作不同 - 使用指针算法。以下是更接近的翻译：

如果您使用的是 D2009+：

{$POINTERMATH ON}

var
  buffer: PSingle;

GetMem(buffer, SizeOf(Single) * 2);
buffer[0] := 0.1;
buffer[1] := 0.2;
buffer := buffer + 1;

如果您使用的是 D2007 或更早版本，请改用类似以下的内容：

type
  TSingleArray = packed array[0..(MaxInt div SizeOf(Single))-1] of Single;
  PSingleArray = ^TSingleArray;

var
  buffer: PSingle;

GetMem(buffer, SizeOf(Single) * 2);
PSingleArray(buffer)^[0] := 0.1;
PSingleArray(buffer)^[1] := 0.2;
Inc(buffer);

Answer 2

您遇到的很多问题都是因为您的 C++ 代码是荒谬的，人们不明白您为什么要这样做，在 C++ 或 Delphi 中。

一个指针指向一个内存地址，一般假定它包含一个变量。但是在 C（以及 C++ 和类似语言）中，指针也用作数组；而不是定义良好的“数组类型”，您只需有一个指向第一个元素的指针和适用于它的数组语法。您的buffer+=1 行基本上意味着“将指向变量元素的指针移到它当前所在的元素之后”。你声称now buffer[0] has value of buffer[1] and buffer[1] has value 0，但这并不是那么简单。旧的缓冲区 [0] 没有去任何地方；你只是移动了指针。

你来自：

  | 
  V
-----------------
| 0 | 1 | beyond|
-----------------
|0.1|0.2|???????|
-----------------

到：

      | 
      V
-----------------
| 0 | 1 | beyond|
-----------------
|0.1|0.2|???????|
-----------------

现在看起来 buffer[0] 已经改变了它的值，但值没有改变；你只是移动了指针。

出于某种原因，我在标记为 ?s 的数组末尾之后留下了值。那不是真正的0；那是未定义，它包含内存中这些字节发生的任何内容。它现在可能是0，但如果你再次运行它（或在不同的地方运行它电脑）你可以很容易地得到一些随机数。 “未定义的行为”是程序员所说的“事情以不可预测且难以追踪的方式出错”。这不是一件好事。 C充满了它；德尔福，更不用说。

您尝试做的事情在 Delphi 中不起作用的原因是 Delphi 具有与指针完全不同的定义良好的数组类型。动态数组可能看起来像“只是一个数组”，但它实际上是一个包含有关数组的元数据的数据结构，并在其末尾粘贴了一个数组。所以你不能移动指针；没有 C 代码那样的“元素指针”。

如果您真的想获得指向数组中某个元素的指针，可能是因为您一次扫描一个元素，您可以声明一个指针类型的变量（使用^ 运算符）并设置它与@ 运算符一起使用，如下所示：

var
buffer: array of Single;
ptr: ^single;
begin
   SetLength(buffer,2);
   buffer[0]:=0.1;
   buffer[1]:=0.2;
   ptr := @buffer[1];
end;

但同样，指针不是数组，数组也不是指针。所以你不能说ptr[0]。 （一些指针类型，例如PChar，出于实用性原因对这条规则做了一个例外，因为它们代表 C API 字符串，但作为一般规则，您不应将指针视为数组。）

如果你想做的是扫描一个数组，有一个更好的方法。因为数组类型定义明确，Delphi 知道它有多长，所以可以这样做：

for value in buffer do
   //do whatever

这称为枚举器，它充当一种特殊的for循环，循环遍历数组中的每个元素，并将其输入索引变量。

我希望这会有所帮助。如果没有，请说明您要使用此代码做什么，我会尝试更好地解释。 :)