将在哪一代静态只读成员中分配

Question

有这个代码

class Program
    {
        private static readonly int[] s_numbers = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};

        static void Main(string[] args)
        {
            foreach (int number in s_numbers)
            {
                WriteLine(number);
            }

            WriteLine("Press ENTER to close the app.");
            ReadLine();
        }
    }

我想知道s_numbers 数组将被分配到哪里（哪一代）？ 我的推理如下 - 因为这是static readonly 成员，所以它不会是nulled，所以在AppDomain 的生命周期内不会是GC'd。因此，直接将其放入 GEN2（如大型对象）而不在 GEN0 中分配它然后将其从 GEN0 移动到 GEN2 是有意义的。 不幸的是，我无法确认是否是这种情况（我无法使用 WinDbg 找到这个数组）。

所以重申一下这个问题 - 这个static readonly 成员将被分配到哪一代 GC 中？

Answer 1

readonly 是个谎言。您认为readonly 主要只是一个指南，而不是实际规则- 至少在大多数运行时：

private static void ThisWorksFine()
{
    typeof(Program).GetField("s_numbers", BindingFlags.NonPublic | BindingFlags.Static)
        .SetValue(null, null);
}

目前不存在任何优化来检查这种“分配给只读静态字段”场景并在 GEN2 中分配数组。可以吗？也许。我敢打赌，对于非常有限数量的分配/对象来说，复杂性是不值得的。它今天不存在，所以它遵循通常的分配/促销规则。

Answer 2

Part of Adriaan Stander‘s answer

来自Understanding garbage collection in .Net

第一次创建对象时，将其放入第 0 代。当第 0 代填满时，将调用垃圾收集器。在第一代垃圾收集中幸存下来的对象被提升到下一个更高的一代，第一代。在第一代垃圾收集中幸存的对象被提升到下一个最高一代，第二代。这个算法对垃圾有效地工作对象的集合，因为它很快。请注意，第 2 代是垃圾收集器支持的最高代

所以它不会立即从 GEN2 开始，而是会转到 GEN0->GEN1->GEN2。