我的对象会被放置在大对象堆中吗？

Question

当 CLR 在大对象堆上放置一个对象时，这是一个“全有或全无”的交易吗？类/结构成员是否“拆分”并放置在不同的堆中？

class OneBigObject
{
    byte[] bigObject;

    public OneBigObject()
    {
        bigObject = new byte[100000];
    }
}

class TwoSmallObjects
{
    byte[] smallObject1;
    byte[] smallObject2;

    public TwoSmallObjects()
    {
        smallObject1 = new byte[50000];
        smallObject2 = new byte[50000];
    }
}

class MixedSizeObjects
{
    byte[] smallObject1;
    byte[] smallObject2;
    byte[] bigObject;

    public MixedSizeObjects()
    {
        smallObject1 = new byte[50000];
        smallObject2 = new byte[50000];
        bigObject = new byte[100000];
    }
}

OneBigObject oneBigObject = new OneBigObject();
TwoSmallObjects twoObjects = new TwoSmallObjects();
MixedSizeObjects mixedSizeObjects = new MixedSizeObjects();

由于 TwoSmallObjects 的总大小超过 85,000 字节，因此是否将其放置在大对象堆上？即使两位成员各自都低于门槛？ MixedSizeObjects 怎么样？

Answer 1

您分配的每个字节数组都与封闭类分开处理。所以OneBigObject实际上是两个不同的CLR对象。一种是 OneBigObject 实例，它非常小，仅包含一个引用字段。另一个是 100,000 个实例的实际字节数组。同样的原则也适用于其他类。

类和结构没有分开。没有必要，因为很难想象有人会创建一个具有足够实际字段的类型，使其存储大小达到 85k。像您的示例一样，看起来很大的对象实际上由引用和引用数组组成，因此根本不是很大。

Answer 2

TwoSmallObjects 的大小（忽略每个对象的开销）仅为 8 个字节（64 位进程中为 16 个字节）。同样，MixedSizeObjects 的大小仅为 24 个字节（64 位为 48 个字节）。

因此，回答你的问题，这些对象都不会进入 LOH。它们引用的数组可能取决于每个数组的大小。

我无法想象一个系统会如何按照您期望的方式工作。特别是考虑到构造函数在分配对象后运行。在您实际执行此操作之前，分配器如何知道您要为其字段分配什么？如果您这样做，是否应该将对象移动到 LOH？如果它没有任何帮助，为什么要完成所有这些工作。

另一件可能有帮助的事情是：如果您有一个引用类型（并且数组就是一个），则该字段不包含该对象。它仅包含参考。