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

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 界的经典之作,读的过程写点笔记跟大家分享,我也推荐大家看英文版,能够直接领会原意 

作者:张雪飞
出处:https://zhangxuefei.site/p/100
版权说明:欢迎转载,但必须注明出处,并在文章页面明显位置给出原文连接,否则保留追究法律责任的权利。

发表评论

电子邮件地址不会被公开。 必填项已用*标注