集合的内存布局

Question

在Delphi中，set如何在内存中组织？

我尝试做的是铸造一个简单类型的一组类型像

var 
    MyNumber : Word; 
    ShiftState : TShiftState; 
begin 
    MyNumber:=42; 
    ShiftState:=TShiftState(MyNumber); 
end; 

德尔福（2009年）将不会允许这一点，我不明白为什么。如果我得到一个数字，其中单个位编码不同的枚举值并且我可以像这样进行投射，那么这会让我的生活变得更加轻松。这可以做到吗？

一种方法我会去为：

var 
    ShiftState : TShiftState; 
    MyNumber : Word absolute ShiftState; 
begin 
    MyNumber:=42; 
end; 

但这样做我认为我会问的内存布局之前。这比我知道我现在对此有更多的感受。

Answer 1

德尔福集是一个位字段，它的位对应于您的集合中元素的关联值。对于一组正常的枚举类型的位布局是直接的：

• 位0对应于设定元件与顺序值0
• 位1对应于具有序号值1
• 等设定元件。

当你处理非连续集合或者集合不是从0开始时，事情会变得有趣。你可以做，使用Delphi的子界类型（例如：set of 3..7）或使用枚举类型，对于元素指定的实际序号值：

type enum=(seven=7, eight=8, eleven=11); 
EnumSet = set of enum; 

在这种情况下Delphi将分配的字节所需要的最小量，其中将包括所有所需的位，但不会“移位”位值以使用更少的空间。在EnumSet示例Delphi将用两个字节：

• 第一个字节将具有它的第7位与seven
• 第二个字节相关联的将具有位0与eight
• 相关联的第二字节将具有第3位与eleven

相关你可以看到一些测试，我做在这里：Delphi 2009 - Bug? Adding supposedly invalid values to a set

测试是使用Delphi 2010完成的，对于Delphi XE没有重复。

Answer 2

你必须选择正确大小的序数类型。对我来说（D2007）您的代码编译与MyNumber: Byte：

procedure Test; 
var 
    MyNumber: Byte; 
    ShiftState: TShiftState; 
begin 
    MyNumber := 42; 
    ShiftState := TShiftState(MyNumber); 
end; 

我曾经在一些情况下使用这种技术并没有遇到问题。

---

UPDATE

的TShiftState类型已自2010年以来的Delphi扩展到包括两个新的状态，ssTouchssPen和基于所述corresponding doc page（current doc page）。 Delphi 2009 doc仍然将TShiftState定义为一组7个状态。

所以，你尝试转换Word到TShiftState会在Delphi 2010+工作，但Byte是德尔福2009年大小合适

Answer 3

不幸的是我刚才偶然发现了以下问题：Delphi 2009 - Bug? Adding supposedly invalid values to a set

的Cosmin接受的答案包含了一个非常详细的描述Delphi中的集合。为什么我最好不要使用我的方法absolute。显然，一个设置变量可以占用1到32个字节的内存，具体取决于枚举值。

Answer 4

我使用此：

对于< = 8个元素，PBYTE（@MyNumber）^，用于< = 16个元素，PWORD（@MyNumber）^等

如果枚举更占用空间（通过min枚举大小编译器选项），这仍然会工作。