【CLR via C#】第7章-常量和字段

1.常量是从不变化的符号，在编译时就已经确认（固定），并保存在程序集元数据中。

由于常量值是从不变化的，所以常量总是被视为类型定义的一部分，也就是说常量总是被视为静态成员，而不是实例成员。

2.CLR支持类型(静态)字段和实例(非静态)字段

类型字段：容纳字段数据所需的动态内存是在类型对象中分配的，而类型对象是在类型加载到一个AppDomain时创建，那么什么时候将类型加载到一个AppDomain中呢？这通常是在引用了该类型的任何方法首次进行JIT编译时。
实例字段：容纳字段数据所需的动态内存是在构造类型的实例时分配的。

3.字段修饰符

CLR术语	C#术语	说明
Static	static	这种字段是类型状态的一部分，而不是对象状态的一部分
Instance	(默认)	这种字段与类型的一个实例关联，而不是与类型本身关联
InitOnly	readonly	这种字段只能由一个构造器方法中的代码写入。注意，可利用反射来修改readonly字段
Volatile	volatile	编译器、CLR和硬件不会对访问这种字段的代码执行“线程不安全”的优化措施。只有以下类型才能标记为volatile：所有引用类型，Single，Boolean，Byte，SByte，Int16，UInt16，Int32，UInt32，Char，以及基础类型为Byte，SByte，Int16，UInt16，Int32或UInt32的所有枚举类型。

4.当readonly修饰某个引用类型的字段时，不可以改变的是引用，而不是字段引用的对象。

public sealed class AType{
	// InvalidChars总是引用同一个数组对象
	public static readonly char[] InvalidChars = new char[] { 'A', 'B', 'C' };
}

public sealed class AnotherType{
	public static void M(){
		// 下面三行代码是合法的，可以通过编译，并且成功
		AType.InvalidChars[0] = 'X';
		AType.InvalidChars[1] = 'Y';
		AType.InvalidChars[2] = 'Z';
		
		// 下面这行代码是非法的
		AType.InvalidChars = new char[] { 'X', 'Y', 'Z' };	// Error
	}
}