c# - 包含非托管对象的 ConcurrentBag 的终结

Question

我在使用包含非托管对象的 ConcurrentBag 正确处理 Dispose/Finalization 时遇到问题。运行下面的代码(通常)会在对 TryTake().

大概在这种情况下，垃圾收集器在调用 A 的终结器之前销毁了 ConcurrentBag。我原以为只有当 ConcurrentBag 本身实现了终结器时才会出现这种情况。是不是在最终确定路径中永远不应该接触托管对象？

class A : IDisposable
{
    private readonly ConcurrentBag<object> _collection = new ConcurrentBag<object>();

    public A(string value)
    {
        if (value == null) throw new ArgumentNullException();
    }

    ~A() 
    {
        Dispose(false);
    }

    public void Dispose() => Dispose(true);

    private void Dispose(bool disposing)
    {
        if (disposing) {}

        object value;
        while (_collection.TryTake(out value))
        {
            // Cleanup value
        }
    }
}

触发异常:

void Main()
{
    var a = new A(null);
}

以下似乎可以解决这个特定问题，但我不确定这是否安全。这种情况是否有完全安全的实现方式？

while (_collection.IsEmpty == false)
{
    object value;
    _collection.TryTake(out value);
    // Cleanup value
}

Answer 1

当代码从终结器执行时(disposing 为 false)，您唯一可以做的事情是使用没有状态的静态方法，函数的局部变量，以及继承自 CriticalFinalizerObject 的字段(除非您在 CriticalFinalizerObject 的终结器中，否则您不能使用它们)。

因为 ConcurrentBag 没有继承自 CriticalFinalizerObject，所以当您自己的终结器运行时，您不能指望它不会被终结。 this 和 _collection.m_locals 变量 Sign mentions in his answer当 this 变得不可访问时，两者都会同时进入终结队列。处理队列的顺序是不确定的。

有一篇很棒的文章“IDisposable: What Your Mother Never Told You About Resource Deallocation”深入探讨了当某物最终确定时实际发生的事情，并提供了一些比传统的 private void Dispose(bool disposing) 模式更好的模式 Microsoft推荐。