如何防范代码的 finalizer() 漏洞？

刚看了一篇文章，讲在java世界里析构方法可能引起的漏洞以及如何防范。

马上在C#中试了一下，发现.net也有同样的问题。代码如下

 1  using System;
 2  using System.Threading;
 3 
 4  namespace TestProj
 5 {
 6 
 7 
 8      class Vulnerable
 9     {
10          int value =  0;
11 
12          public Vulnerable( int value)
13         {
14              if (value <=  0)
15             {
16                  throw  new ArgumentException( " Vulnerable value must be positive ");
17             }
18              this.value = value;
19         }
20          public  override  string ToString()
21         {
22              return (value.ToString());
23         }
24     }
25 
26      class AttackVulnerable : Vulnerable
27     {
28          static Vulnerable vulnerable;
29 
30          public AttackVulnerable( int value)
31             :  base(value)
32         {
33         }
34 
35         ~AttackVulnerable()
36         {
37             vulnerable =  this;
38         }
39 
40          public  static  void Main( string[] args)
41         {
42              try
43             {
44                  new AttackVulnerable(- 1);
45             }
46              catch (Exception e)
47             {
48                 Console.WriteLine(e.Message);
49             }
50             GC.Collect();
51             Thread.Sleep( 1000); // wait for gc to complete
52               if (vulnerable !=  null)
53             {
54                 Console.WriteLine( " Vulnerable object  " + vulnerable +  "  created! ");
55             }
56             Console.ReadLine();
57         }
58     }

59 } 

运行结果如下

很明显结果是漏洞存在。

关键是原文中给出的java世界的解决办法不知在C#中有无对应的实现？真心求教博客园各位高人。

java世界中可以在调用自身构造器和调用object构造器（其实是基类构造器啦）中间执行一段static代码感觉挺牛的。不知道java中的那个Void怎么在c#中实现呢？

 

[Update].net中可以这样实现

 1  using System;
 2  using System.Threading;
 3 
 4  namespace TestProj
 5 {
 6      class Invulnerable
 7     {
 8          int value =  0;
 9 
10          public Invulnerable( int value)
11         {
12             GC.SuppressFinalize( this);
13              if (value <=  0)
14             {
15                  throw  new ArgumentException( " Invulnerable value must be positive ");
16             }
17              this.value = value;
18         }
19 
20          public  override  string ToString()
21         {
22              return (value.ToString());
23         }
24     }
25 
26      class AttackInvulnerable : Invulnerable
27     {
28          static Invulnerable vulnerable;
29 
30          public AttackInvulnerable( int value)
31             :  base(value)
32         {
33         }
34 
35         ~AttackInvulnerable()
36         {
37             vulnerable =  this;
38         }
39 
40          public  static  void Main( string[] args)
41         {
42              try
43             {
44                  new AttackInvulnerable(- 1);
45             }
46              catch (Exception e)
47             {
48                 Console.WriteLine(e.Message);
49             }
50 
51             GC.Collect();
52             Thread.Sleep( 1000); // wait for gc to complete
53               if (vulnerable !=  null)
54             {
55                 Console.WriteLine( " Vulnerable object  " + vulnerable +  "  created! ");
56             }
57              else
58             {
59                 Console.WriteLine( " Attack failed ");
60             }
61             Console.ReadLine();
62         }
63     }

64 }