常量，字段，构造方法

时间 2019-11-11

标签常量字段构造方法繁體版

原文原文链接

常量

1.什么是常量

常量是值从不变化的符号，在编译以前值就必须肯定。编译后，常量值会保存到程序集元数据中。因此，常量必须是编译器识别的基元类型的常量，如：Boolean,Char,Byte,SByte,...,...,...,UInt64,Single,Double,Decimal,String。另外，C#是能够定义非基元类型的常量的，前提是值必须为null。c#

public sealed class SomeType
{
    public const SomeType Empty=null;
}

2.常量的特性

常量成员将建立元数据，它是直接嵌入在代码内部，运行时不须要额外分配内存。安全
常量被视为静态成员，而不是实例成员。ide
不能获取常量的地址函数
不能以引用的方式传递常量性能
参考上面的特性，若是跨程序引用，尝试改变常量初始值，不只dll须要从新编译，引用者也须要编译spa

字段

1.什么是字段

字段是一种数据成员，它能够是值类型的实例也能够是引用类型的引用。线程

CLR支持类型字段和实例字段，什么是类型字段？它其实就是咱们熟悉的静态字段，实例字段就是非静态字段。3d

1.1类型字段（静态字段）的内存分配过程

类型对象（静态对象）是在类型加载到一个AppDomain时建立的，而所需内存也是在内型对象中分配的。指针

接着上面的问题，那么，何时将类型加载到AppDomain中内？当第一次对引用到该类型的方法进行JIT编译时，code

1.2实例字段的内存分配过程

实例字段的内存，是在构造容纳字段的类型进行实例构造时分配的。

2.字段特性

字段存储在动态内存中，它不像常量，因此只能在程序运行时，才可以获取到它的值。字段能够是任何类型，不像常量有类型上的限制。

2.1字段修饰符

Static	static	指定字段为类型的一部分，而不是对象的一部分
Instance	默认	指定字段与实例关联，而不是和类自己关联
InitOly	readonly	只能在构造器方法中进行值的写入，不然只读
Volatile	volatile	表示，编译器和CLR以及硬件，不会对这种字段标识的代码执行“线程不安全的措施”，只有CLR中的基元类型能使用这个修饰符。

2.2 readonly和read/write

一般，字段都是read/write，便可读可写的，这也意味着，字段的值会随着运行可能发生值得变化。而当你把字段标记为readonly，那么你就只能在构造函数中，对它进行赋值，编译器是不会容许你在构造器（构造函数）觉得的任何方法写入值，或变动值。

固然，C#提供了一种内联初始化的语法糖来进行readonly值的初始化，这种语法也能够对常量和其余形式的字段进行赋值。

public readonly int =250;

固然，使用内联语法，而不是在构造器中构造，滥用的话可能会有一些性能问题（代码膨胀等）。

构造方法

实例构造器（引用类型）

什么是构造器？

构造器是将类型的实例初始化到良好状态的特殊方法。在“方法定义元数据表”中始终叫.ctor(constructor的简称)。

引用类型在内存中如何实例化？

首先为实例的数据字段分配内存空间，而后是为初始化对象的附加字段（没错，就是咱们常常会提到的同步块索引和类型对象指针）分配内存，而后最后开辟一个空间来调用实例构造函数进行对象的初始化。

在调用构造器以前，为对象分配的内存老是先被归零，为了保证那些被构造器显示重写的字段都得到0或者null的值。

实例构造器的特性：

实例构造器永远不能被继承，类必须执行本身的构造函数。若是没有，系统默认会构造一个无参的。
因此，实例构造器不能用new ,override,sealed和abstract修饰
若是类的修饰符为abstract，那么构造器可访问性默认为protected,不然默认为public。
若是基类没有提供无参构造函数（意味着显示的实现了有参的构造函数），那么派生类必须显示调用一个基类的构造器（及为了保证参数一致），不然编译报错。
static（sealed和abstract）修饰的类，编译器不会为它生成默认的构造函数
一般状况下，不管如何实例化派生类，基类的构造函数必定会被调用，因此object的构造函数必定会被先调用，可是实时上它什么也不会干。
极少数状况下，对象实例不会调用构造函数。如，Object的MemberwiseClone方法，它是用来分配内存，初始化对象的附加字段的，而后将源对象的字节数据复制到新对象中。
Notice:不要在构造器中调用虚方法。由于，假如被实例化的类型重写了虚方法，就会执行派生类型中的实现，但这个时候，倒是没有初始化的，因此，容易致使没法预测的行为。

