shenba

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

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

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

View Code

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

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

View Code

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的版本

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在程序集更新时容易产生版本不一致的不管。

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

一些经典.net面试题里，经常会有关于new关键字的考察，其中肯定会问到new关键字用在方法前有什么用之类的，通常同学们都能答出是阻断继承或者说是为了表明与父类同名方法独立开。但是进一步询问为什么或讲讲原理时，大部分的猿人还是回答不上来的。下面简单分析一下，个人理解的实现原理。

从一个经典的面试代码题入手，有如下题目(估计面霸们一看就知道答案了)

View Code

 1     public class Book
 2     {
 3         public virtual string GetDescription()
 4         {
 5             return "a normal book";
 6         }
 7     }
 8 
 9     public class AspNetBook : Book
10     {
11         public new string GetDescription()
12         {
13             return "an aspnet book";
14         }
15     }
16 
17     public class WcfBook : Book
18     {
19         public override string GetDescription()
20         {
21             return "an wcf book";
22         }
23     }
24 
25     class Program
26     {
27 
28         static void Main(string[] args)
29         {
30             Book b = null;
31 
32             AspNetBook a = new AspNetBook();
33             Console.WriteLine(a.GetDescription()); // callvirt   instance string CallMethodTest.AspNetBook::GetDescription()
34 
35             b = a;
36             Console.WriteLine(b.GetDescription()); // callvirt   instance string CallMethodTest.Book::GetDescription()
37 
38             WcfBook c = new WcfBook();
39             Console.WriteLine(c.GetDescription()); //  callvirt   instance string CallMethodTest.Book::GetDescription()
40 
41             b = c;
42             Console.WriteLine(b.GetDescription()); // callvirt   instance string CallMethodTest.Book::GetDescription()
43 
44             Console.ReadLine();
45         }
46     }

输出结果是：

an aspnet book

a normal book

a wcf book

a wcf book

具体如何实现还是从分析IL入手： 

　　红色标记的调用代码旁边的注释是对应的IL代码，有个明显的区别是调用new关键字修饰的AspNetBook实例的方法时，是直接找的AspNetBook的方法，而没有从父类的方法开始找。当通过父类方法调用AspNetBook的方法时，从父类的方法开始调用，IL给的是callvirt的方法，该方法用于调用继承多态的方法。callvirt回去查找最终的实现方法，当遇到关键字new时，停止查找，即直接调用父类Book的方法。

     而对于已经重写了父类方法的WCFBook实例，不管是直接通过实例调用，还是通过父类的方法调用，生成的IL代码都是一致的，生成的IL都是通过callvirt的方法调用，先从父类的方法开始查找，寻找最终的实现方法。

     也就是说上述IL代码的生成，取决于代码的实现，暂时理解到这。