delphi - 如何使用 RTTI 检查或更改存在哪些集合元素？

Question

我希望能够从 ST:TElementSet 中检查、添加和删除 T:TElements。

type
  TElements = (elA, elB, elC);
  TElementSet = set of TElements;

  TMyClass<T, ST> = class
    property SetValue:ST;
  end;

泛型无法让我告诉编译器 T 是枚举类型并且 ST 是 T 的集合。

RTTI 使我能够将类型识别为 tkEnumeration 和 tkSet - 但我不确定是否可以使用 RTTI 在两者之间建立严格的连接。这并不重要，因为我只需要按序值调整设置的位。

问题是:我可以使用泛型和 RTTI 安全地执行此操作吗？如果可以，如何执行？

示例和/或对现有技术的引用将不胜感激。

Answer 1

假设我们只处理连续的枚举(因为其他枚举没有正确的类型信息并且无法如此轻松地处理)，我们可以在没有 typeInfo/RTTI 的情况下简单地做到这一点。

枚举只是将其设置为枚举中元素的位掩码。

例如，集合 [elA, elC] 等于 00000101(从右到左)，等于 5。

要设置的位的索引等于枚举的序数 + 1(因为第一个枚举值的序数为 0，但它是第一个位)。

由于我们无法在 Delphi 中设置单个位，而只能设置字节，因此我们需要计算正确的值，从而生成包含此代码的代码:

set[enum div 8] := set[enum div 8] 或 (1 shl (enum mod 8))

由于集合不能包含超过 256 个元素，我们也可以假设枚举值始终是字节的大小。处理不从 0 开始的枚举需要更多代码并读取其最小值和最大值的类型信息

这里有一些测试代码 - 我用绝对方法做了一些欺骗，但你也可以使用硬转换:

program GenericEnumSet;

{$APPTYPE CONSOLE}

type
  TMyEnum = (elA, elB, elC);
  TMySet = set of TMyEnum;

  TEnumSet<TEnum,TSet> = record
    value: TSet;
    procedure Include(const value: TEnum); inline;
    procedure Exclude(const value: TEnum); inline;
  end;

procedure _Include(var setValue; const enumValue);
var
  localEnum: Byte absolute enumValue;
  localSet: array[0..31] of Byte absolute setValue;
begin
  localSet[localEnum div 8] := localSet[localEnum div 8] or (1 shl (localEnum mod 8));
end;

procedure _Exclude(var setValue; const enumValue);
var
  localEnum: Byte absolute enumValue;
  localSet: array[0..31] of Byte absolute setValue;
begin
  localSet[localEnum div 8] := localSet[localEnum div 8] and not (1 shl (localEnum mod 8));
end;

procedure TEnumSet<TEnum, TSet>.Include(const value: TEnum);
begin
  _Include(Self.value, value);
end;

procedure TEnumSet<TEnum, TSet>.Exclude(const value: TEnum);
begin
  _Exclude(Self.value, value);
end;

var
  mySet: TEnumSet<TMyEnum,TMySet>;
  myEnum: TMyEnum;
begin
  mySet.value := [];
  for myEnum := Low(TMyEnum) to High(TMyEnum) do
  begin
    mySet.Include(myEnum);
    Assert(mySet.value = [Low(TMyEnum)..myEnum]);
  end;
  for myEnum := Low(TMyEnum) to High(TMyEnum) do
  begin
    mySet.Exclude(myEnum);
    if myEnum < High(TMyEnum) then
      Assert(mySet.value = [Succ(myEnum)..High(TMyEnum)])
    else
      Assert(mySet.value = []);
  end;
  Readln;
end.

我将实现其他方法和错误检查作为读者的练习。