Delphi中带头部的块/流的合适数据结构探讨

带头部的块或驻留内存的随机访问流（非TStream顺序流）这类结构，无法直接用常规静态数据结构完美表示。以简单图像格式为例：前四个整数分别代表图像类型（灰度、RGB、CMYK等）、位深度、宽度、高度，后续是长度可变的位图数据。原方案用静态数组定义最大长度，既不优雅也不安全，编译时无越界提示，只能间接使用。

以下是几种更优雅的实现方案，适配内存驻留、随机访问的场景：

方案1：分离头部与数据指针 #

将静态头部和动态数据缓冲区分离，通过指针关联，同时在头部中明确记录数据长度，方便内存管理与边界检查。

type
  TSimpleImageHeader = packed record
    ImageType: Integer;
    BitDepth: Integer;
    Width: Integer;
    Height: Integer;
    DataSize: Integer; // 新增字段，明确数据缓冲区的字节长度
  end;

  TSimpleImage = record
    Header: TSimpleImageHeader;
    Data: PByte; // 指向动态分配内存或MMF内存窗口的起始地址
    class function Create(ImgType, Depth, W, H: Integer; DataLen: Integer): TSimpleImage; static;
    procedure Free;
  end;

class function TSimpleImage.Create(ImgType, Depth, W, H: Integer; DataLen: Integer): TSimpleImage;
begin
  Result.Header.ImageType := ImgType;
  Result.Header.BitDepth := Depth;
  Result.Header.Width := W;
  Result.Header.Height := H;
  Result.Header.DataSize := DataLen;
  Result.Data := IfThen(DataLen > 0, AllocMem(DataLen), nil);
end;

procedure TSimpleImage.Free;
begin
  if Assigned(Data) then
  begin
    FreeMem(Data);
    Data := nil;
  end;
end;

优势：内存占用紧凑，支持直接随机访问（通过Data指针偏移），MMF场景下可直接将Data指向内存映射窗口，无需额外分配内存。

方案2：动态数组封装 #

利用Delphi动态数组的自动内存管理特性，简化内存分配与释放逻辑，同时保留随机访问能力。

type
  TSimpleImage = packed record
    ImageType: Integer;
    BitDepth: Integer;
    Width: Integer;
    Height: Integer;
    Data: TBytes; // 动态字节数组，自动处理内存生命周期
  end;

优势：无需手动管理内存，数据长度可通过Length(Data)直接获取，支持Data[Index]形式的随机访问。MMF场景下可将内存内容复制到Data数组，或直接通过PByte(MMF.Memory)转换后操作。

方案3：零拷贝内存视图 #

针对已存在的连续内存块（如MMF窗口、网络接收缓冲区），通过类型转换直接映射头部，无需额外内存复制。

type
  TSimpleImageHeader = packed record
    ImageType: Integer;
    BitDepth: Integer;
    Width: Integer;
    Height: Integer;
    DataSize: Integer; // 需包含数据长度字段用于边界检查
  end;

// 使用示例：假设Memory指向MMF内存窗口或其他连续内存块
var
  Header: PSimpleImageHeader;
  Data: PByte;
begin
  Header := PSimpleImageHeader(Memory);
  Data := PByte(NativeUInt(Header) + SizeOf(TSimpleImageHeader));
  // 直接通过Data指针随机访问，如 Data[100] 获取第101个字节
  // 可通过Header^.DataSize做边界检查，避免越界
end;

优势：完全零拷贝，性能极高，适合处理外部已存在的内存块。

方案4：类封装（面向对象实现） #

如果需要额外的安全校验、生命周期管理逻辑，可通过类封装实现，区分自有内存与外部内存（如MMF），避免误释放资源。

type
  TSimpleImageHeader = packed record
    ImageType: Integer;
    BitDepth: Integer;
    Width: Integer;
    Height: Integer;
    DataSize: Integer;
  end;

  TSimpleImage = class
  private
    FHeader: TSimpleImageHeader;
    FData: PByte;
    FOwnsData: Boolean; // 标记是否拥有内存所有权，MMF场景设为False
  public
    constructor Create(ImgType, Depth, W, H: Integer; DataLen: Integer); overload;
    constructor Create(Memory: Pointer); overload; // 绑定外部内存块
    destructor Destroy; override;
    property Header: TSimpleImageHeader read FHeader;
    property Data: PByte read FData;
    property DataSize: Integer read FHeader.DataSize;
    function GetDataByte(Index: Integer): Byte; // 带边界检查的访问方法
  end;

constructor TSimpleImage.Create(ImgType, Depth, W, H: Integer; DataLen: Integer);
begin
  inherited Create;
  FHeader.ImageType := ImgType;
  FHeader.BitDepth := Depth;
  FHeader.Width := W;
  FHeader.Height := H;
  FHeader.DataSize := DataLen;
  if DataLen > 0 then
  begin
    FData := AllocMem(DataLen);
    FOwnsData := True;
  end;
end;

constructor TSimpleImage.Create(Memory: Pointer);
begin
  inherited Create;
  FHeader := PSimpleImageHeader(Memory)^;
  FData := PByte(NativeUInt(Memory) + SizeOf(TSimpleImageHeader));
  FOwnsData := False;
end;

destructor TSimpleImage.Destroy;
begin
  if FOwnsData and Assigned(FData) then
    FreeMem(FData);
  inherited;
end;

function TSimpleImage.GetDataByte(Index: Integer): Byte;
begin
  if (Index < 0) or (Index >= FHeader.DataSize) then
    raise EArgumentOutOfRangeException.Create('数据索引越界');
  Result := FData[Index];
end;

优势：提供安全的访问控制，支持复杂的逻辑扩展，同时适配自有内存与外部内存场景。

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