前言

托管资源到是好,有垃圾回收资源可以帮忙,即使需要我们的一些小小的调试来优化,也是让人感到欣慰的。但是非托管资源就显得苍白无力了,需要程序员自己去设计回收,同样有设计的地方也就能体现出程序员的设计水平。

托管类在封装对非托管资源的直接引用或者间接引用时,需要制定专门的规则,确保非托管资源在回收类的一个实例时释放。

为什么要确保呢?

是这样子的,画一个图。
重学c#系列——非托管实例(五)_析构函数

上图中托管中生成并引用非托管,一但非托管和托管中的引用断开(托管资源被回收),那么这个时候非托管资源还在,那么释放这个问题就有一丢丢困难。

常见的有两种机制来自动释放非托管资源。

  1. 声明一个构析函数作为一个类的一个成员。

  2. 在类中实现System.IDisposable.

好的,接下来就开始看例子吧。

正文

构析函数

先从构析函数看起吧。

class Resource
{
	~Resource()
	{
           //释放资源
	}
}

在IL中是这样子的。

protected override void Finalize()
{
	try
	{
           //构析函数写的
	}
	finally
	{
		base.Finalize();
	}
}

简单介绍一下这个Finalize 是一个终结器,我们无法重写,文档中原文是这样子的。

从包装非托管资源的 SafeHandle 派生的类(推荐),或对 Object.Finalize 方法的重写。 SafeHandle 类提供了终结器,因此你无需自行编写。

这个SafeHandle 是啥呢?是安全句柄。这东西学问很大,非该文重点,先可以理解为句柄即可。

这里简单介绍一下句柄。

职业盗图:

重学c#系列——非托管实例(五)_释放资源_02

再次职业盗图:

重学c#系列——非托管实例(五)_析构函数_03

假设有一个句柄为0X00000AC6。有一个区域存储这各个对象的地址,0X00000AC6指向这个区域里面的区域A,A只是这个区中的一个。这个A指向真实的对象在内存中的位置。

这时候就有疑问了,那么不是和指针一个样子吗?唯一不同的是指针的指针啊。是的,就是指针的指针。但是为啥要这么做呢?

是这样子的,对象在内存中的位置是变化的,而不是不变的。我们有时候看到电脑下面冒红灯,这时候产生了虚拟内存,实际就是把硬盘当做内存了。但是我们发现电脑有点卡后,但是程序没有崩溃。

当对象内存写入我们的硬盘,使用的时候又读出来了,这时候内存地址是变化了。这时候在内存中的操作是区域A的值变化了,而句柄的值没有变化,因为它指向区域A。

现在我们通过实现构析函数来实现释放非托管资源,那么这种方式怎么样呢?这种方式是存在问题的,所以现在c#的构析函数去释放非托管谈的也不多。

主要问题如下:

  1. 无法确认构析函数何时执行,垃圾回收机制不会马上回收这个对象,那么也就不会立即执行构析函数。

  2. 构析函数的实现会延迟该对象在内存中的存在时间。没有构析函数的对象,会在垃圾回收器中一次处理从内存中删除,实现构析函数的对象需要两次。

然后所有对象的终结器是由一个线程来完成的,如果Finalize中存在复杂的业务操作,那么系统性能下降是可以预见的。

实现IDisposable

看例子:

class Resource : IDisposable
{
	public void Dispose()
	{
	   //释放资源
	}
}

然后只要用完调用Dispose即可。

但是可能有时候程序员忘记主动调用了Dispose。

所以改成这样。

class Resource : IDisposable
{
	bool _isDisposed=false;
	public void Dispose()
	{
		//释放资源
		_isDisposed = true;
		//标志不用掉析构函数
		GC.SuppressFinalize(this);
	}
	~Resource()
	{
		if (_isDisposed)
		{
			return;
		}
		this.Dispose();
	}
}

那么是否这样就结束了呢?

不是的。

文档中这样介绍道:任何非密封类都应具有要实现的附加 Dispose(bool) 重载方法。

