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' };
        }

    }



 

原文地址:https://www.cnblogs.com/Jax/p/887363.html