CLR笔记：7.常量和字段

1.常量
    常量是永远不会改变的符号。它的值必须在编译时就确定。编译后，CLR将常量的值保存在Assembly的元数据中，这意味着常量必须是基元类型。
    常量是类型的一部分，总是被当成静态成员，但并不显示声明为static。

        public const Int32 MaxEntriesList = 100;

    当代码引用常量时，CLR在元数据中查找该符号，将提取的常量值嵌入到IL中，所以常量没有地址以及相应的分配内存，而且不能通过引用传递变量，也就是说，在导入一个外部的DLL时，就已经将其中的常量嵌入到自身工程的IL中来了，可以删除这个DLL，而不对当前产生任何影响；即使在DLL中改变常量的值并重新编译该DLL，也不会对自身工程产生影响(还是过去的常量值，而不是新值)；只有重新编译自身工程，才能获取到新的常量值——这就是说，常量没有很好的跨程序集版本控制特性。

2.字段field
    字段区别于常量，传递的是引用，可以是任何数据类型。
    有类型(静态)字段和实例字段两种。
        对于静态字段，在类型加载到AppDomain时才创建，即首次引用类型的时候——JIT编译；
        对于实例字段，创建实例时才分配字段的动态内存

    readonly关键字，在MSIL中相应为InitOnly，有此关键字的字段只能在ctor中可写，在其他地方是只读的(可以使用反射修改readonly字段)。
    volatile关键字，见线程同步笔记。

        public static readonly Int32 MaxEntriesList = 100;

由于字段是基于引用的，所以不会直接嵌入IL元数据，从而编译含有字段的DLL，会对使用该DLL的工程造成影响，从而实现了版本控制，总是使用最新的DLL。

多数字段使用内联初始化的。CLR建议这么做，具体的参见 《C# 50个有效的方法》，但是在内联中不可以使用方法/属性。
内联初始化在ctor/cctor之前。

继续看readonly关键字，使用在引用类型的字段上，标志着该字段是不可改变的引用，而不是不可改变的对象，如下示例：

    public sealed class AType
    {
        public static readonly Char[] InvalidChars = new Char[] { 'A', 'B', 'C' };
    }

    public sealed class AnotherType
    {
        public static void M()
        {
            //以下3行是合法的，因为InvalidChars引用的值可以更改
            AType.InvalidChars[0] = 'X';
            AType.InvalidChars[1] = 'Y';
            AType.InvalidChars[2] = 'Z';

            //以下1行是不合法的，不能通过编译，因为InvalidChars的引用无法更改
            AType.InvalidChars = new Char[] { 'X', 'Y', 'Z' };
        }
    }