为什么这样说呢?因为是这样子的,不是密封类,那么可能会成为某个类的基类,那么子类就要考虑基类如何释放啊,所以加一个重载方法。

注:从终结器调用时,disposing 参数应为 false,从 IDisposable.Dispose 方法调用时应为 true。 换言之,确定情况下调用时为 true,而在不确定情况下调用时为 false。
class Resource : IDisposable
{
	bool _isDisposed=false;
	public void Dispose()
	{
		//释放资源
		Dispose(true);
		//标志不用掉析构函数
		GC.SuppressFinalize(this);
	}
	~Resource()
	{
		this.Dispose(false);
	}
	protected virtual void Dispose(bool disposing)
	{
		if (_isDisposed)
		{
			return;
		}
		if (disposing)
		{
			//释放托管相关资源
		}
		//释放非托管资源
		_isDisposed = true;
	}
}

看下思路:

Dispose(bool) 方法重载

方法的主体包含两个代码块:

释放非托管资源的块。 无论 disposing 参数的值如何,都会执行此块。

释放托管资源的条件块。 如果 disposing 的值为 true,则执行此块。 它释放的托管资源可包括:

实现 IDisposable 的托管对象。 可用于调用其 Dispose 实现(级联释放)的条件块。 如果你已使用 System.Runtime.InteropServices.SafeHandle 的派生类来包装非托管资源,则应在此处调用 SafeHandle.Dispose() 实现。

占用大量内存或使用短缺资源的托管对象。 将大型托管对象引用分配到 null,使它们更有可能无法访问。 相比以非确定性方式回收它们,这样做释放的速度更快。

那么为什么明确去释放实现IDisposable 的托管资源呢?

文档中回答是这样子的:

如果你的类拥有一个字段或属性,并且其类型实现 IDisposable,则包含类本身还应实现 IDisposable。 实例化 IDisposable 实现并将其存储为实例成员的类,也负责清理。 这是为了帮助确保引用的可释放类型可通过 Dispose 方法明确执行清理。

给个完整例子。

class Resource : IDisposable
{
	bool _isDisposed=false;
	private SafeHandle _safeHandle = new SafeFileHandle(IntPtr.Zero, true);
	public void Dispose()
	{
		//释放资源
		Dispose(true);
		//标志不用掉析构函数
		GC.SuppressFinalize(this);
	}
	~Resource()
	{
		this.Dispose(false);
	}
	protected virtual void Dispose(bool disposing)
	{
		if (_isDisposed)
		{
			return;
		}
		if (disposing)
		{
			_safeHandle?.Dispose();
			//释放托管相关资源
		}
		//释放非托管资源
		_isDisposed = true;
	}
}

_safeHandle 和 Resource 一样同样可以通过构析函数去释放非托管,但是呢,如果自己Resource 主动Dispose去释放,那么最好把它的子对象(托管)的Dispose给执行了,好处上面写了。

那么这时候为什么在构析函数中为显示为false呢?因为构析函数这时候本质是在终结器中执行,属于系统那一套,有太多不确定因素了,所以干脆_safeHandle 自己去调用自己析构函数。

后来我发现.net core和.net framework,他们的构析函数执行方式是不一样的。

举个栗子:

static void Main(string[] args)
{
	{
		Resource resource = new Resource();
	}
	GC.Collect();
	Console.Read();
}

在.net framework 中马上回去调用构析函数,但是在.net core中并不会,等了几分钟没有反应。

原因可以在:

https://github.com/dotnet/corefx/issues/5205

知道了大概怎么回事。

好的,回到非托管中来。

那么继承它的子类怎么写呢?

class ResourceChild: Resource
{
	bool _isDisposed = false;
	~ResourceChild()
	{
		Dispose(false);
	}
	protected override void Dispose(bool disposing)
	{
		if (_isDisposed)
		{
			return;
		}
		if (disposing)
		{
			//释放托管相关资源
		}
		//释放非托管资源
		_isDisposed = true;
		base.Dispose();
	}
}

非托管有太多的东西了,比如说异步dispose,using。在此肯定整理不完,后续另外一节补齐。

后一节,异步。