C# const 与 readonly 区别

尽管你写了很多年的C#的代码，但是可能当别人问到你const与readonly的区别时候，还是会小小的愣一会吧~

      笔者也是在看欧立奇版的《.Net 程序员面试宝典》的时候，才发现自己长久以来竟然在弄不清出两者的情况下，混用了这么长的时间。的确，const与readonly 很像，都是将变量声明为只读，且在变量初始化后就不可改写。那么，const与readonly 这两个修饰符到底区别在什么地方呢？其实，这个牵扯出C#语言中两种不同的常量类型：静态常量（compile-time constants）和动态常量（runtime constants）。这两者具有不同的特性，错误的使用不仅会损失效率，而且还会造成错误。

      首先先解释下什么是静态常量以及什么是动态常量。静态常量是指编译器在编译时候会对常量进行解析，并将常量的值替换成初始化的那个值。而动态常量的值则是在运行的那一刻才获得的，编译器编译期间将其标示为只读常量，而不用常量的值代替，这样动态常量不必在声明的时候就初始化，而可以延迟到构造函数中初始化。

      当你大致了解上面的两个概念的时候，那么就可以来说明const与readonly了。const修饰的常量是上述中的第一种，即静态常量;而readonly则是第二种，即动态常量。那么区别可以通过静态常量与动态常量的特性来说明：

      1）const修饰的常量在声明的时候必须初始化;readonly修饰的常量则可以延迟到构造函数初始化 

      2）const修饰的常量在编译期间就被解析，即常量值被替换成初始化的值;readonly修饰的常量则延迟到运行的时候

      此外const常量既可以声明在类中也可以在函数体内，但是static readonly常量只能声明在类中。

      

      可能通过上述纯概念性的讲解，对有些初学者有些晕乎。下面就一些例子来说明下：      

using  System;
class  P
{
     static   readonly   int  A = B * 10 ;
     static   readonly   int  B = 10 ;   
     public   static   void  Main( string [] args)
    {
        Console.WriteLine( " A is {0},B is {1}  " ,A,B);
    }
}

 

      对于上述代码，输出结果是多少?很多人会认为是A is 100,B is 10吧！其实，正确的输出结果是A is 0,B is 10。好吧，如果改成下面的话：

using  System;
class  P
{
     const   int  A = B * 10 ;
     const   int  B = 10 ;   
     public   static   void  Main( string [] args)
    {
        Console.WriteLine( " A is {0},B is {1}  " ,A,B);
    }
}

 

       对于上述代码，输出结果又是多少呢？难道是A is 0,B is 10？其实又错了，这次正确的输出结果是A is 100,B is 10。

       那么为什么是这样的呢？其实在上面说了，const是静态常量，所以在编译的时候就将A与B的值确定下来了（即B变量时10，而A=B*10=10*10=100）,那么Main函数中的输出当然是A is 100,B is 10啦。而static readonly则是动态常量，变量的值在编译期间不予以解析，所以开始都是默认值，像A与B都是int类型，故都是0。而在程序执行到A=B*10;所以A=0*10=0,程序接着执行到B=10这句时候，才会真正的B的初值10赋给B。如果，你还是不大清楚的话，我们可以借助于微软提供的ILDASM工具，只需在Vs 2008 Command下输入ILDASM就可以打开，如下所示：

        

        

        分别打开上述两个代码编译后产生的可执行文件，如下图所示：

                       

                   static readonly可执行程序的结构                                                                const可执行程序的结构

 

        在上述两张图中都可以看到A与B常量，分别双击节点可以看出其中的差异：

              

                   static readonly修饰的常量A                                                                      const修饰的常量A

    

           

                  static readonly修饰的常量B                                                                       const修饰的常量B

 

         从上图中可以看出，const修饰的常量在编译期间便已将A,B的字面值算出来了，而static readonly修饰的常量则未解析，所以在Main函数中有以下的区别：

                    

                              static readonly程序的Main函数                                                            const程序的Main函数

 

      从Main函数中我们可以看出，const的那个程序的输出直接是100与10，而readonly在输出的时候确实P::A与P::B，即将A与B常量的值延迟到运行的时候才去确定，故输出是0与10。

      那么对于静态常量以及动态常量还有什么特性呢?其实，静态常量只能被声明为简单的数据类型（int以及浮点型）、枚举、布尔或者字符串型，而动态常量则除了这些类型，还可以修饰一些对象类型。如DateTime类型，如下：

      //错误

      const DateTime time=new DateTime(); 

      //正确

      static readonly DateTime time=new DateTime();

 

     上述错误在于不能使用new关键字初始化一个静态常量，即便是一个值类型，因为new将会导致到运行时才能确定值，与静态变量编译时就确定字面值有悖。     

      欧书上最后给出了对静态常量与动态常量之间的比较，如下表所示：      

      

