C#中event内存泄漏总结
内存泄漏是指:当一块内存被分配后,被丢弃,没有任何实例指针指向这块内存, 并且这块内存不会被gc视为垃圾进行回收。这块内存会一直存在,直到程序退出。c#是托管型代码,其内存的分配和释放都是由clr负责,当一块内存没有任何实例引用时,gc会负责将其回收。既然没有任何实例引用的内存会被gc回收,那么内存泄漏是如何发生的?
内存泄漏示例
为了演示内存泄漏是如何发生的,我们来看一段代码
class program { static event action testevent; static void main(string[] args) { var memory = new testaction(); testevent += memory.run; ontestevent(); memory = null; //强制垃圾回收 gc.collect(gc.maxgeneration); console.writeline("gc.collect"); //测试是否回收成功 ontestevent(); console.readline(); } public static void ontestevent() { if (testevent != null) testevent(); else console.writeline("test event is null"); } class testaction { public void run() { console.writeline("testaction run."); } } }
该例子中,memory.run订阅了testevent事件,引发事件后,会在屏幕上看到 testaction run。当memory =null 后,memory原来指向的内存就没有任何实例再引用该块内存了,这样的内存就是待回收的内存。gc.collect(gc.maxgeneration)语句会强制执行一次垃圾回收,再次引发事件,发现屏幕上还是会显示testaction run。该内存没有被gc回收,这就是内纯泄漏。这是由testevent+=memory.run语句引起的,当gc.collect执行的时候,当他看到该块内存还有testevent引用,就不会进行回收。但是该内存已经是“无法到达”的了,即无法调用该块内存,只有在引发事件的时候,才能执行该内存的run方法。这显然不是我想要的效果,当memory = null执行时,我希望该内存在gc执行时被回收,并且当testevent被引发时,run方法不会执行,因为我已经把该内存“解放”了。
这里有一个问题,就是c#中如何“释放”一块内存。像c和c++这样的语言,内存的声明和释放都是开发人员负责的,一旦内存new了出来,就要delete,不然就会造成内存泄漏。这更灵活,也更麻烦,一不小心就会泄漏,忘记释放、线程异常而没有执行释放的代码...有手动分配内存的语言就有自动分配和释放的语言。最开始使用垃圾回收的语言是lisp,之后被用在java和c#等托管语言中。像c#,clr负责内存的释放,当程序执行一段时间后,clr检测到垃圾内存已经值得进行一次垃圾回收时,会执行垃圾回收。至于如何判定一块内存是否为垃圾内存,比较著名的是计数法,即有一个实例引用了该内存后,就在该内存的计数上+1,改实例取消了对该内存的引用,计数就-1,当计数为0时,就被判定为垃圾。该种方法的问题是对循环引用束手无策,如a的某个字段引用了b,而b的某个字段引用了a,这样a和b的技术都不会降到0。clr改用的方法是类似“标记引用法”(我自己的命名):在执行gc时,会挂起全部线程,并将托管堆中所有的内存都打上垃圾的标记,之后遍历所有可到达的实例,这些实例如果引用了托管堆的内存,就将该内存的标记由垃圾变为被引用。当遇到a和b相互引用的时候,如果没有其他实例引用a或者b,虽然a和b相互引用,但是a和b都是不可到达的,即没办法引用a或者b,则a和b都会被判定为垃圾而被回收。讲解了这么一大堆,目的就是要说,在c#中,你想要释放一块内存,你只要让该块内存没有任何实例引用他,就可以了。那么当执行memory = null后,除了对testevent的订阅,没有任何实例再引用了该块内存,那么为什么订阅事件会阻止内存的释放?
我们来看看testevent+=memory.run()这句话都干了什么。我们利用il反编译上面的dll,可以看到
il_0000: nop il_0001: newobj instance void eventleakmemory.program/testaction::.ctor() il_0006: stloc.0 il_0007: ldloc.0 il_0008: ldftn instance void eventleakmemory.program/testaction::run() il_000e: newobj instance void [mscorlib]system.action::.ctor(object, native int) il_0013: call void eventleakmemory.program::add_testevent(class [mscorlib]system.action)...//其他部分
关键在5-7行。第5和6行,声明了一个system.action型的委托,参数为testaction.run方法,第七行,执行了program.add_testevent方法,参数是上面声明的委托。也就是说+=操作符相当于执行了add_testevent(new action(memory.run)),就是这个new action包含了对memory指向的内存的引用。而这个引用在clr看来是可达的,可以通过引发事件来调用该内存。
解决办法
我们已经找到了内存泄漏的元凶,就是订阅事件时,隐式声明的匿名委托对内存的引用。该问题的解决办法是使用一种和普通的引用不同的方式来引用方法的实例对象:该引用不会影响垃圾回收,不会在gc时被判定为对该内存的引用,也就是“弱引用”。c#中,绝大部分的类型都是强引用。如何实现弱引用?来看一个例子:
static void main(string[] args){ var obj = new object(); var gchandle = gchandle.alloc(obj, gchandletype.weak); console.writeline("gchandle.target == null is :{0}", gchandle.target == null); obj = null; gc.collect(); console.writeline("gc.collect"); console.writeline("gchandle.target == null is :{0}", gchandle.target == null); console.readline(); }
当执行gc。collect后,gchandle.target == null 由false 变成了true。这个gchandle就是obj的一个弱引用。这个类的详细介绍见 gchandle 。比较关键的是gchandle.alloc方法的第二个参数,该参数接受一个枚举类型。我使用的是gchandletype.weak,表明该引用是个弱引用。利用这个方法,就可以封装一个自己的weakreference类,代码如下
public class weakreference<t> where t : class { private gchandle handle; public weakreference(t obj) { if (obj == null) return; handle = gchandle.alloc(obj, gchandletype.weak); } /// <summary> /// 引用的目标是否还存活(没有被gc回收) /// </summary> public bool isalive { get { if (handle == default(gchandle)) return false; return handle.target != null; } } /// <summary> /// 引用的目标 /// </summary> public t target { get { if (handle == default(gchandle)) return null; return (t)handle.target; } } }
利用该类,就可以写一个自己的弱事件封装器。
public class weakeventmanager<t> { private dictionary<delegate, weakreference<t>> delegatedictionary; public weakeventmanager() { delegatedictionary = new dictionary<delegate, weakreference<t>>(); } /// <summary> /// 订阅 /// </summary> public void addhandler(delegate handler) { if (handler != null) delegatedictionary[handler] = new weakreference<t>(handler); } /// <summary> /// 取消订阅 /// </summary> public void removehandler(delegate handler) { if (handler != null) delegatedictionary.remove(handler); } /// <summary> /// 引发事件 /// </summary> public void raise(object sender, eventargs e) { foreach (var key in delegatedictionary.keys) { if (delegatedictionary[key].isalive) key.dynamicinvoke(sender, e); else delegatedictionary.remove(key); } } }
最后,就可以像下面这样定义自己的事件了
public class testeventclass { private weakeventmanager<action<object, eventargs>> _testevent = new weakeventmanager<action<object, eventargs>>(); public event action<object, eventargs> testevent { add { _testevent.addhandler(value); } remove { _testevent.removehandler(value); } } protected virtual void onevent(eventargs e) { _testevent.raise(this, e); } }