GC.KeepAlive保留上下文

时间:2016-07-26 13:35:17

标签: c# .net garbage-collection using idisposable

我有一个类,它是WNetUseConnection

的简单包装器

这是一个实现(仅供参考):

internal class RemoteFileSystemContext : IDisposable
{
    private readonly string _remoteUnc;
    private bool _isConnected;
    public RemoteFileSystemContext(string remoteUnc, string username, string password, bool promptUser)
    {
        if (WindowsNetworking.TryConnectToRemote(remoteUnc, username, password, promptUser))
        {
            _isConnected = true;
            _remoteUnc = remoteUnc;
        }
        else
        {
            GC.SuppressFinalize(this);
        }
    }

    public void Dispose()
    {
        Dispose(true);
    }

    ~RemoteFileSystemContext()
    {
        Dispose(false);
    }

    private void Dispose(bool isDisposing)
    {
        if (!_isConnected)
            return;
        _isConnected = false;
        if (isDisposing)
        {
            GC.SuppressFinalize(this);
        }
        WindowsNetworking.DisconnectRemote(_remoteUnc);
    }
}

这是用法:

using (var context = WindowsNetworking.CreateRemoteContext(storagePath, login, pass))
{
    // do something with storagePath
    GC.KeepAlive(context);
}

问题是我是否应该写GC.KeepAlive(context)?我的意思是在我阅读一篇文章(关于AsyncLock,但现在我找不到链接)之前我没有编写这样的代码,现在我不确定GC是否可以在此方法完成之前调用终结器。从理论上讲,它应该在Dispose的{​​{1}}部分使用finally,但这篇文章是由聪明人写的,所以我现在不确定。

以防万一,我提供引用类的代码:

using

2 个答案:

答案 0 :(得分:4)

GC.KeepAlive方法为empty。它所做的只是确保从代码中的该点读取特定变量,因为否则该变量永远不会再次读取,因此不是保持对象存活的有效引用。

这里没有意义,因为您传递给KeepAlive 的同一个变量在以后的某个时间点再次读取 - 在隐藏的finally块期间{ {1}}被调用。所以,Dispose在这里没有任何成就。

答案 1 :(得分:1)

测试非常简单,这是一个快速测试程序,确保它在没有附加调试器的情况下以发布模式运行。

using System;

namespace SandboxConsole
{ 
    class Program
    {
        static void Main(string[] args)
        {
            using (var context = new TestClass())
            {

                GC.Collect();
                GC.WaitForPendingFinalizers();
                GC.Collect();

                Console.WriteLine("After collection");
            }
            Console.WriteLine("After dispose, before 2nd collection");

            GC.Collect();
            GC.WaitForPendingFinalizers();
            GC.Collect();

            Console.WriteLine("After 2nd collection");
            Console.ReadLine();
        }
    }

    internal class TestClass : IDisposable
    {
        public void Dispose()
        {
            Dispose(true);
        }

        ~TestClass()
        {
            Console.WriteLine("In finalizer");
            Dispose(false);
        }

        private void Dispose(bool isDisposing)
        {
            Console.WriteLine("In Dispose: {0}", isDisposing);
            if (isDisposing)
            {
                //uncomment this line out to have the finalizer never run
                //GC.SuppressFinalize(this);
            }
        }
    }
}

始终输出

After collection
In Dispose: True
After dispose, before 2nd collection
In finalizer
In Dispose: False
After 2nd collection

有关更具体的证明,以下是上述程序的Main方法的IL

.method private hidebysig static void  Main(string[] args) cil managed
{
  .entrypoint
  // Code size       85 (0x55)
  .maxstack  1
  .locals init ([0] class SandboxConsole.TestClass context)
  IL_0000:  newobj     instance void SandboxConsole.TestClass::.ctor()
  IL_0005:  stloc.0
  .try
  {
    IL_0006:  call       void [mscorlib]System.GC::Collect()
    IL_000b:  call       void [mscorlib]System.GC::WaitForPendingFinalizers()
    IL_0010:  call       void [mscorlib]System.GC::Collect()
    IL_0015:  ldstr      "After collection"
    IL_001a:  call       void [mscorlib]System.Console::WriteLine(string)
    IL_001f:  leave.s    IL_002b
  }  // end .try
  finally
  {
    IL_0021:  ldloc.0
    IL_0022:  brfalse.s  IL_002a
    IL_0024:  ldloc.0
    IL_0025:  callvirt   instance void [mscorlib]System.IDisposable::Dispose()
    IL_002a:  endfinally
  }  // end handler
  IL_002b:  ldstr      "After dispose, before 2nd collection"
  IL_0030:  call       void [mscorlib]System.Console::WriteLine(string)
  IL_0035:  call       void [mscorlib]System.GC::Collect()
  IL_003a:  call       void [mscorlib]System.GC::WaitForPendingFinalizers()
  IL_003f:  call       void [mscorlib]System.GC::Collect()
  IL_0044:  ldstr      "After 2nd collection"
  IL_0049:  call       void [mscorlib]System.Console::WriteLine(string)
  IL_004e:  call       string [mscorlib]System.Console::ReadLine()
  IL_0053:  pop
  IL_0054:  ret
} // end of method Program::Main

你可以看到有一个隐藏的finally块,它检查对象是否为null然后在其上调用Dispose。该引用将使对象保持活动整个使用块的范围。

更新:请参阅Damien's comment below,这个特定的示例确实有机会提前实际调用终结器,因为我没有使用任何使用隐式{{}的变量。 1}}在dispose方法中。为了保证行为,请确保使用实例级变量(我的简短示例没有)或取消注释this