Delphi中如何让变量指向TRecord类型的预定义常量静态数组？

你代码中Z可以正常赋值，本质是ARRAY_A/ARRAY_B和变量Z都是同一个动态数组类型TArray<string>，类型完全匹配，Delphi支持同类型动态数组直接引用赋值。
后续给W赋值失败，核心是两个硬兼容问题：

• 类型不匹配：Delphi是强类型语言，哪怕元素类型完全一致，不同声明的静态数组、静态数组和动态数组之间都不支持直接赋值
• 内存结构不兼容：动态数组是带引用计数、长度头的托管结构，存储在堆上；而静态数组是直接嵌在程序数据段的连续内存块，没有这些头部结构，直接赋值会导致程序错误解析内存内容，触发访问异常。

完全满足你“用静态常量数组、运行时不动态创建数组、变量W可切换指向不同目标数组”的要求，核心思路是：放弃用动态数组类型做W，改用指向不定长同元素数组的通用指针类型做变量，利用同元素静态数组的连续内存布局特性，直接把常量数组的首地址赋给W即可，全程无运行时内存分配。
完整可运行代码如下：

procedure TForm1.Button1Click(Sender: TObject);
type
  TTestRec = record
    X: string;
    Y: Integer;
  end;
  // 定义通用不定长数组指针：占位类型不限制指向数组的真实长度
  PTestRecArr = ^TTestRecArr;
  TTestRecArr = array[0..0] of TTestRec;
const
  ARRAY_A : TArray<string> = ['A1', 'A2', 'A3', 'A4'];
  ARRAY_B : TArray<string> = ['B1', 'B2', 'B3'];

  // 保留你原有的静态常量数组定义，仅修正语法遗漏的逗号
  ARRAY_C : array[1..2] of TTestRec = (
    (X: 'testC1'; Y:1),
    (X: 'testC2'; Y:2)
    );
  ARRAY_D : array[1..3] of TTestRec = (
    (X: 'testD1'; Y:3),
    (X: 'testD2'; Y:4),
    (X: 'testD3'; Y:9)
    );
var
  Z : TArray<string>;
  // W改为通用数组指针类型，而非动态数组
  W : PTestRecArr;
  // 可额外记录当前指向数组的真实长度，方便遍历
  CurrentArrayLen: Integer;
begin
  Z := ARRAY_A;
  Z := ARRAY_B;

  // 切换W指向ARRAY_C
  W := @ARRAY_C;
  CurrentArrayLen := Length(ARRAY_C);

  // 切换W指向ARRAY_D
  W := @ARRAY_D;
  CurrentArrayLen := Length(ARRAY_D);

  // 元素访问示例：取当前指向数组的第一个元素
  // 不管原数组下标从0还是1开始，内存首地址的偏移从0开始计算
  ShowMessage(W^[0].X); // 此时弹出'testD1'
end;

• 所有常量数组都是编译阶段就写入程序只读数据段的静态内容，运行时没有任何SetLength、构造器实例化的动态内存分配，完全匹配你的存储要求
• 通过W访问元素时是按内存偏移计算的，不受原静态数组的下标起点影响，不需要适配原数组的下标范围
• 因为指向的是只读的常量数组，不能通过W的指针修改数组元素，否则会触发内存写入异常，刚好契合你“运行时数据不变”的需求
• 原代码中ARRAY_D的testD2记录行末尾遗漏了分隔逗号，属于Delphi语法要求的固定写法，需要补上才能正常编译。

内容的提问来源于stack exchange，提问作者Peter Jones