Delphi四字节枚举按有符号整数比较的问题及解决咨询

问题概述 #

测试发现Delphi中{$MINENUMSIZE 4}（简称{$Z4}）修饰的四字节枚举，官方文档声明其以无符号双字存储，但实际比较时会按有符号Integer而非无符号Cardinal处理，导致数值超过2^31-1的枚举值比较结果异常。

测试代码如下：

program FourByteEnum;
{$APPTYPE CONSOLE}

const
  cvr20100101 = 1001010000;   // 2010-01-01, 00:00 - 用作版本号的时间戳
  cvr20200503 = 2005030000;
  cvr20250303 = 2503030000;

type
{$MINENUMSIZE 4}
  TEnumVersion = (
    evr20100101 = 1001010000,
    evr20200503 = 2005030000,
    evr20250303 = 2503030000
  );

var
  CardinalVersion: Cardinal;
  EnumVersion: TEnumVersion;
begin
  CardinalVersion := cvr20200503;
  writeln('CardinalVersion > cvr20250303 : ', CardinalVersion > cvr20250303); // 输出 FALSE
  EnumVersion := evr20200503;
  writeln('EnumVersion > evr20250303 : ', EnumVersion > evr20250303); // 输出 TRUE
  writeln('Ord(evr20200503) : ', Ord(evr20200503)); // 输出 2005030000
  writeln('Ord(evr20250303) : ', Ord(evr20250303)); // 输出 -1791937296
  readln;
end.

测试结果显示：Cardinal类型的版本号比较结果符合预期，但枚举类型的比较结果异常，Ord(evr20250303)返回负数，证明枚举值被当作有符号整数处理。

项目背景：原本使用Integer存储版本号，因值溢出改为Cardinal，现计划重构为四字节枚举以获得类型安全，却遭遇上述比较问题。

问题解答 #

1. 无需强制转换的无符号比较方法：重载枚举运算符 #

可以为枚举类型重载比较运算符，让枚举的比较逻辑默认使用无符号规则，无需每次手动转换为Cardinal。示例代码如下：

unit EnumVersionUnit;

interface

type
{$MINENUMSIZE 4}
  TEnumVersion = (
    evr20100101 = 1001010000,
    evr20200503 = 2005030000,
    evr20250303 = 2503030000
  );

// 重载所有需要的比较运算符
operator >(const A, B: TEnumVersion): Boolean;
operator <(const A, B: TEnumVersion): Boolean;
operator >=(const A, B: TEnumVersion): Boolean;
operator <=(const A, B: TEnumVersion): Boolean;

implementation

operator >(const A, B: TEnumVersion): Boolean;
begin
  Result := Cardinal(A) > Cardinal(B);
end;

operator <(const A, B: TEnumVersion): Boolean;
begin
  Result := Cardinal(A) < Cardinal(B);
end;

operator >=(const A, B: TEnumVersion): Boolean;
begin
  Result := Cardinal(A) >= Cardinal(B);
end;

operator <=(const A, B: TEnumVersion): Boolean;
begin
  Result := Cardinal(A) <= Cardinal(B);
end;

end.

重载后，直接使用枚举进行比较时，会自动按照无符号逻辑执行，代码调用方式和普通枚举完全一致。

2. 是否应换回Cardinal类型？ #

需根据项目需求权衡：

• 若仅需类型安全+数值比较：换回Cardinal是更简单的选择，无需额外维护运算符重载代码，避免后续因枚举扩展导致的运算符遗漏问题。
• 若枚举承担语义化作用：比如限定版本号的可取值范围、配合case语句做分支判断等，保留枚举并通过运算符重载修正比较逻辑更合适，既能保留类型安全，也能满足业务需求。

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