Question

考虑以下示例（代码）。从Main函数调用GetA，返回对函数a中创建的对象b的成员变量GetA的引用。请注意，在GetA返回后，我们不再对本地变量b最初引用的对象有任何引用。然后我们通过调用GC.Collect()强制收集。

我可以看到在B方法的最后一行之前运行的Main的终结代码，这让我相信下面的代码格式不正确？

问题：以下代码格式不正确？如果是这样，为什么我们仍然可以访问a类型对象的成员B，即使该对象被销毁/收集？

using System;

class A
{
    public int x = 5;
}

class B
{
    public A a = new A();

    ~B()
    {
        Console.WriteLine("Finalization code running for B.");
    }
}

class Program
{
    static A GetA()
    {
        B b = new B(); // <- Allocate object of type B on the managed heap
        return b.a; // <- We return a (copy-of) reference to a member of B
    }

    static void Main(string[] args)
    {
        A a = GetA();

        // Force a garbage collection
        GC.Collect();
        GC.WaitForPendingFinalizers();

        // This works fine, but is this valid code?
        // "Owner of" a (object of type B allocated in GetA) is dead!
        Console.WriteLine("a.x = {0}", a.x);
    }
}

Answer 1

为什么我们仍然可以访问B类型对象的成员a

我们无法访问B.a。我们可以访问过去由B.a引用的对象。

B方法中创建的GetA实例创建了A的新实例，并在B.a字段中存储了对它的引用。 A的这个实例是一个单独的对象，只要它可以访问它就不会被收集。

引用成员变量 - 不受GC影响的所有者？

1 个答案: