.NET 集合是一个结构体

Question

这是一个有趣的问题....net 框架中是否有一个是结构体的集合？

只是为了澄清，所有现有的集合（列表、数组等）都是引用类型......即使您将泛型参数设置为值类型。但我想知道是否有一种方法可以创建一个实际上是结构的集合。我显然不打算传递它（这会导致大量复制）...我会将其保留为我的类（内部状态）中的私有成员，因此它只定义一次。我的想法是，我将能够避免调用垃圾收集器来进行小型收集（想想 XNA）。

假设不存在，问题的第二部分是，理想的数据结构是什么。链接列表？

Answer 1

不，这样的类型不存在，这不是一个好主意。根据 Microsoft 指南，结构应该是小型的不可变值类型。

来自值类型使用指南：

• 表现得像原始类型。
• 实例大小小于 16 字节。
• 不可变。
• 值语义是可取的。

将链表实现为值类型会很困难，因为链表通常是递归定义的。这工作正常：

class Node<T>
{
    public T Value;
    public Node<T> Next;
}

但这会失败，因为结构具有固定的大小，并且在定义结构时必须知道该大小：

struct Node<T>
{
    public T Value;

    // Error: Struct member 'Node<T>.Next' of type 'Node<T>'
    // causes a cycle in the struct layout
    public Node<T> Next; 
}

Answer 2

实际上有一个结构体，它是一个集合。 BitVector32 是一个结构体，其作用类似于 32 个布尔值、或 4 个字节或 2 个短整型的集合。当您想要进行一些操作但又不想过多考虑创建蒙版等内容时，它非常方便。

另外，如果您实际上计划自己推出，请注意，如果您让它实现类似 IList 的东西，您永远不应该将其发送到类似

public static void SomeMethod(IList<Int32> list)
{
       ....
}

As 的代码，这会将其装箱并且每个成员访问很可能会导致装箱，而是将其发送到具有此签名的方法::

public static void SomeMethod<T>(T list) where T:IList<Int32>
{
       ....
}

作为第二个示例，将在每次 callvirt 之前发出 constrained 操作码，这将在调用结构成员时避免装箱。不过祝你好运。

Answer 3

还有 SPAN ，自 v 2.1 起在 dotNetCore 中