这是真的吗-垃圾收集器不会收集结构类型的对象

Question

昨天，我们讨论了垃圾收集。

有人讨论过，使用类创建的对象由垃圾收集器收集，但如果是使用struct创建的，则不能由GC收集

我知道结构使用堆栈，类使用堆。

但是，我猜GC永远不会只收集非托管代码。这是否意味着结构类型是非托管代码。（我不这么认为）。

还是GC只负责堆而不负责堆栈？

如果是，那么int数据类型呢。int是struct而不是class。那么，如果我们定义int类型的对象，它不是由GC管理吗？

Answer 1

但是，我想GC永远不会只收集非托管代码。所以这意味着结构类型是非托管代码。（我不这么认为）。

我不明白你在问什么。

或者这意味着GC只负责堆而不是堆栈？

是和否。GC负责引用类型实例（总是在托管堆上创建）所需的内存。您可以将“堆栈”视为与当前执行线程关联的一段内存。堆栈可以包含对托管堆上分配的引用类型的句柄。在这种情况下，GC“关心”：在堆栈上存在这些引用之前，它不会从这些实例的托管堆中收集内存。堆栈还可以包含实例（不引用！）值类型，在这种情况下GC不关心。。。

如果是，那么int数据类型呢。int是struct而不是class。那么，如果我们定义int类型的对象，它不是由GC管理吗？

这个问题有点误导。假设你在堆栈上“分配”了一个int的实例：

void Foo()
{
    // ...
    int tTmp;
    //...
}

在这种情况下，GC不关心tTmp。如果超出范围，它将被放置在当前线程的堆栈上并移除。但如果你这么做：

void Foo()
{
    //...
    var tTmp = new int [] {
        1, 2, 3, 4
    };
    //...
}

然后在托管堆上创建4个整数的数组，GC负责tTmp。它还“间接”处理数组内容所需的内存，这恰好是四个整数所需的空间。。。

Answer 2

如果它是使用struct创建的，则GC无法收集它。

不是真的。如果没有被引用，最终将被收集。

我知道结构使用堆栈，类使用堆。

这是一个常见的误解。详细信息请参阅Lippert的文章。

我认为您提到的想法是，GC通常不需要收集位于堆栈上的任何数据，因为一旦程序执行离开其作用域，堆栈就会被销毁。因此，这意味着直接放入堆栈的任何数据（可能意味着值类型，应该意味着对所有其他数据的引用）都将被自动清除，无需使用GC。GC的工作是独立于堆数据的（数据）类型清除堆数据。如果它没有被引用，它就会被收集。

Answer 3

如果无法从GC根访问任何托管对象（结构是托管对象），GC将收集这些对象。

但如果它是使用struct创建的，则GC无法收集它。

你被告知的是不正确的。托管对象是如何创建的并不重要——如果不再有对它的引用，它最终会被收集。

或者这意味着GC只负责堆而不是堆栈？

GC负责对象图——如果任何GC根都可以访问对象，则不会收集它们，如果不可以，则最终会被收集。堆栈和堆不相关。

因此，如果我们定义int类型的对象，它不是由GC管理吗？

int（又称System.Int32）是一个托管对象——一种结构。例如，如果在类中声明一个int字段，并且该类超出了范围，那么int最终将由GC收集。

正如@leppie评论的那样，在许多情况下，结构将被放置在堆栈上，当堆栈被弹出时，它们将不再存在——在这种情况下，GC不参与（也不需要参与）。