如何在Delphi中将Record的字段作为过程参数传递？

核心思路：绕过类型限制实现字段访问 #

Delphi的类型检查比FreePascal更严格，直接用FreePascal的指针语法传递Record字段会触发E2015错误。但可以通过字段偏移量或泛型委托两种方式实现需求，后者更直观且类型安全。

方案一：字段偏移量实现（兼容底层操作） #

1. 获取字段偏移量 #

通过NativeInt强制转换绕过Delphi的类型检查，获取Record字段相对于结构体起始地址的偏移量：

function GetFieldOffset<T: record>(const FieldPtr: Pointer): NativeInt;
begin
  Result := NativeInt(FieldPtr) - NativeInt(@Default(T));
end;

调用示例（以自定义Record为例）：

type
  TUserRecord = record
    ID: Integer;
    Username: string;
    Score: Double;
  end;

var
  IDOffset, NameOffset: NativeInt;
begin
  // 获取ID字段偏移量
  IDOffset := GetFieldOffset<TUserRecord>(@TUserRecord(nil).ID);
  // 获取Username字段偏移量
  NameOffset := GetFieldOffset<TUserRecord>(@TUserRecord(nil).Username);
end;

2. 通用排序过程 #

利用偏移量直接访问数组中Record的指定字段，实现排序：

// 按整数字段排序
procedure SortByIntegerField<T: record>(var Arr: array of T; FieldOffset: NativeInt);
var
  I, J: Integer;
  Temp: T;
  ValA, ValB: Integer;
begin
  for I := Low(Arr) to High(Arr)-1 do
    for J := I+1 to High(Arr) do
    begin
      // 通过偏移量定位字段地址并取值
      ValA := PInteger(NativeInt(@Arr[I]) + FieldOffset)^;
      ValB := PInteger(NativeInt(@Arr[J]) + FieldOffset)^;
      if ValA > ValB then
      begin
        Temp := Arr[I];
        Arr[I] := Arr[J];
        Arr[J] := Temp;
      end;
    end;
end;

// 按字符串字段排序（重载示例）
procedure SortByStringField<T: record>(var Arr: array of T; FieldOffset: NativeInt);
var
  I, J: Integer;
  Temp: T;
  ValA, ValB: string;
begin
  for I := Low(Arr) to High(Arr)-1 do
    for J := I+1 to High(Arr) do
    begin
      ValA := PString(NativeInt(@Arr[I]) + FieldOffset)^;
      ValB := PString(NativeInt(@Arr[J]) + FieldOffset)^;
      if ValA > ValB then
      begin
        Temp := Arr[I];
        Arr[I] := Arr[J];
        Arr[J] := Temp;
      end;
    end;
end;

3. 调用示例 #

var
  UserArr: array of TUserRecord;
begin
  // 初始化数组...
  // 按ID排序
  SortByIntegerField<TUserRecord>(UserArr, IDOffset);
  // 按用户名排序
  SortByStringField<TUserRecord>(UserArr, NameOffset);
end;

方案二：泛型委托实现（更优雅安全） #

无需处理指针和偏移量，用泛型委托直接定义字段取值逻辑，可读性和类型安全性更高：

type
  // 定义字段取值委托：输入Record，返回字段值
  TFieldGetter<T, V> = reference to function(const Rec: T): V;

// 通用排序过程
procedure SortRecordArray<T, V>(var Arr: array of T; GetField: TFieldGetter<T, V>);
var
  I, J: Integer;
  Temp: T;
begin
  for I := Low(Arr) to High(Arr)-1 do
    for J := I+1 to High(Arr) do
    begin
      if GetField(Arr[I]) > GetField(Arr[J]) then
      begin
        Temp := Arr[I];
        Arr[I] := Arr[J];
        Arr[J] := Temp;
      end;
    end;
end;

调用示例 #

// 按ID排序
SortRecordArray<TUserRecord, Integer>(UserArr, 
  function(const Rec: TUserRecord): Integer
  begin
    Result := Rec.ID;
  end);

// 按分数排序
SortRecordArray<TUserRecord, Double>(UserArr, 
  function(const Rec: TUserRecord): Double
  begin
    Result := Rec.Score;
  end);

E2015错误的解决说明 #

FreePascal允许直接通过@Record.Field获取字段指针（即使Record为nil），但Delphi的类型检查会禁止这种操作。方案一中的GetFieldOffset函数通过NativeInt强制转换绕过了该限制，无需全局关闭{$TYPEDADDRESS}编译指令（关闭会降低类型安全性）。

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