Delphi中指针数组双重索引触发“Array type required”错误排查

开启{$POINTERMATH ON}后，尝试用C风格技巧对指针数组做双重索引，代码如下：

{$POINTERMATH ON}
...
type
  TYMMQWords = Array[0 .. 3] of UInt64;
  PYMMQWords = ^TYMMQWords; 

var 
  currentFlag: Integer; 
  temp: UInt64; 
  arrayFlags: PYMMQWords;

begin
  temp := arrayFlags[currentFlag][0];
end;

你的理解：

• arrayFlags[currentFlag]是包含4个UInt64元素的数组，符合指针算术规则，无{$POINTERMATH ON}时会直接报错；
• arrayFlags[currentFlag][0]等价于(arrayFlags[currentFlag])[0]，表示数组中的UInt64元素，无歧义。

但编译器报错“Array type required”，问题出在Delphi与C的类型系统差异：

核心原因 #

在Delphi中，TYMMQWords是静态值类型数组，开启指针算术后，arrayFlags[currentFlag]返回的是该数组的临时值副本，而非指向数组的指针。Delphi不允许直接对临时数组值执行索引操作——编译器要求的是可寻址的数组变量（左值），而非临时生成的数组值。

解决方法 #

方法1：先将临时数组值赋值给变量，再索引

var
  arr: TYMMQWords;
begin
  arr := arrayFlags[currentFlag];
  temp := arr[0];
end;

方法2：直接计算目标元素的内存地址，通过指针取值

绕过临时数组值，直接定位到第一个UInt64的地址：

temp := PUInt64(NativeInt(arrayFlags) + currentFlag * SizeOf(TYMMQWords))^;

方法3：调整类型为“指向数组指针的指针”（模拟C风格指针数组）

如果你的实际需求是C里的“指针数组”（即每个元素是指向数组的指针），需要修改类型定义：

type
  TYMMQWords = Array[0 .. 3] of UInt64;
  PYMMQWords = ^TYMMQWords;
  PPYMMQWords = ^PYMMQWords; // 指向数组指针的指针

var
  currentFlag: Integer;
  temp: UInt64;
  arrayFlags: PPYMMQWords;

begin
  temp := arrayFlags[currentFlag]^[0];
end;

内容的提问来源于stack exchange，提问作者Zoltán Bíró