============================================

const和readonly关键字也是面试中经常考到的问题，通常都是用来表示一个不可变的变量成员，那么具体区别是什么？从用法上说，const只能以inline代码的形式定义，而readonly既可以以inline代码形式定义也可以通过构造方法定义。CLR中定义，readonly的变量只能在构造方法中赋值，而C#中inline代码实际上是构造方法调用的一部分，因此readonly的变量可以以inline的方式赋值。

以上是语法方面的应用，那在实际上的用法上，还是有些微妙的变化，通常不易发觉，请看下面的代码

在程序集ConstLib.dll中有一个类MyClass，定义了一个公开的静态变量MaxCount

1      public  static  class MyClass
2     {
3          public  const  int MaxCount =  20;
4     }

然后另外一个应用程序ConstTest.exe 引用constLib.dll，并在代码中作如下调用

1          static  void Main( string[] args)
2         {
3             Console.WriteLine(MyClass.MaxCount);
4 
5             Console.ReadLine();
6         }

毫无疑问，非常简单的代码，直接输出20。

接下来更新MyClass的MaxCount的值为30，然后重新编译ConstLib.dll，并更新到应用程序的所在目录中，注意不能编译应用程序。那么这时候的输出结果按预期那么想应该是30才对，但实际上还是20，为什么呢？

这就是const的特别之处，有多特别还是直接看生成的IL，查看ConstTestIL代码(假设这时候MaxCount的值为20)

IL_0000:  nop
IL_0001:  ldc.i4.s   20
IL_0003:  call       void [mscorlib]System.Console::WriteLine(int32)

红色代码很明显的表明了，直接加载20，没有通过任何类型的加载然后得到对应变量的，也就是说在运行时没有去加载ConstLib.dll，那么是否意味着没有ConstLib.dll也可以运行呢？答案是肯定的，删除ConstLib.dll也可以运行，是否很诡异呢？也就解释了之前的实验，为什么更新const变量的值之后没有调用新的值，因为ConstText.exe在运行的时候根本不会去加载ConstLib.dll。那么20这个值是从哪来的呢？实际上CLR对于const变量做了特殊处理，是将const的值直接嵌入在生成的IL代码中，在执行的时候不会再去请求dll加载。这也带来了一个不容易发觉的bug，因此在引用其他程序集的const变量时，需考虑到版本更新问题，要解决这个问题就是把调用的应用程序再编译一次就ok了。但实际程序部署更新时可能只更新个别文件，这时候就必须用readonly关键字来解决这个问题。

 

接下来看readonly的版本

1      public  static  class MyClass
2     {
3          public  static  readonly  int MaxCount =  20;
4     }

调用方代码不变，接着看看ConstTest.exe生成的IL代码

  IL_0001:  ldsfld     int32 [ConstLib]ConstLib.MyClass::MaxCount
  IL_0006:  call       void [mscorlib]System.Console::WriteLine(int32)

很明显加载代码变了，一个很常见的ldsfld动作，请求了ConstLib.MyClass的MaxCount变量，是通过强制要求加载ConstLib来实现的。因此这时候更新MaxCount的值重新编译之后，ConstText.exe还是不编译，然后再执行就会看到新的值。而这时候如果删除ConstLib.dll那么，会出现运行时报错找不到dll之类的异常。这也充分说明了对于readonly定义的变量是在运行时加载的。

 

总结const和readonly的最大区别(除语法外)

const的变量时嵌入在IL代码中，编译时就加载好，不依赖外部dll（这也是为什么不能在构造方法中赋值）。const在程序集更新时容易产生版本不一致的bug。

readonly的变量是在运行时加载，需请求加载dll，每次都获取最新的值。