区分const,static,readonly,volatile四个关键字

2021-10-25 03:48:31

const:表示常量，变量的值是绝不会被改变的，常量的值是在编译时就已经确定了。编译器会把常量的值保存在程序集的元素据里面，在C#里面，下面列举的简单类型才能被定义为常量：Boolean, Char, Byte, SByte, Int16, UInt16 , Int32, UInt32 , Int64, UInt64 , Single , Double , Decimal, String。如果定一个引用类型为常量，则必须把该变量的值设为null。因为常量的值是不会改变的，所以常量也常常被认为是定义的类型的一部分。换句话说，常量通常也是静态的。当定义一个常量符号，编译器会在程序集的元素据里面查找它的值，并把值嵌入到生成的IL里面，也因此在运行时，常量不需要分配任何内存。当然，也不能获取常量的地址以及通过引用的方式传递常量。这些限制让常量不能很好的跨程序集版本。

例如：

namespace TypeTest
{
    public sealed class SomeLibType
    {
        public const Int32 MaxEntriesInList = 50;
    }

    public sealed class Program
    {
        public static void Main()
        {
            Console.WriteLine("最大的整型的数值为：" + SomeLibType.MaxEntriesInList);
        }
    }
}

查看下Main部分的IL代码可以清楚知道常量的值已经嵌入在IL代码里面了，如下：

其实我们还可以看看关于定义的MaxEntriesInList，之前有说过常量一般也是静态的，如下：

static:表示类型状态的一部分，静态意味着共享。相对于C++，C#里面没有全局函数和全局变量的概念，等效的是使用静态。两者在功能上没有什么差异，只是静态字段和方法可以使用访问修饰符。静态类对应的IL会自动标记为abstract和sealed。

readonly：只有在构造函数里面才能改变它的值，只能用于字段，不能用于局部变量。修饰数组时，不会冻结数组的内容，只会冻结数组的元素数量，因为无法将只读字段赋值为一个新的实例。不过，数组中的单个元素是可写的。

volatile：编译器或CPU有时会对代码进行优化，是指令不按照它们编码的顺序执行，或者干脆拿掉一些无用的指令。若代码在一个线程上执行，这样的优化没有什么影响。如果在多线程环境下，就肯能造成出乎意料的效果。这时可以使用volatile来强迫所有的读写操作按照代码指定的顺序发生。

注 《CLR via C#》(Jeffrey Richter著)——.NET 界的经典之作，读的过程写点笔记跟大家分享，我也推荐大家看英文版,能够直接领会原意

本文转自Rt-张雪飞博客园博客，原文链接http://www.cnblogs.com/mszhangxuefei/archive/2012/08/31/csharp-2.html如需转载请自行联系原作者

张雪飞

码农公寓

相关文章