《Effective C#》Item 13：使用静态构造函数初始化静态成员
2007-09-06 15:55 Jacky_Xu 阅读(203) 评论(0) 编辑 收藏 举报编写程序的时候难免要使用到静态成员，由于静态成员的访问是脱离类型对象的，所以使用非静态构造函数，私有方法或者一些其他方法都是不合理的。.Net提供了成员初始化语句和静态构造函数来初始化静态成员。
根据上一个单元，我们可以知道静态成员的初始化语句会早于静态构造函数执行，其次还知道成员初始化语句的好处和一些限制。这里要提的一点就是，静态构造函数和实例构造函数之间的区别，因为静态构造函数是由CLR调用执行的，所以静态构造函数只能是一个，同时不能还有参数。那么静态构造函数相对于成员初始化的一些弊端都不复存在。
此外，对于成员初始化最大的问题，就是异常无法捕获，可能对于普通成员来说，还可以在构造类型对象的时候加上try-catch；而对于静态成员来说，有时无法确定哪一个类型访问语句会先执行，如果对每个使用类型的地方都加上try-catch，会降低程序可读性。但如果把这种异常散发出去，会导致整个程序崩溃。那么使用静态构造函数就能比较好的捕获异常，并进行异常处理。
对于静态成员初始化语句和静态构造函数一个对比大致如下。
|
|
简便性 |
安全性 |
异常处理 |
|
静态成员初始化 |
最简便 |
比较安全 |
非常难 |
|
静态构造函数 |
比较简便 |
最安全 |
容易 |
那么到底用什么方法来初始化静态成员呢，给出以下两点建议。
第一就是简单静态成员，例如类型为值类型等，使用成员初始化语句来完成；
第二静态成员初始化比较复杂，或者有可能出现异常，那么用静态构造函数来完成。
本单元的内容基本上讲完了，现在说说静态成员最主要的一个应用“Singleton”，就是保证此类型的对象唯一性。其实实现很简单，如下就举一个简单的例子。
public class MySingleton
{
private static readonly MySingleton _theOneAndOnly;
static MySingleton()
{
_theOneAndOnly = new MySingleton();
}
public static MySingleton TheOnly
{
get{ return _theOneAndOnly; }
}
/// <summary>
/// Private constructor to avoid object created from outside
/// </summary>
private MySingleton()
{
}
}
对于静态成员何时被初始化，其实仔细看我上一个单元所说的对象构造步骤就可以分析出来。可能看起来比较抽象，尤其在分析嵌套关系的时候，现在就举一个例子来进行说明。
class A
{
public static int X = B.Y;
static A()
{
++X;
}
}
class B
{
public static int Y = A.X;
static B()
{
++Y;
}
}
那么大家先猜猜如下调用输出结果是什么。
Debug.WriteLine( A.X.ToString() );
Debug.WriteLine( B.Y.ToString() );
其结果是“2，1”，也就是A.X的值为2，而B.Y的值为1。
分析此类问题，只要记住三点就行了。
第一代码的执行顺序，代码在前的先执行；
第二静态成员初始化语句要先于静态构造函数执行；
第三静态成员初始化语句与静态构造函数只执行一次。
如果了解这三点，接下来就分析为什么会出现上面的结果。
当调用到第一条语句的时候，
Debug.WriteLine( A.X.ToString() );
首先是访问A这个类型，那么要对A这个类型的静态成员进行初始化，其次如果有静态构造函数，需要调用它。
对于A的静态成员只有“X”，按照上一单元的过程，先给其分配空间，并辅以0来初始化，其次调用其对应的成员初始化语句来初始化这个静态成员。
那么它的成员初始化语句是“X = B.Y”，那么需要访问“B.Y”来初始化X这个静态成员。
对于“B.Y”的访问，就是访问B类型，也是和访问A一样，首先对这个类型的静态成员进行初始化，其次如果有静态构造函数，需要调用它。而B的静态成员只有“Y”，先给其分配空间，并辅以0来初始化，其次调用其对应的成员初始化语句来初始化这个静态成员。
那么对于“Y = A.X”成员初始化语句，由于此时不是第一次访问类型A，所以不再进行静态成员初始化和静态构造函数的调用，对于“A.X”的访问是直接访问。此时“A.X”的值为0，那么Y的值也为0；接着执行B的静态构造函数，这样处理后Y的值为1。
那么对于A中的成员初始化语句“X = B.Y”，到此就执行完了，此时A类型中的X与B类型中的Y都是一样的，值为1。不过B中的静态成员初始化语句和静态构造函数都执行过了，而A中的静态构造函数还未执行。因此经过A的静态构造函数处理，A的X值为2，这也就是最后显示的结果。
