常量，字段，构造方法
1.什么是常量
常量是值从不变化的符号，在编译之前值就必须确定。编译后，常量值会保存到程序集元数据中。所以，常量必须是编译器识别的基元类型的常量，如：Boolean,Char,Byte,SByte,...,...,...,UInt64,Single,Double,Decimal,String。另外，C#是可以定义非基元类型的常量的，前提是值必须为null。
public sealed class SomeType
{
public const SomeType Empty=null;
}
2.常量的特性
-
常量成员将创建元数据，它是直接嵌入在代码内部，运行时不需要额外分配内存。
-
常量被视为静态成员，而不是实例成员。
-
不能获取常量的地址
-
不能以引用的方式传递常量
-
参考上面的特性，如果跨程序引用，尝试改变常量初始值，不仅dll需要重新编译，引用者也需要编译
字段
1.什么是字段
字段是一种数据成员，它可以是值类型的实例也可以是引用类型的引用。
CLR支持类型字段和实例字段，什么是类型字段？它其实就是我们熟悉的静态字段，实例字段就是非静态字段。
1.1类型字段（静态字段）的内存分配过程
类型对象（静态对象）是在类型加载到一个AppDomain时创建的，而所需内存也是在内型对象中分配的。
接着上面的问题，那么，什么时候将类型加载到AppDomain中内？当第一次对引用到该类型的方法进行JIT编译时，
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异常。