为什么我会收到“类型没有类型信息”枚举类型错误

Question

我已经声明了以下枚举类型，其中我希望第一个成员的序数值为 1（一）而不是通常的 0（零）：

  type
    TMyEnum = (
               meFirstValue = 1,
               meSecondValue,
               meThirdValue
              );

如果我调用 TypeInfo()，例如作为一部分调用 GetEnumName() 时，我收到编译器错误：

  GetEnumName(TypeInfo(TMyEnum), Ord(aValue));

ERROR: "E2134: Type 'TMyEnum' has no typeinfo"

这是为什么？

我知道类只有在启用 $M 编译器选项的情况下编译时才具有类型信息，或者（从某个类派生，例如 TPercient），但我没有认为具有枚举类型的类型信息有任何特殊条件。

Answer 1

不连续的枚举和不从零开始的枚举没有类型信息。为了实现 typeinfo，由于向后兼容性问题，它需要采用与现有 tkEnumeration 不同的格式。

我考虑过为 Delphi 2010 实现一个 tkDiscontigouslyEnumeration （或者可能更好的命名成员），但考虑到它们的相对稀缺性和枚举的困难，好处似乎很小 - 如何有效地对范围进行编码？某些编码对于某些场景更好，而对于另一些场景则更差。

Answer 2

枚举不支持类型信息，其中分配的特定序数值会导致枚举成员的序数值与编译器通常分配的序数值不同。

如果特定值是必需的或需要的，则必须插入“未使用的”枚举成员以根据需要“填充”枚举。例如（仅用于强调的附加缩进）：

  type
    TMyEnum = (
                meNOTUSED1,   {= 0}
               meFirstValue,  {= 1} 
               meSecondValue,
               meThirdValue
              );

然后可以使用子范围来“过滤”未使用的初始值：

   TValidMyEnum = meFirstValue..meThirdValue;

尽管您可能希望考虑重命名原始枚举类型，以便您的子范围类型可以在整个项目中使用。

如果枚举包含“间隙”，则子范围是不够的：

  type
    TMyEnum = (
                meNOTUSED1,   {= 0}
               meFirstValue,  {= 1} 
               meSecondValue,
               meThirdValue,
                meNOTUSED2,
               meFinalValue   {= 5}
              );

在这种情况下，没有简单的方法来扩展编译时范围检查以排除未使用的成员，但是几个集合类型将简化实现任何必要的 < em>运行时检查：

  type
    TMyEnums = set of TMyEnum;

  const
    meNOTUSED      = [meUNUSED1, meUNUSED2]; //  .. etc as required
    meValidValues  = [Low(TMyEnum)..High(TMyEnum)] - meNOTUSED;


  if NOT (aValue in meValidValues) then
     // etc

Answer 3

当您想要将枚举转换为特定值（或返回）时，我通常创建一个常量数组，其中每个枚举值都有所需的值：

Const MyEnumValues: array[TMyEnum] of integer = (1,2,5);

这样，当枚举扩展时，您会收到编译器错误，指出您缺少数组值。

请注意，更改枚举的顺序时，必须相应地更改值。

要获取枚举值的“值”，只需编写：

Value := MyEnumValues[myenum];

要根据“值”获取枚举值，只需循环遍历 MyEnumValues 的值：

Function GetEnumByValue(value:integer): TMyEnum;
Var
  myenum: TMyEnum;
Begin
  For myenum = low(TMyEnum) to high(TMyEnum) do
    If MyEnumValues[myenum] = value then
      exit(myenum);
  Raise exception.create(‘invalid value for tmyenum’);
End;