对同一对象的 2 个弱引用显示不同的信息

>我有一个程序，我在其中分配了一个 int 数组，并想在我调用 GC.Collect() 后检查它是否会被垃圾回收。在这个程序中，我分配了一个 int 数组array1并保留WeakReference，以便稍后检查它是否被垃圾收集。我有一个名为 procedure 的方法，它在其中分配一个新的本地数组 (array2 (，并将array2分配给通过引用传递的输入temp数组。此方法还分配弱引用ref1和ref2，以保存有关输入temp数组和array2的信息。当我调用此方法时，我array1传递给它，因此array1等于array2。退出该方法后，我调用GC.Collect()来强制垃圾回收。调试器告诉ref1，ref2仍然具有等于 true IsAlive属性。 ref3 在 main 函数中实例化并引用array1，告诉IsAlive属性在垃圾回收后被false，所以array1已经被垃圾回收了。

引用array1的ref1不应该像ref3(也引用array1(一样具有等于false IsAlive性质吗？

static WeakReference ref1;
static WeakReference ref2;
static WeakReference ref3;
const int max_size = 10;
public static void procedure(ref int []temp)
{
    int[] array2 = new int[max_size];
    temp = array2;
    for (int i = 0; i < max_size; i++)
        array2[i] = i * 2;
    ref1 = new WeakReference(temp);
    ref2 = new WeakReference(array2);
}
static void Main(string[] args)
{
    int []array1 = new int[max_size];
    ref3 = new WeakReference(array1);
    procedure(ref array1);
    //array1 = null;
    GC.Collect();
}