Delphi中如何定义包含嵌套数组的常量记录结构？

问题描述 #

需要创建程序执行期间不可变的复杂嵌套数据结构（包含数组的记录组成的常量数组），原代码因动态数组无法直接在常量中初始化而编译失败：

type
  TTestFieldProperties = record
    FieldType: Integer;
  end;

  TTestFieldPropertyArray = array of TTestFieldProperties;

  TTestTypeProperties = record
    TestType: Integer;
    TestFieldProperties: TTestFieldPropertyArray;
  end;

const
  TestTypeProperties: array [0..1] of TTestTypeProperties = (
    (
      TestType: 2361;
      TestFieldProperties: nil
    ), (
      TestType: 3526;
      TestFieldProperties: /*array [0..1] of TTestFieldProperty???*/
      (
        (
          FieldType: 3
        ), (
          FieldType: 7
        )
      )
    )
  );

核心问题：TTestFieldPropertyArray是动态数组（引用类型），编译期无法直接创建其常量实例并嵌入到记录常量中。

解决方案 #

方案1：改用静态数组（编译期常量） #

将动态数组替换为静态数组，静态数组是值类型，可以直接在常量中初始化。如果需要可变长度的数组，可以为每个子数组单独定义常量：

type
  TTestFieldProperties = record
    FieldType: Integer;
  end;

  // 定义静态数组类型（可根据需求调整大小）
  TTestFieldPropertyArray = array[0..1] of TTestFieldProperties;

  TTestTypeProperties = record
    TestType: Integer;
    TestFieldProperties: TTestFieldPropertyArray;
  end;

const
  // 预定义子数组常量
  FieldProps_3526: TTestFieldPropertyArray = ((FieldType: 3), (FieldType: 7));
  // 空数组的默认值（静态数组不能为nil，用默认值代替）
  EmptyFieldProps: TTestFieldPropertyArray = ((FieldType: 0), (FieldType: 0));

  TestTypeProperties: array[0..1] of TTestTypeProperties = (
    (TestType: 2361; TestFieldProperties: EmptyFieldProps),
    (TestType: 3526; TestFieldProperties: FieldProps_3526)
  );

优点：完全在编译期初始化，无需运行时代码，数据天然不可变。
缺点：静态数组大小固定，无法灵活支持不同长度的子数组。

方案2：运行时初始化动态数组（灵活可变长度） #

如果需要支持可变长度的子数组，可在程序启动时初始化动态数组，并确保后续不修改数据：

type
  TTestFieldProperties = record
    FieldType: Integer;
  end;

  TTestFieldPropertyArray = array of TTestFieldProperties;

  TTestTypeProperties = record
    TestType: Integer;
    TestFieldProperties: TTestFieldPropertyArray;
  end;

var
  // 全局变量，初始化后视为只读
  TestTypeProperties: array[0..1] of TTestTypeProperties;

procedure InitializeConstants;
begin
  // 第一个元素：空数组
  TestTypeProperties[0].TestType := 2361;
  TestTypeProperties[0].TestFieldProperties := nil;

  // 第二个元素：长度为2的数组
  TestTypeProperties[1].TestType := 3526;
  SetLength(TestTypeProperties[1].TestFieldProperties, 2);
  TestTypeProperties[1].TestFieldProperties[0].FieldType := 3;
  TestTypeProperties[1].TestFieldProperties[1].FieldType := 7;
end;

initialization
  InitializeConstants;
finalization
  // 可选：释放动态数组（程序退出时系统会自动回收）
  SetLength(TestTypeProperties[0].TestFieldProperties, 0);
  SetLength(TestTypeProperties[1].TestFieldProperties, 0);
end.

优点：支持任意长度的子数组，灵活性高。
缺点：需要运行时初始化，需自行保证数据不被修改（可通过单元封装、只读访问等方式约束）。

方案3：Delphi XE+ 动态数组常量初始化（简化写法） #

从Delphi XE开始，支持直接初始化动态数组常量，可先定义子数组常量，再嵌入到记录常量中：

type
  TTestFieldProperties = record
    FieldType: Integer;
  end;

  TTestFieldPropertyArray = array of TTestFieldProperties;

  TTestTypeProperties = record
    TestType: Integer;
    TestFieldProperties: TTestFieldPropertyArray;
  end;

const
  FieldProps_3526: TTestFieldPropertyArray = [(FieldType: 3), (FieldType: 7)];

  TestTypeProperties: array[0..1] of TTestTypeProperties = (
    (TestType: 2361; TestFieldProperties: nil),
    (TestType: 3526; TestFieldProperties: FieldProps_3526)
  );

注意：该语法需要Delphi XE及以上版本支持，且动态数组常量本质是编译期生成的只读实例，运行时不可修改。

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