内联语法（在字段一节提到过）方式实现初始化实例字段，其实也是转换成构造器方法中的代码来实现。

实例构造器（值类型）

CLR是容许值类型建立实例，可是c#编译器是不会默认为值类型构建构造函数的，而且值类型构造器必须显示调用才执行。如上面所说，即便你本身定义了一个构造函数，无论它是有参仍是无参，编译器都不会去自动调用它，若是你想执行，必须本身显示进行调用。

然而，上面说那么多，在C#中，编译器根本不容许你定义值类型的无参构造函数，它会报：error CS0568:结构不能包含显示的无参构造函数。

同理，你不能对值类型的字段成员进行内联赋值，由于内联语句其实是经过构造器进行赋值，以下面的代码：

internal struct SomeValType
{
    private int m=5;
}

上面的代码，会报：结构中不能有实例字段初始值设定项。

因此，值类型的字段老是被初始化为0或null,由于没有真正意义上的构造函数为它初始化其余值，只有你手动去调用构造函数（因此这里咱们不理解为初始化）。

当你提供一个有参构造函数时，你须要为全部的字段进行赋值，不然会报：error CS0171:在控制返回到调用方法以前，字段XXX必须彻底赋值。

类型构造器（静态构造器）

什么是类型构造器？

实例构造器是为了让类的实例有一个良好的可验证的初始值。而类型构造器是为静态类型服务，顾名思义，类型构造器则是为了让类型有良好的初始状态。

类型构造器特征

默认没有构造函数
（类型）静态构造器永远不能有参数
必须标记为static,由于静态类型的成员必须为静态成员
不能赋予任何访问修饰符，默认为隐式类型,C#默认为private
类型构造器中的代码只能访问类型的静态字段（常规用途就是初始化这些字段）

类型构造器的调用过程

类型构造器调用过程大体以下：

JIT编译器在编译到一个静态方法时，会查看引用了哪些静态类型。若是这个静态类型定义了一个构造函数，JIT编译器会检查当前AppDomain,是否已经执行过了这个类型构造器。若是已经执行过，就不添加对它的调用。若是从未执行过，JIT编译器会在它的本机代码中添加对类型构造器的调用。

重要的是：为何静态类型的特性是十分适合作单例呢？由于CLR经常是确保每个AppDomain中，一个类型构造器都只执行一次，那么上述的机制不足以很好的支撑这个特性，由于，多个线程下如何保证呢？为了保证这一点，调用类型构造器时，每个调用线程都会获取一个互斥线程同步锁，在这样的机制下，若是多个线程试图同时调用某个类型的静态构造器，只有一个线程能够得到锁，其余的线程会被阻塞。只有第一个线程会执行静态构造器的代码。当一个线程离开构造器后，正在等待的线程才会被唤醒，后面的线程会发现，类型构造器已经被执行过了，将直接从构造方法返回。这样就能确保不会被再次调用。而且以上是线程安全的。

因此，单例模式就是借助上面的特性，你想构建的单例对象，则也应该放到类型构造器中进行初始化。

注意：值类型中也能够定义类型（静态）构造器，可是是不推荐这么作的，由于有时候CLR有时不会调用值类型的静态类型构造器。

internal struct StructValType
{
    //虽然值类型的构造函数必须有参数，可是这个是静态构造函数，因此它是必定没有参数的，也不用遵照，必须初始化全部成员的值
    static StructValType()
    {
        Console.WriteLine("我会出现吗？")；
    }
    public int x;
}

    class BaseClass
    {
        public string ClassName { get; set; }

         static BaseClass()
        {
            Console.WriteLine("I'm BaseClass static Constructor without param");
        }

        public BaseClass()
        {
            Console.WriteLine("I'm BaseClass Constructor without param");
        }
    }

上述代码，BaseClass中和StructValType中都有static构造函数，再对两个类进行实例时，你能够发现值类型的静态函数是没有被调用的。

注意：单个线程中，两个类型构造器包含互相引用的代码可能出问题，由于你没法把握二者的实现顺序，也就没法保证能正确的引用。由于是CLR负责类型构造器的调用，因此不能要求以特定的顺序调用类型构造器。

若是，类型构造器抛出未处理的异常，CLR会认为类型不可用。试图访问该类型的任何字段和方法都会抛出System.TypeInitializationException异常。