常量和字段

　　常量是一个特殊的符号，它有一个从不变化的值。定义常量符号时，它的值必须能在编译时确定。确定之后，编译器将常量的值保存到程序集的元数据中。这意味着只能为编译器认定的基元类型定义常量。在C#中一下类型都是基元类型，可用于定义常量：boolean，char，byte，sbyte，int16，int32，int64，Uint16，Uint32，Uint64，single，double，decimal和string。然后C#也允许定义一个非基元类型的常量变量，前提是把它的值设为null。

　　定义常量将导致创建元数据。代码引用一个常量符号时，编译器会在定义常量的程序集的元数据中查找改符号，提取常量的值，并将值嵌入生成的IL代码中。由于常量的值直接嵌入代码中，因此运行时不需要分配内存。除此之外，不能获取变量的地址，也不能以传入引用的方式传递常量。基于这样一个特性，会有以下的状况，A程序集中定义了常量，B引用A中的常量，一旦A中的常量变化，B程序集除非引用新的A程序集并重新生成，否则B中的常量值不会变。所以，除非字段永远不会变化，否则不应该将一个字段定义为常量。

　　字段是一种数据成员，其中容纳一个值类型的实例或者一个引用类型的引用，字段修饰符可以是：

1. static 表示字段是类型状态的一部分，而不是对象状态的一部分
2. （默认） 表示字段与类型的一个实例关联，而不是与类型本身关联
3. readonly 表示只能由一个构造器中的代码写入
4. volatile 表示Clr不会执行一些“线程不安全”的优化措施

　　前面的例子，如果将字段声明为readonly，那么A中改变后，B程序集不需要重新生成，而是在运行是从分配给A程序集的动态内存中提取readonly字段的值。实际上，类中的字段总是在类实例化的时候进行初始化的。还有一点值得注意的是，readonly作用于引用类型字段时，不可改变的是引用，而非字段引用的对象。

    public sealed class Atype
    {
        public static readonly char[] SChars = new char[] {'a','b','c'};
    }

    class Program
    {
        static void Main()
        {
            //可以修改成功
            Atype.SChars[0] = 'x';
            Atype.SChars[1] = 'y';
            Atype.SChars[2] = 'z';
            //无法编译通过
            Atype.SChars = new char[] { 'x', 'y', 'z' };
        }
    }