调用A a=new A()
请问输出是什么?为什么?
class A { static A() { Stopwatch sw = new Stopwatch(); sw.Start(); XTrace.WriteLine("A1"); Thread.Sleep(3000); //B b = new B(); XTrace.WriteLine("AA"); //ThreadPool.QueueUserWorkItem(delegate { XTrace.WriteLine("BB"); B b = new B(); }); Thread thread = new Thread(new ParameterizedThreadStart(delegate { XTrace.WriteLine("BB"); B b = new B(); })); thread.Start(); Thread.Sleep(3000); sw.Stop(); XTrace.WriteLine("A2 " + sw.Elapsed); } public A() { XTrace.WriteLine("new A"); } } class B { static B() { Stopwatch sw = new Stopwatch(); sw.Start(); XTrace.WriteLine("B1"); Thread.Sleep(3000); A a = new A(); Thread.Sleep(3000); sw.Stop(); XTrace.WriteLine("B2 " + sw.Elapsed); } public B() { XTrace.WriteLine("new B"); } }
关于静态构造函数函数的基本常识就不多说,园子里随处可见!
这个问题让群里的高手纠结了一整天,那个线程为什么不动?(线程等到A静态构造函数执行完毕后才执行)
傍晚时分,有人忍不住发信问微软:
Z_(164734xxx) 19:19:25
A static constructor is never called more than once, and it must be finished before any other thread can create an instance of the class or use a static member of the class. Therefore, the thread you try starting cannot start before A's static constructor ends.
网上很多资料说到静态构造函数,但是很少提到与线程相关的,这个例子实际上是想测试一下静态构造函数的多线程冲突。
其实,这个问题源自于XCode v7.3中一个隐秘的BUG。
实体类A的静态构造函数中可能会开一个线程去执行方法B,然后静态构造函数接着执行后续方法C,问题就在于B和C都会争夺同一个锁,如果B拿到这个锁,它会创建一个A的实例,但是因为A的静态构造函数正常执行C,C又等待B释放这个锁,从而形成了死锁,所有用到类型A的线程都会挂起。
因为B和C的执行速度不一样,要是C先拿到资源,就不会出现死锁,所以这个问题解决起来特别的麻烦!
XCode v7.3的这个BUG表明,那个线程应该是可以同步执行的,但是为什么测试项目里面线程就是不动呢?(先看看大家讨论,后面再公布答案)
附上XCode中出错的部分
/// <summary> /// 数据实体类基类。所有数据实体类都必须继承该类。 /// </summary> [Serializable] public partial class Entity<TEntity> : EntityBase where TEntity : Entity<TEntity>, new() { #region 构造函数 /// <summary> /// 静态构造 /// </summary> static Entity() { // 1,可以初始化该实体类型的操作工厂 // 2,CreateOperate将会实例化一个TEntity对象,从而引发TEntity的静态构造函数, // 避免实际应用中,直接调用Entity的静态方法时,没有引发TEntity的静态构造函数。 TEntity entity = new TEntity(); EntityFactory.CreateOperate(Meta.ThisType, entity); }
TEntity就是实体类,它本身也有静态构造函数,并且它的静态构造函数里面会开一个线程去调用EntityFactory.CreateOperate(Type type),该方法会取得一个字典的锁,然后通过Activator.CreateInstance(type)创建类型type的实例,加入字典,也就是实体类本身的实例。
EntityFactory.CreateOperate(Type type, IEntityOperate entity)跟上面的EntityFactory.CreateOperate(Type type)共同点再也它也要那这个字典的锁,不同的在于它只是把entity加入字典。
结果就是:如果两个参数这个先执行,就没有问题,如果一个参数那个先执行,大家一起死!
答案:
上面微软的答复邮件说得很清楚,静态构造函数只会被调用一次,并且在它执行完成之前,任何其它线程都不能创建这个类的实例或使用这个类的静态成员!
这里面包含几层一次:
1,静态构造函数只会被调用一次,并且在所有对该类的访问之前。这一点我确信99.99%的人都知道。
2,“其它线程”。也就是说,只是其它线程不能创建实例和调用静态成员而已,当前线程仍然是可以的。
3,“创建实例或使用静态成员”。那么实例成员呢?当然不可能了,因为实例都无法创建,如何使用实例成员?
4,也是最隐秘的地方。测试代码中,在A的静态构造函数里面使用了匿名函数,而编译器会把它编译成为A的一个静态方法,因此,它就成了A的静态成员了,所以……
实际上,我们没注意到的地方是第四点,太粗心了!
不过,可能清楚第二点的人不到10%吧。